An integration testing method that is proved to find all faults

DOI10.1080/00207169708804559zbMath0878.68086MaRDI QIDQ4340156

Mike Holcombe, Florentin Ipate

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

testing; formal specification; finite state machines; \(X\)-machines

Mathematics Subject Classification ID

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

Related Items

Testing Non-deterministic Stream X-machine Models and P systems, A unified integration and component testing approach from deterministic stream X-machine specifications, Testing data processing-oriented systems from stream X-machine models, Bounded sequence testing from deterministic finite state machines, Checking experiments for stream X-machines, 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, Specification, testing and verification of unconventional computations using generalizedX-machines, A method for refining and testing generalised machine specifications

Cites Work

• Testing Software Design Modeled by Finite-State Machines