Formal approaches to software testing
Autoři
Parametry
Více o knize
InhaltsverzeichnisProceedings 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.
Nákup knihy
Formal approaches to software testing, Wolfgang Grieskamp
- Jazyk
- Rok vydání
- 2006
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Formal approaches to software testing
- Jazyk
- anglicky
- Autoři
- Wolfgang Grieskamp
- Vydavatel
- Springer
- Rok vydání
- 2006
- ISBN10
- 3540344543
- ISBN13
- 9783540344544
- Série
- Lecture notes in computer science
- Kategorie
- Počítače, IT, programování
- Anotace
- InhaltsverzeichnisProceedings 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.