Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
From MaRDI portal
Publication:1882901
DOI10.1016/j.tcs.2004.04.002zbMath1078.68084OpenAlexW2126308222WikidataQ59610580 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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
A unified integration and component testing approach from deterministic stream X-machine specifications ⋮ Testing against a non-controllable stream X-machine using state counting ⋮ Testing data processing-oriented systems from stream X-machine models ⋮ \(\mathcal {HOTL}\): Hypotheses and observations testing logic ⋮ Testing Non-deterministic Stream X-machine Models and P systems ⋮ Checking experiments for stream X-machines ⋮ Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: Testing conformance of a deterministic implementation against a non-deterministic stream X-machine