Views
1 year ago

Lecture Notes in Computer Science 3472

Lecture Notes in Computer Science 3472

Lecture Notes in Computer Science

Lecture Notes in Computer Science 3472 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board www.dbebooks.com - Free Books & magazines David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos New York University, NY, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

  • Page 2 and 3: Manfred Broy Bengt Jonsson
  • Page 4 and 5: Preface
  • Page 6 and 7: Contents
  • Page 8 and 9: Part I
  • Page 10 and 11: Part I. Testing of Finite State Mac
  • Page 12 and 13: 6 Sven Sandberg
  • Page 14 and 15: 8 Sven Sandberg
  • Page 16 and 17: 10 Sven Sandberg
  • Page 18 and 19: 12 Sven Sandberg
  • Page 20 and 21: 14 Sven Sandberg
  • Page 22 and 23: 16 Sven Sandberg
  • Page 24 and 25: 18 Sven Sandberg
  • Page 26 and 27: 20 Sven Sandberg
  • Page 28 and 29: 22 Sven Sandberg
  • Page 30 and 31: 24 Sven Sandberg
  • Page 32 and 33: 26 Sven Sandberg
  • Page 34 and 35: 28 Sven Sandberg
  • Page 36 and 37: 30 Sven Sandberg
  • Page 38 and 39: 32 Sven Sandberg
  • Page 40 and 41: 2 State Identification
  • Page 42 and 43: 2 State Identification 37
  • Page 44 and 45: 2 State Identification 39
  • Page 46 and 47: 2 State Identification 41
  • Page 48 and 49: 2 State Identification 43
  • Page 50 and 51: • An input sequence x is a valid
  • Page 52 and 53:

    2 State Identification 47

  • Page 54 and 55:

    2 State Identification 49

  • Page 56 and 57:

    2 State Identification 51

  • Page 58 and 59:

    2 State Identification 53

  • Page 60 and 61:

    2 State Identification 55

  • Page 62 and 63:

    2 State Identification 57

  • Page 64 and 65:

    and {s2, s4, s6} a/1

  • Page 66 and 67:

    fu1 =(s1, s2), (s3, s5), (s4, s5),

  • Page 68 and 69:

    2 State Identification 63

  • Page 70 and 71:

    2.4.5 Complexity

  • Page 72 and 73:

    2 State Identification 67

  • Page 74 and 75:

    70 Henrik Björklund

  • Page 76 and 77:

    72 Henrik Björklund

  • Page 78 and 79:

    74 Henrik Björklund

  • Page 80 and 81:

    76 Henrik Björklund

  • Page 82 and 83:

    78 Henrik Björklund

  • Page 84 and 85:

    80 Henrik Björklund

  • Page 86 and 87:

    82 Henrik Björklund

  • Page 88 and 89:

    84 Henrik Björklund

  • Page 90 and 91:

    86 Henrik Björklund

  • Page 92 and 93:

    88 Angelo Gargantini

  • Page 94 and 95:

    90 Angelo Gargantini

  • Page 96 and 97:

    92 Angelo Gargantini

  • Page 98 and 99:

    94 Angelo Gargantini

  • Page 100 and 101:

    96 Angelo Gargantini

  • Page 102 and 103:

    98 Angelo Gargantini

  • Page 104 and 105:

    100 Angelo Gargantini

  • Page 106 and 107:

    102 Angelo Gargantini

  • Page 108 and 109:

    104 Angelo Gargantini

  • Page 110 and 111:

    106 Angelo Gargantini

  • Page 112 and 113:

    108 Angelo Gargantini

  • Page 114 and 115:

    110 Angelo Gargantini

  • Page 116 and 117:

    Part II

  • Page 118 and 119:

    Part II. Testing of Labeled Transit

  • Page 120 and 121:

    118 Stefan D. Bruda

  • Page 122 and 123:

    120 Stefan D. Bruda

  • Page 124 and 125:

    122 Stefan D. Bruda

  • Page 126 and 127:

    124 Stefan D. Bruda

  • Page 128 and 129:

    126 Stefan D. Bruda

  • Page 130 and 131:

    128 Stefan D. Bruda

  • Page 132 and 133:

    130 Stefan D. Bruda

  • Page 134 and 135:

    132 Stefan D. Bruda

  • Page 136 and 137:

    134 Stefan D. Bruda

  • Page 138 and 139:

    136 Stefan D. Bruda

  • Page 140 and 141:

    138 Stefan D. Bruda

  • Page 142 and 143:

    140 Stefan D. Bruda

  • Page 144 and 145:

    142 Stefan D. Bruda

  • Page 146 and 147:

    144 Stefan D. Bruda

  • Page 148 and 149:

    146 Stefan D. Bruda

  • Page 150 and 151:

    148 Stefan D. Bruda

  • Page 152 and 153:

    6 Test Generation Algorithms Based

  • Page 154 and 155:

    6 Test Generation Algorithms Based

  • Page 156 and 157:

    6 Test Generation Algorithms Based

  • Page 158 and 159:

    6 Test Generation Algorithms Based

  • Page 160 and 161:

    a q2

  • Page 162 and 163:

    6 Test Generation Algorithms Based

  • Page 164 and 165:

    6 Test Generation Algorithms Based

  • Page 166 and 167:

    6 Test Generation Algorithms Based

  • Page 168 and 169:

    6 Test Generation Algorithms Based

  • Page 170 and 171:

    6 Test Generation Algorithms Based

  • Page 172 and 173:

    6 Test Generation Algorithms Based

  • Page 174 and 175:

    174 Machiel van der Bijl and Fabien

  • Page 176 and 177:

    176 Machiel van der Bijl and Fabien

  • Page 178 and 179:

    178 Machiel van der Bijl and Fabien

  • Page 180 and 181:

    180 Machiel van der Bijl and Fabien

  • Page 182 and 183:

    182 Machiel van der Bijl and Fabien

  • Page 184 and 185:

    184 Machiel van der Bijl and Fabien

  • Page 186 and 187:

    186 Machiel van der Bijl and Fabien

  • Page 188 and 189:

    188 Machiel van der Bijl and Fabien

  • Page 190 and 191:

    190 Machiel van der Bijl and Fabien

  • Page 192 and 193:

    192 Machiel van der Bijl and Fabien

  • Page 194 and 195:

    194 Machiel van der Bijl and Fabien

  • Page 196 and 197:

    196 Machiel van der Bijl and Fabien

  • Page 198 and 199:

    198 Machiel van der Bijl and Fabien

  • Page 200 and 201:

    200 Machiel van der Bijl and Fabien

  • Page 202 and 203:

    202 Laura Brandán Briones and Math

  • Page 204 and 205:

    204 Laura Brandán Briones and Math

  • Page 206 and 207:

    206 Laura Brandán Briones and Math

  • Page 208 and 209:

    208 Laura Brandán Briones and Math

  • Page 210 and 211:

    210 Laura Brandán Briones and Math

  • Page 212 and 213:

    212 Laura Brandán Briones and Math

  • Page 214 and 215:

    214 Laura Brandán Briones and Math

  • Page 216 and 217:

    216 Laura Brandán Briones and Math

  • Page 218 and 219:

    218 Laura Brandán Briones and Math

  • Page 220 and 221:

    220 Laura Brandán Briones and Math

  • Page 222 and 223:

    222 Laura Brandán Briones and Math

  • Page 224 and 225:

    224 Laura Brandán Briones and Math

  • Page 226 and 227:

    226 Laura Brandán Briones and Math

  • Page 228 and 229:

    228 Laura Brandán Briones and Math

  • Page 230 and 231:

    230 Laura Brandán Briones and Math

  • Page 232 and 233:

    9 Testing Theory for Probabilistic

  • Page 234 and 235:

    9 Testing Theory for Probabilistic

  • Page 236 and 237:

    9.3 Fully Probabilistic Processes

  • Page 238 and 239:

    9 Testing Theory for Probabilistic

  • Page 240 and 241:

    9 Testing Theory for Probabilistic

  • Page 242 and 243:

    (a, 0.5)

  • Page 244 and 245:

    9 Testing Theory for Probabilistic

  • Page 246 and 247:

    where 9 Testing Theory for Probabil

  • Page 248 and 249:

    or (must-testing):

  • Page 250 and 251:

    u ′ 1

  • Page 252 and 253:

    Definition 9.16. [Seg96] Let P, Q

  • Page 254 and 255:

    δ((v1, v ′′ ), b,χ (u1,u ′

  • Page 256 and 257:

    u1 sM1

  • Page 258 and 259:

    9 Testing Theory for Probabilistic

  • Page 260 and 261:

    9 Testing Theory for Probabilistic

  • Page 262 and 263:

    sP (a, 1

  • Page 264 and 265:

    nonprob.

  • Page 266 and 267:

    9 Testing Theory for Probabilistic

  • Page 268 and 269:

    Definition 9.30. Let P, Q ∈ PP.

  • Page 270 and 271:

    9 Testing Theory for Probabilistic

  • Page 272 and 273:

    v1 u1

  • Page 274 and 275:

    9 Testing Theory for Probabilistic

  • Page 276 and 277:

    278 Part III. Model-Based Test Case

  • Page 278 and 279:

    10 Methodological Issues in Model-B

  • Page 280 and 281:

    10 Methodological Issues in Model-B

  • Page 282 and 283:

    input i

  • Page 284 and 285:

    10 Methodological Issues in Model-B

  • Page 286 and 287:

    10 Methodological Issues in Model-B

  • Page 288 and 289:

    10 Methodological Issues in Model-B

  • Page 290 and 291:

    294 Christophe Gaston and Dirk Seif

  • Page 292 and 293:

    296 Christophe Gaston and Dirk Seif

  • Page 294 and 295:

    298 Christophe Gaston and Dirk Seif

  • Page 296 and 297:

    300 Christophe Gaston and Dirk Seif

  • Page 298 and 299:

    302 Christophe Gaston and Dirk Seif

  • Page 300 and 301:

    304 Christophe Gaston and Dirk Seif

  • Page 302 and 303:

    306 Christophe Gaston and Dirk Seif

  • Page 304 and 305:

    308 Christophe Gaston and Dirk Seif

  • Page 306 and 307:

    310 Christophe Gaston and Dirk Seif

  • Page 308 and 309:

    312 Christophe Gaston and Dirk Seif

  • Page 310 and 311:

    314 Christophe Gaston and Dirk Seif

  • Page 312 and 313:

    316 Christophe Gaston and Dirk Seif

  • Page 314 and 315:

    318 Christophe Gaston and Dirk Seif

  • Page 316 and 317:

    320 Christophe Gaston and Dirk Seif

  • Page 318 and 319:

    322 Christophe Gaston and Dirk Seif

  • Page 320 and 321:

    324 Levi Lúcio and Marko Samer

  • Page 322 and 323:

    326 Levi Lúcio and Marko Samer

  • Page 324 and 325:

    328 Levi Lúcio and Marko Samer

  • Page 326 and 327:

    330 Levi Lúcio and Marko Samer

  • Page 328 and 329:

    332 Levi Lúcio and Marko Samer

  • Page 330 and 331:

    334 Levi Lúcio and Marko Samer

  • Page 332 and 333:

    336 Levi Lúcio and Marko Samer

  • Page 334 and 335:

    338 Levi Lúcio and Marko Samer

  • Page 336 and 337:

    340 Levi Lúcio and Marko Samer

  • Page 338 and 339:

    342 Levi Lúcio and Marko Samer

  • Page 340 and 341:

    344 Levi Lúcio and Marko Samer

  • Page 342 and 343:

    346 Levi Lúcio and Marko Samer

  • Page 344 and 345:

    348 Levi Lúcio and Marko Samer

  • Page 346 and 347:

    350 Levi Lúcio and Marko Samer

  • Page 348 and 349:

    352 Levi Lúcio and Marko Samer

  • Page 350 and 351:

    354 Levi Lúcio and Marko Samer

  • Page 352 and 353:

    356 Kirsten Berkenkötter and Raimu

  • Page 354 and 355:

    358 Kirsten Berkenkötter and Raimu

  • Page 356 and 357:

    360 Kirsten Berkenkötter and Raimu

  • Page 358 and 359:

    362 Kirsten Berkenkötter and Raimu

  • Page 360 and 361:

    364 Kirsten Berkenkötter and Raimu

  • Page 362 and 363:

    366 Kirsten Berkenkötter and Raimu

  • Page 364 and 365:

    368 Kirsten Berkenkötter and Raimu

  • Page 366 and 367:

    370 Kirsten Berkenkötter and Raimu

  • Page 368 and 369:

    372 Kirsten Berkenkötter and Raimu

  • Page 370 and 371:

    374 Kirsten Berkenkötter and Raimu

  • Page 372 and 373:

    376 Kirsten Berkenkötter and Raimu

  • Page 374 and 375:

    378 Kirsten Berkenkötter and Raimu

  • Page 376 and 377:

    380 Kirsten Berkenkötter and Raimu

  • Page 378 and 379:

    382 Kirsten Berkenkötter and Raimu

  • Page 380 and 381:

    384 Kirsten Berkenkötter and Raimu

  • Page 382 and 383:

    386 Kirsten Berkenkötter and Raimu

  • Page 384 and 385:

    Part IV

  • Page 386 and 387:

    14 Tools for Test Case Generation

  • Page 388 and 389:

    14 Tools for Test Case Generation 3

  • Page 390 and 391:

    14 Tools for Test Case Generation 3

  • Page 392 and 393:

    14 Tools for Test Case Generation 3

  • Page 394 and 395:

    14 Tools for Test Case Generation 3

  • Page 396 and 397:

    14 Tools for Test Case Generation 4

  • Page 398 and 399:

    14 Tools for Test Case Generation 4

  • Page 400 and 401:

    14 Tools for Test Case Generation 4

  • Page 402 and 403:

    14 Tools for Test Case Generation 4

  • Page 404 and 405:

    14 Tools for Test Case Generation 4

  • Page 406 and 407:

    Test Generation Process

  • Page 408 and 409:

    Generating FSMs out of ASMs

  • Page 410 and 411:

    14 Tools for Test Case Generation 4

  • Page 412 and 413:

    14 Tools for Test Case Generation 4

  • Page 414 and 415:

    14 Tools for Test Case Generation 4

  • Page 416 and 417:

    14 Tools for Test Case Generation 4

  • Page 418 and 419:

    14 Tools for Test Case Generation 4

  • Page 420 and 421:

    14 Tools for Test Case Generation 4

  • Page 422 and 423:

    Related Papers

  • Page 424 and 425:

    Tool Interfaces

  • Page 426 and 427:

    Related Papers

  • Page 428 and 429:

    Summary

  • Page 430 and 431:

    14 Tools for Test Case Generation 4

  • Page 432 and 433:

    14 Tools for Test Case Generation 4

  • Page 434 and 435:

    15 Case Studies

  • Page 436 and 437:

    15 Case Studies 441

  • Page 438 and 439:

    15 Case Studies 443

  • Page 440 and 441:

    15 Case Studies 445

  • Page 442 and 443:

    15 Case Studies 447

  • Page 444 and 445:

    15 Case Studies 449

  • Page 446 and 447:

    15 Case Studies 451

  • Page 448 and 449:

    15 Case Studies 453

  • Page 450 and 451:

    15 Case Studies 455

  • Page 452 and 453:

    15 Case Studies 457

  • Page 454 and 455:

    15 Case Studies 459

  • Page 456 and 457:

    15 Case Studies 461

  • Page 458 and 459:

    16 TTCN-3

  • Page 460 and 461:

    16 TTCN-3 467

  • Page 462 and 463:

    16 TTCN-3 469

  • Page 464 and 465:

    16 TTCN-3 471

  • Page 466 and 467:

    16 TTCN-3 473

  • Page 468 and 469:

    16 TTCN-3 475

  • Page 470 and 471:

    16 TTCN-3 477

  • Page 472 and 473:

    16 TTCN-3 479

  • Page 474 and 475:

    16.5.1 Test System Architecture

  • Page 476 and 477:

    16 TTCN-3 483

  • Page 478 and 479:

    16 TTCN-3 485

  • Page 480 and 481:

    16 TTCN-3 487

  • Page 482 and 483:

    16 TTCN-3 489

  • Page 484 and 485:

    for (i := 0; i < 100; i := i + 1) {

  • Page 486 and 487:

    16 TTCN-3 493

  • Page 488 and 489:

    } 16 TTCN-3 495

  • Page 490 and 491:

    17 UML 2.0 Testing Profile

  • Page 492 and 493:

    17 UML 2.0 Testing Profile 499

  • Page 494 and 495:

    17 UML 2.0 Testing Profile 501

  • Page 496 and 497:

    U2TP JUnit

  • Page 498 and 499:

    U2TP TTCN-3

  • Page 500 and 501:

    Slave BTRoaming Activities

  • Page 502 and 503:

    BluetoothTest

  • Page 504 and 505:

    17 UML 2.0 Testing Profile 511

  • Page 506 and 507:

    sd Coord_Default

  • Page 508 and 509:

    **** BluetoothUnitTest.java ***/

  • Page 510 and 511:

    *** Bluetooth Roaming Test module *

  • Page 512 and 513:

    17 UML 2.0 Testing Profile 519

  • Page 514 and 515:

    17 UML 2.0 Testing Profile 521

  • Page 516 and 517:

    18 Run-Time Verification

  • Page 518 and 519:

    18 Run-Time Verification 527

  • Page 520 and 521:

    18 Run-Time Verification 529

  • Page 522 and 523:

    18 Run-Time Verification 531

  • Page 524 and 525:

    18 Run-Time Verification 533

  • Page 526 and 527:

    18 Run-Time Verification 535

  • Page 528 and 529:

    18 Run-Time Verification 537

  • Page 530 and 531:

    18 Run-Time Verification 539

  • Page 532 and 533:

    State state ←{};

  • Page 534 and 535:

    18 Run-Time Verification 543

  • Page 536 and 537:

    18 Run-Time Verification 545

  • Page 538 and 539:

    18 Run-Time Verification 547

  • Page 540 and 541:

    18 Run-Time Verification 549

  • Page 542 and 543:

    18 Run-Time Verification 551

  • Page 544 and 545:

    18 Run-Time Verification 553

  • Page 546 and 547:

    18 Run-Time Verification 555

  • Page 548 and 549:

    558 Therese Berg and Harald Raffelt

  • Page 550 and 551:

    560 Therese Berg and Harald Raffelt

  • Page 552 and 553:

    562 Therese Berg and Harald Raffelt

  • Page 554 and 555:

    564 Therese Berg and Harald Raffelt

  • Page 556 and 557:

    566 Therese Berg and Harald Raffelt

  • Page 558 and 559:

    568 Therese Berg and Harald Raffelt

  • Page 560 and 561:

    570 Therese Berg and Harald Raffelt

  • Page 562 and 563:

    572 Therese Berg and Harald Raffelt

  • Page 564 and 565:

    574 Therese Berg and Harald Raffelt

  • Page 566 and 567:

    576 Therese Berg and Harald Raffelt

  • Page 568 and 569:

    578 Therese Berg and Harald Raffelt

  • Page 570 and 571:

    580 Therese Berg and Harald Raffelt

  • Page 572 and 573:

    582 Therese Berg and Harald Raffelt

  • Page 574 and 575:

    584 Therese Berg and Harald Raffelt

  • Page 576 and 577:

    586 Therese Berg and Harald Raffelt

  • Page 578 and 579:

    588 Therese Berg and Harald Raffelt

  • Page 580 and 581:

    590 Therese Berg and Harald Raffelt

  • Page 582 and 583:

    592 Therese Berg and Harald Raffelt

  • Page 584 and 585:

    594 Therese Berg and Harald Raffelt

  • Page 586 and 587:

    596 Therese Berg and Harald Raffelt

  • Page 588 and 589:

    598 Therese Berg and Harald Raffelt

  • Page 590 and 591:

    600 Therese Berg and Harald Raffelt

  • Page 592 and 593:

    602 Therese Berg and Harald Raffelt

  • Page 594 and 595:

    Part VII

  • Page 596 and 597:

    608 Alexander Pretschner and Martin

  • Page 598 and 599:

    21 Finite State Machines

  • Page 600 and 601:

    21 Finite State Machines 613

  • Page 602 and 603:

    22 Labelled Transition Systems

  • Page 604 and 605:

    Literature

  • Page 606 and 607:

    Literature 619

  • Page 608 and 609:

    Literature 621

  • Page 610 and 611:

    Literature 623

  • Page 612 and 613:

    Literature 625

  • Page 614 and 615:

    Literature 627

  • Page 616 and 617:

    Literature 629

  • Page 618 and 619:

    Literature 631

  • Page 620 and 621:

    Literature 633

  • Page 622 and 623:

    Literature 635

  • Page 624 and 625:

    Literature 637

  • Page 626 and 627:

    Literature 639

  • Page 628 and 629:

    Literature 641

  • Page 630 and 631:

    Literature 643

  • Page 632 and 633:

    Literature 645

  • Page 634 and 635:

    Literature 647

  • Page 636 and 637:

    Literature 649

  • Page 638 and 639:

    Literature 651

  • Page 640 and 641:

    654 Index

  • Page 642 and 643:

    656 Index

  • Page 644 and 645:

    658 Index

Preparatory Notes for ASNT NDT Level III Examination - Ultrasonic Testing, UT

charliechong

Mayo Test Catalog, (Sorted By Test Name) - Mayo Medical ...

mayomedicallaboratories.com

ASNT Level III Visual Testing, VT

charliechong

Adult Medical-Surgical Nursing - ATI Testing

www1.atitesting.com

olume 1 proceedings 1 - International Military Testing Association

internationalmta.org

Hawaii-Southern California Training and Testing Draft Environmental

coastal.ca.gov

Gas Well Testing Handbook - FANARCO

fanarco.net

Demonstration Testing of Zenogem and Reverse Osmosis for ...

twdb.texas.gov

Material Testing Catalogue - Wagtech Projects Ltd

wagtechprojects.com

Testing Your Organic Chemistry Knowledge to Reinforce ...

heacademy.ac.uk

Structural Testing of the San Francisco?Oakland Bay ... - Engineering

engineering.tufts.edu

2003 IMTA Proceedings - International Military Testing Association

internationalmta.org

.5 NOVEMBER 1982 ,/!tti - International Military Testing Association

internationalmta.org

Domain Testing: Divide and Conquer - Testing Education

testingeducation.org

Handpumps Testing and Development: Progress Report ... - ZetaTalk

www3.zetatalk.com

Computer Testing Supplement for IA.indb - Aviation Supplies ...

asa2fly.com

The Descent of Man - Educational Testing Center

etestingcenter.com

Hack I.T.: Security Through Penetration Testing T. J. ... - HackBBS

hackbbs.org

2 Why We Need Model-Based Testing

is.ifmo.ru

I__. - International Military Testing Association

internationalmta.org

Testing Your Organic Chemistry Knowledge to Reinforce

heacademy.ac.uk

metall testing of bissett creek graphite - final rpt - Geology Ontario

geologyontario.mndmf.gov.on.ca

ORBITER TILE IMPACT TESTING - Johnson Space Center - NASA

jsc.nasa.gov

Twenty-Fifth Annual Pacific Northwest Software Quality ... - Dejan SEO

dejanseo.com.au