Amazon cover image
Image from Amazon.com

Model-based testing of reactive systems : advanced lectures / Manfred Broy [and others] (eds.).

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 3472.Publication details: Berlin : Springer, 2005.Description: 1 online resource (viii, 659 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540320371
  • 3540320377
  • 3540262784
  • 9783540262787
Subject(s): Additional physical formats: Print version:: Model-based testing of reactive systems.DDC classification:
  • 004.24 22
LOC classification:
  • QA76.76.T48 M644 2005eb
Other classification:
  • 54.52
  • TP311. 56
  • SS 4800
  • ST 233
  • DAT 559f
  • DAT 325f
  • DAT 330f
Online resources:
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.
In: Springer e-booksReview: "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."--Jacket
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

"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."--Jacket

Print version record.

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.

English.

Available to OhioLINK libraries.

Powered by Koha