Constructing checking sequences for distributed testing

DOI10.1007/s00165-005-0083-8zbMath1103.68595OpenAlexW2128416870MaRDI QIDQ2432224

Hasan Ural, Craig L. Williams

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

zbMATH Keywords

checking sequencecontrollability and observability problemsdistributed test architecturesdistributed testingfinite state machine-based testingtest coordination

Mathematics Subject Classification ID

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