Model-Based Testing of Reactive Systems : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner.

Format:

Book

Contributor:

Broy, M., 1949- editor.

Jonsson, Bengt, editor.

Katoen, Joost-Pieter, editor.

Leucker, Martin, editor.

Pretschner, Alexander, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 3472.

Programming and Software Engineering ; 3472

Language:

English

Subjects (All):

Software engineering.

Computer logic.

Programming languages (Electronic computers).

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Local Subjects:

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Physical Description:

1 online resource (VIII, 664 pages).

Edition:

First edition 2005.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

System Details:

text file PDF

Summary:

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.

Contents:

Testing of Finite State Machines

I. Testing of Finite State Machines

1 Homing and Synchronizing Sequences

2 State Identification

3 State Verification

4 Conformance Testing

II. Testing of Labeled Transition Systems

Testing of Labeled Transition Systems

5 Preorder Relations

6 Test Generation Algorithms Based on Preorder Relations

7 I/O-automata Based Testing

8 Test Derivation from Timed Automata

9 Testing Theory for Probabilistic Systems

III. Model-Based Test Case Generation

Model-Based Test Case Generation

10 Methodological Issues in Model-Based Testing

11 Evaluating Coverage Based Testing

12 Technology of Test-Case Generation

13 Real-Time and Hybrid Systems Testing

IV. Tools and Case Studies

Tools and Case Studies

14 Tools for Test Case Generation

15 Case Studies

V. Standardized Test Notation and Execution Architecture

Standardized Test Notation and Execution Architecture

16 TTCN-3

17 UML 2.0 Testing Profile

VI. Beyond Testing

Beyond Testing

18 Run-Time Verification

19 Model Checking

VII. Appendices

Appendices

20 Model-Based Testing - A Glossary

21 Finite State Machines

22 Labelled Transition Systems.

Other Format:

Printed edition:

ISBN:

978-3-540-32037-1

9783540320371

Access Restriction:

Restricted for use by site license.