Distributed testing without encountering controllability and observability problems

DOI10.1016/S0020-0190(03)00364-8zbMath1178.68090OpenAlexW2069178864MaRDI QIDQ1028999

Hasan Ural, David Whittier

Publication date: 9 July 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(03)00364-8

zbMATH Keywords

distributed systemsfinite state machinecontrollability and observability problemsdistributed test architecturesdistributed testingtest sequence construction

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (4)

Timing issues in distributed testing ⋮ Implementation relations and test generation for systems with distributed interfaces ⋮ Using schedulers to test probabilistic distributed systems ⋮ Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine

Cites Work

• The synchronization problem in protocol testing and its complexity
• Matching, Euler tours and the Chinese postman
• Unnamed Item

This page was built for publication: Distributed testing without encountering controllability and observability problems