An integration testing method that is proved to find all faults

DOI10.1080/00207169708804559MaRDI QIDQ4340156zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Mike Holcombe

Publication date 16 June 1997

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

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

zbMATH Keywords

\(X\)-machinesfinite state machinesformal specificationtesting

Mathematics Subject Classification ID

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

Recommendations

• Theoretical Aspects of Computing - ICTAC 2004
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 2182430
• Testing-based formal verification for theorems and its application in software specification verification
• A method for refining and testing generalised machine specifications

Cites work

• Testing Software Design Modeled by Finite-State Machines

Cited in

(10)

• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• 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
• Specification, testing and verification of unconventional computations using generalizedX-machines
• A method for refining and testing generalised machine specifications
• Testing non-deterministic stream X-machine models and P systems
• Testing data processing-oriented systems from stream X-machine models
• Bounded sequence testing from deterministic finite state machines
• Checking experiments for stream X-machines

This page was built for publication: An integration testing method that is proved to find all faults

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