Skip to main content
SpringerLink
Log in
Book cover

Model-Based Testing of Reactive Systems

Advanced Lectures

  • Textbook
  • © 2005

Overview

Editors:
  1. Manfred Broy

    1. Technische Universität München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bengt Jonsson

    1. Dept. of Information Technology, Uppsala, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Joost-Pieter Katoen

    1. Software Modeling and Verification, RWTH Aachen University, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Martin Leucker

    1. Institute for Informatics I4, TU Munich, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Alexander Pretschner

    1. Information Security, ETH Zürich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3472)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 chapters)

  1. Front Matter

    Download chapter PDF

  2. Testing of Finite State Machines

    1. Part I. Testing of Finite State Machines

      • Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 1-3

    2. 1 Homing and Synchronizing Sequences

      • Sven Sandberg
      Pages 5-33

    3. 2 State Identification

      • Moez Krichen
      Pages 35-67

    4. 3 State Verification

      • Henrik Björklund
      Pages 69-86

    5. 4 Conformance Testing

      • Angelo Gargantini
      Pages 87-111

    6. Part II. Testing of Labeled Transition Systems

      • Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 113-115

  3. Testing of Labeled Transition Systems

    1. 5 Preorder Relations

      • Stefan D. Bruda
      Pages 117-149

    2. 6 Test Generation Algorithms Based on Preorder Relations

      • Valéry Tschaen
      Pages 151-171

    3. 7 I/O-automata Based Testing

      • Machiel van der Bijl, Fabien Peureux
      Pages 173-200

    4. 8 Test Derivation from Timed Automata

      • Laura Brandán Briones, Mathias Röhl
      Pages 201-231

    5. 9 Testing Theory for Probabilistic Systems

      • Verena Wolf
      Pages 233-275

    6. Part III. Model-Based Test Case Generation

      • Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 277-279

  4. Model-Based Test Case Generation

    1. 10 Methodological Issues in Model-Based Testing

      • Alexander Pretschner, Jan Philipps
      Pages 281-291

    2. 11 Evaluating Coverage Based Testing

      • Christophe Gaston, Dirk Seifert
      Pages 293-322

    3. 12 Technology of Test-Case Generation

      • Levi Lúcio, Marko Samer
      Pages 323-354

    4. 13 Real-Time and Hybrid Systems Testing

      • Kirsten Berkenkötter, Raimund Kirner
      Pages 355-387

    5. Part IV. Tools and Case Studies

      • Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 389-390

  5. Tools and Case Studies

    1. 14 Tools for Test Case Generation

      • Axel Belinfante, Lars Frantzen, Christian Schallhart
      Pages 391-438

    2. 15 Case Studies

      • Wolfgang Prenninger, Mohammad El-Ramly, Marc Horstmann
      Pages 439-461
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Technische Universität München, Germany

    Manfred Broy

  • Dept. of Information Technology, Uppsala, Sweden

    Bengt Jonsson

  • Software Modeling and Verification, RWTH Aachen University, Germany

    Joost-Pieter Katoen

  • Institute for Informatics I4, TU Munich, Garching, Germany

    Martin Leucker

  • Information Security, ETH Zürich, Switzerland

    Alexander Pretschner

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation