Complete deterministic stream X-machine testing

DOI10.1007/S00165-004-0045-6MaRDI QIDQ1764430zbMATH OpenOpenAlexFDO

Authors Florentin Ipate

Publication date 24 February 2005

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-004-0045-6

zbMATH Keywords

Formal specificationTestingFinite state machinesStream X-machinesTest set generation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2182430
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing conformance to a quasi-non-deterministic stream X-machine
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• Testing (stream) X-machines
• Testing non-deterministic stream X-machine models and P systems
• Testing non-deterministic stream X-machine models and P systems
• Generating test sets from non-deterministic stream X-machines
• A unified integration and component testing approach from deterministic stream X-machine specifications
• An integrated refinement and testing method for stream X-machines

Cited in

(16)

• A unified integration and component testing approach from deterministic stream X-machine specifications
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• TESTING USING X-MACHINE TRANSLATIONS
• Bounded sequence testing from deterministic finite state machines
• Testing (stream) X-machines
• Testing non-deterministic stream X-machine models and P systems
• Testing conformance to a quasi-non-deterministic stream X-machine
• Testing data processing-oriented systems from stream X-machine models
• Checking experiments for stream X-machines
• Testing non-deterministic stream X-machine models and P systems
• An integrated refinement and testing method for stream X-machines
• Testing conditions for communicating stream \(X\)-machine systems
• Testing against a non-controllable stream X-machine using state counting
• Generalised stream X-machines with output delimited type
• scientific article; zbMATH DE number 2182430 (Why is no real title available?)
• A method for refining and testing generalised machine specifications

This page was built for publication: Complete deterministic stream X-machine testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1764430)