| ![](/p.gif) |
![](/p.gif) |
| Artikel-Nr.: 858A-9783540344544 Herst.-Nr.: 9783540344544 EAN/GTIN: 9783540344544 |
| |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | 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. Weitere Informationen: ![](/p.gif) | ![](/p.gif) | Author: | Wolfgang Grieskamp; Carsten Weise | Verlag: | Springer Berlin | Sprache: | eng |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | | ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Allgemeines, EDV / Theorie / Software-Entw. / Testmethoden, Markov chains, Resolution, abstract state machines, automata, constraint resolution, correct systems design, correctness proofs, finite state machines, formal methods |
| ![](/p.gif) | ![](/p.gif) |
| |