Testing conformance of a deterministic implementation against a non-deterministic stream X-machine

DOI10.1016/j.tcs.2004.04.002zbMath1078.68084WikidataQ59610580 ScholiaQ59610580MaRDI QIDQ1882901

Mark Harman, Robert M. Hierons

Publication date: 1 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.04.002

zbMATH Keywords

Testing; Non-determinism; Stream X-machines; Conformance; Deterministic implementation

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Testing Non-deterministic Stream X-machine Models and P systems, A unified integration and component testing approach from deterministic stream X-machine specifications, Testing data processing-oriented systems from stream X-machine models, Checking experiments for stream X-machines, Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine, Testing against a non-controllable stream X-machine using state counting, \(\mathcal {HOTL}\): Hypotheses and observations testing logic

Cites Work

• On minimizing the lengths of checking sequences
• Reduced length checking sequences
• A method for refining and testing generalised machine specifications
• Testing Software Design Modeled by Finite-State Machines
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• An integration testing method that is proved to find all faults
• Testing can be formal, too
• Testing conformance to a quasi-non-deterministic stream X-machine
• Generating test sets from non-deterministic stream X-machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item