Wolfgang Grieskamp / Carsten Weise (eds.)

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Herausgegeben:Grieskamp, Wolfgang; Weise, Carsten

• Broschiertes Buch

Produktbeschreibung

Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.

Produktdetails

• Lecture Notes in Computer Science 3997
• Verlag: Springer, Berlin
• Seitenzahl: 236
• Erscheinungstermin: 30. Mai 2006
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 340g
• ISBN-13: 9783540344544
• ISBN-10: 3540344543
• Artikelnr.: 20946689

Autorenporträt

Wolfgang Grieskamp, Microsoft Research, Redmond, WA, USA / Carsten Weise, Ericsson Deutschlang GmbH, Herzogenrath, Germany

Inhaltsangabe

Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.