This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).
Author(s): Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)
Series: Lecture Notes in Computer Science 4949 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 367
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems
Front Matter....Pages -
Model Based Testing with Labelled Transition Systems....Pages 1-38
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer....Pages 39-76
Testing Real-Time Systems Using UPPAAL....Pages 77-117
Coverage Criteria for State Based Specifications....Pages 118-156
Testing in the Distributed Test Architecture....Pages 157-183
Testing from X-Machine Specifications....Pages 184-208
Testing Data Types Implementations from Algebraic Specifications....Pages 209-239
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria....Pages 240-270
Comparing the Effectiveness of Testing Techniques....Pages 271-291
The Test Technology TTCN-3....Pages 292-319
Testability Transformation – Program Transformation to Improve Testability....Pages 320-344
Modelling the Effects of Combining Diverse Software Fault Detection Techniques....Pages 345-366
Back Matter....Pages -
