A method for refining and testing generalised machine specifications

DOI10.1080/00207169808804689MaRDI QIDQ3838255zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Mike Holcombe

Publication date 9 August 1998

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207169808804689

zbMATH Keywords

refinementstream X-machinetesting machines

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An integrated refinement and testing method for stream X-machines
• Testing (stream) X-machines
• Generating test sets from non-deterministic stream X-machines
• Testing against a non-controllable stream X-machine using state counting
• Complete deterministic stream X-machine testing

Cites work

• An integration testing method that is proved to find all faults
• Testing Software Design Modeled by Finite-State Machines

Cited in

(9)

• An integrated refinement and testing method for stream X-machines
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing against a non-controllable stream X-machine using state counting
• A unified integration and component testing approach from deterministic stream X-machine specifications
• Finite state machine testing from an OR state refinement design
• scientific article; zbMATH DE number 2182429 (Why is no real title available?)
• An integration testing method that is proved to find all faults
• Testing data processing-oriented systems from stream X-machine models
• Checking experiments for stream X-machines

This page was built for publication: A method for refining and testing generalised machine specifications

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