Generating test sets from non-deterministic stream X-machines

DOI10.1007/S001650070004MaRDI QIDQ5944213zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Mike Holcombe

Publication date 26 June 2003

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

Full work available at URL https://doi.org/10.1007/s001650070004

zbMATH Keywords

specification languagetestingX-machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2050930
• scientific article; zbMATH DE number 6125212
• Testing (stream) X-machines
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing conformance to a quasi-non-deterministic stream X-machine

Cited in

(16)

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

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Generating test sets from non-deterministic stream X-machines

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