An integrated refinement and testing method for stream X-machines

DOI10.1007/S002000100090MaRDI QIDQ1606072zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Mike Holcombe

Publication date 29 July 2002

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

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

zbMATH Keywords

stream X-machines

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Testing (stream) X-machines
• Complete deterministic stream X-machine testing
• A method for refining and testing generalised machine specifications
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• scientific article; zbMATH DE number 2182430

Cited in

(8)

• Testing (stream) X-machines
• Complete deterministic stream X-machine testing
• Testing against a non-controllable stream X-machine using state counting
• A unified integration and component testing approach from deterministic stream X-machine specifications
• A method for refining and testing generalised machine specifications
• scientific article; zbMATH DE number 1200754 (Why is no real title available?)
• Testing data processing-oriented systems from stream X-machine models
• Checking experiments for stream X-machines

This page was built for publication: An integrated refinement and testing method for stream X-machines

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