Testing against a non-controllable stream X-machine using state counting

DOI10.1016/j.tcs.2005.12.002zbMath1088.68020OpenAlexW2063422308MaRDI QIDQ2368996

Florentin Ipate

Publication date: 28 April 2006

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

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

zbMATH Keywords

Formal specificationsFinite state machinesStream X-machinesTest generationSpecification based testing

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (7)

A unified integration and component testing approach from deterministic stream X-machine specifications ⋮ Testing data processing-oriented systems from stream X-machine models ⋮ Fundamental results for learning deterministic extended finite state machines from queries ⋮ Bounded sequence testing from deterministic finite state machines ⋮ 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

• PX systems = P systems + X machines
• An integrated refinement and testing method for stream X-machines
• Complete deterministic stream X-machine testing
• Testing conditions for communicating stream \(X\)-machine systems
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing methods for X-machines: a review
• A method for refining and testing generalised machine specifications
• Testing Software Design Modeled by Finite-State Machines
• An integration testing method that is proved to find all faults
• On the Minimality of Stream X-machines
• Testing can be formal, too
• Testing conformance to a quasi-non-deterministic stream X-machine
• Generating test sets from non-deterministic stream X-machines
• Generalised stream X-machines and cooperating distributed grammar systems
• Generalised stream X-machines with output delimited type
• A structured way to use channels for communication in X-machine systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Testing against a non-controllable stream X-machine using state counting