This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.
The book presents 13 revised full papers together with 1 work-in-progress paper. The papers address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. These techniques are combined with traditional approaches to testing.
Author(s): Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova (auth.), Wolfgang Grieskamp, Carsten Weise (eds.)
Series: Lecture Notes in Computer Science 3997 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 219
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems
Front Matter....Pages -
Simulated Time for Testing Railway Interlockings with TTCN-3....Pages 1-15
Model-Based Testing Through a GUI....Pages 16-31
Play to Test....Pages 32-46
A Note on an Anomaly in Black-Box Testing....Pages 47-61
A Novel Test Coverage Metric for Concurrently-Accessed Software Components....Pages 62-71
Adaptive Random Testing by Bisection and Localization....Pages 72-86
Interactive Testing with HOL-TestGen....Pages 87-102
Conformance Testing Relations for Timed Systems....Pages 103-117
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM....Pages 118-133
Calculating Probabilities of Real-Time Test Cases....Pages 134-151
Time Unbalanced Partial Order....Pages 152-169
Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach....Pages 170-186
Automated Generation of Positive and Negative Tests for Parsers....Pages 187-202
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms....Pages 203-217
Back Matter....Pages -
