Advertisement

Model-Based Testing of Reactive Systems

Advanced Lectures

  • Manfred Broy
  • Bengt Jonsson
  • Joost-Pieter Katoen
  • Martin Leucker
  • Alexander Pretschner

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

Table of contents

  1. Front Matter
  2. Testing of Finite State Machines

    1. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 1-3
    2. Sven Sandberg
      Pages 5-33
    3. Moez Krichen
      Pages 35-67
    4. Henrik Björklund
      Pages 69-86
    5. Angelo Gargantini
      Pages 87-111
    6. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 113-115
  3. Testing of Labeled Transition Systems

    1. Stefan D. Bruda
      Pages 117-149
    2. Machiel van der Bijl, Fabien Peureux
      Pages 173-200
    3. Laura Brandán Briones, Mathias Röhl
      Pages 201-231
    4. Verena Wolf
      Pages 233-275
    5. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 277-279
  4. Model-Based Test Case Generation

    1. Alexander Pretschner, Jan Philipps
      Pages 281-291
    2. Christophe Gaston, Dirk Seifert
      Pages 293-322
    3. Levi Lúcio, Marko Samer
      Pages 323-354
    4. Kirsten Berkenkötter, Raimund Kirner
      Pages 355-387
    5. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 389-390
  5. Tools and Case Studies

    1. Axel Belinfante, Lars Frantzen, Christian Schallhart
      Pages 391-438
    2. Wolfgang Prenninger, Mohammad El-Ramly, Marc Horstmann
      Pages 439-461
    3. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 463-463
  6. Standardized Test Notation and Execution Architecture

    1. George Din
      Pages 465-496
    2. Zhen Ru Dai
      Pages 497-521
    3. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 523-523
  7. Beyond Testing

    1. Séverine Colin, Leonardo Mariani
      Pages 525-555
    2. Therese Berg, Harald Raffelt
      Pages 557-603
    3. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
      Pages 605-605
  8. Appendices

    1. Alexander Pretschner, Martin Leucker
      Pages 607-609
    2. Bengt Jonsson
      Pages 611-614
    3. Joost-Pieter Katoen
      Pages 615-616
  9. Back Matter

About this book

Introduction

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.

Keywords

UML Unified Modeling Language (UML) algorithms automata finite-state machines formal methods formal testing methods hardware verification hybrid systems model checking model-based testing reactive systems software testing software verification systems verification

Editors and affiliations

  • Manfred Broy
    • 1
  • Bengt Jonsson
    • 2
  • Joost-Pieter Katoen
    • 3
  • Martin Leucker
    • 4
  • Alexander Pretschner
    • 5
  1. 1.Technische Universität MünchenGermany
  2. 2.Dept. of Information TechnologyUppsalaSweden
  3. 3.Software Modeling and VerificationRWTH Aachen UniversityGermany
  4. 4.Institute for Informatics I4TU MunichGarchingGermany
  5. 5.Information SecurityETH ZürichSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/b137241
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-26278-7
  • Online ISBN 978-3-540-32037-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering