Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Mai 2006
Genre:	EDV / Informatik
	AbstractStateMachines / Automata / Compiler und Übersetzer / constraintresolution / correctnessproofs / correctsystemsdesign / EDV / Theorie / Software-Entw. / Allgemeines / EDV / Theorie / Software-Entw. / Testmethoden / finitestatemachines / formalmethods / formaltesting / interactivetesting / Markovchains / modelchecking / Real-time / Resolution / Software Engineering / Testing / theoremproving / Theoretische Informatik mehr...
ISBN:	9783540344544
EAN-Code:	9783540344544
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 13 mm
Gewicht:	365 gr
Seiten:	236
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.