Constructing checking sequences for distributed testing
From MaRDI portal
Publication:2432224
DOI10.1007/S00165-005-0083-8zbMath1103.68595OpenAlexW2128416870MaRDI QIDQ2432224
Publication date: 25 October 2006
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-005-0083-8
checking sequencecontrollability and observability problemsdistributed test architecturesdistributed testingfinite state machine-based testingtest coordination
Formal languages and automata (68Q45) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (4)
Implementation relations and test generation for systems with distributed interfaces ⋮ Overcoming controllability problems in distributed testing from an input output transition system ⋮ Timed implementation relations for the distributed test architecture ⋮ The relation between preset distinguishing sequences and synchronizing sequences
This page was built for publication: Constructing checking sequences for distributed testing