A fault-detection approach to the conformance testing of nondeterministic systems

DOI10.1006/JPDC.1995.1091zbMath0833.68084OpenAlexW2008823968MaRDI QIDQ1898202

Xinming Ye, To-yat Cheung

Publication date: 24 September 1995

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jpdc.1995.1091

zbMATH Keywords

conformance testingfault-detectiondeterministic finite state machineimplementation under testsystem under test

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Related Items (1)

On conformance testing of non-deterministic systems

This page was built for publication: A fault-detection approach to the conformance testing of nondeterministic systems