An integration testing method that is proved to find all faults

DOI10.1080/00207169708804559zbMath0878.68086OpenAlexW2056235294MaRDI 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

testingformal specificationfinite state machines\(X\)-machines

Mathematics Subject Classification ID

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

Related Items (10)

A unified integration and component testing approach from deterministic stream X-machine specifications ⋮ 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 ⋮ Testing data processing-oriented systems from stream X-machine models ⋮ Bounded sequence testing from deterministic finite state machines ⋮ A method for refining and testing generalised machine specifications ⋮ Testing Non-deterministic Stream X-machine Models and P systems ⋮ Checking experiments for stream X-machines ⋮ Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine

Cites Work

• Testing Software Design Modeled by Finite-State Machines

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