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.
www.dbebooks.com - Free Books & magazines
Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board 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
3472
Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker Alexander Pretschner (Eds.)
Model-Based Testing of Reactive Systems Advanced Lectures
13
Volume Editors Manfred Broy Martin Leucker TU Munich Institute for Informatics I4 Boltzmannstr. 3, 85748 Garching, Germany E-mail: {broy,leucker}@in.tum.de Bengt Jonsson Uppsala University Department of Computer Systems Box 337, 751 05 Uppsala, Sweden E-mail:
[email protected] Joost-Pieter Katoen University of Twente Department of Computer Science P.O. Box 271, 7500 AE Enschede, The Netherlands E-mail:
[email protected] Alexander Pretschner ETH Zurich D-INFK, Information Security Haldeneggsteig 4, 8092 Zürich, Switzerland E-mail:
[email protected]
Library of Congress Control Number: 2005927641 CR Subject Classification (1998): D.2.5, D.2.4, D.2, F.3.1, D.2.11, D.3.1 ISSN ISBN-10 ISBN-13
0302-9743 3-540-26278-4 Springer Berlin Heidelberg New York 978-3-540-26278-7 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German