Book Volume 3472 2005

Model-Based Testing of Reactive Systems

Advanced Lectures

ISBN: 978-3-540-26278-7 (Print) 978-3-540-32037-1 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Testing of Finite State Machines

    1. No Access

      Chapter

      Pages 1-3

      Part I. Testing of Finite State Machines

    2. No Access

      Chapter

      Pages 5-33

      1 Homing and Synchronizing Sequences

    3. No Access

      Chapter

      Pages 35-67

      2 State Identification

    4. No Access

      Chapter

      Pages 69-86

      3 State Verification

    5. No Access

      Chapter

      Pages 87-111

      4 Conformance Testing

    6. No Access

      Chapter

      Pages 113-115

      Part II. Testing of Labeled Transition Systems

  3. Testing of Labeled Transition Systems

    1. No Access

      Chapter

      Pages 117-149

      5 Preorder Relations

    2. No Access

      Chapter

      Pages 151-171

      6 Test Generation Algorithms Based on Preorder Relations

    3. No Access

      Chapter

      Pages 173-200

      7 I/O-automata Based Testing

    4. No Access

      Chapter

      Pages 201-231

      8 Test Derivation from Timed Automata

    5. No Access

      Chapter

      Pages 233-275

      9 Testing Theory for Probabilistic Systems

    6. No Access

      Chapter

      Pages 277-279

      Part III. Model-Based Test Case Generation

  4. Model-Based Test Case Generation

    1. No Access

      Chapter

      Pages 281-291

      10 Methodological Issues in Model-Based Testing

    2. No Access

      Chapter

      Pages 293-322

      11 Evaluating Coverage Based Testing

    3. No Access

      Chapter

      Pages 323-354

      12 Technology of Test-Case Generation

    4. No Access

      Chapter

      Pages 355-387

      13 Real-Time and Hybrid Systems Testing

    5. No Access

      Chapter

      Pages 389-390

      Part IV. Tools and Case Studies

  5. Tools and Case Studies

    1. No Access

      Chapter

      Pages 391-438

      14 Tools for Test Case Generation

    2. No Access

      Chapter

      Pages 439-461

      15 Case Studies

    3. No Access

      Chapter

      Pages 463-463

      Part V. Standardized Test Notation and Execution Architecture

previous Page of 2