Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)3540262784, 9783540262787

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.

Table of contents :
Front Matter….Pages –
Part I. Testing of Finite State Machines….Pages 1-3
1 Homing and Synchronizing Sequences….Pages 5-33
2 State Identification….Pages 35-67
3 State Verification….Pages 69-86
4 Conformance Testing….Pages 87-111
Part II. Testing of Labeled Transition Systems….Pages 113-115
5 Preorder Relations….Pages 117-149
6 Test Generation Algorithms Based on Preorder Relations….Pages 151-171
7 I/O-automata Based Testing….Pages 173-200
8 Test Derivation from Timed Automata….Pages 201-231
9 Testing Theory for Probabilistic Systems….Pages 233-275
Part III. Model-Based Test Case Generation….Pages 277-279
10 Methodological Issues in Model-Based Testing….Pages 281-291
11 Evaluating Coverage Based Testing….Pages 293-322
12 Technology of Test-Case Generation….Pages 323-354
13 Real-Time and Hybrid Systems Testing….Pages 355-387
Part IV. Tools and Case Studies….Pages 389-390
14 Tools for Test Case Generation….Pages 391-438
15 Case Studies….Pages 439-461
Part V. Standardized Test Notation and Execution Architecture….Pages 463-463
16 TTCN-3….Pages 465-496
17 UML 2.0 Testing Profile….Pages 497-521
Part VI. Beyond Testing….Pages 523-523
18 Run-Time Verification….Pages 525-555
19 Model Checking….Pages 557-603
Part VII. Appendices….Pages 605-605
20 Model-Based Testing – A Glossary….Pages 607-609
21 Finite State Machines….Pages 611-614
22 Labelled Transition Systems….Pages 615-616
Back Matter….Pages –