A method for refining and testing generalised machine specifications

DOI10.1080/00207169808804689zbMath0908.68106OpenAlexW2054230624MaRDI QIDQ3838255

Mike Holcombe, Florentin Ipate

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)

Related Items (5)

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 ⋮ Testing data processing-oriented systems from stream X-machine models ⋮ Checking experiments for stream X-machines

Cites Work

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

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