Constructing checking sequences for distributed testing

DOI10.1007/S00165-005-0083-8MaRDI QIDQ2432224zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2013782
• Checking sequences for distributed test architectures
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Detecting Observability Problems in Distributed Testing
• Distributed testing without encountering controllability and observability problems

Cited in

(14)

• Minimizing Coordination Channels in Distributed Testing
• Detecting Observability Problems in Distributed Testing
• Checking sequences for distributed test architectures
• Checking sequence generation for symbolic input/output FSMs by constraint solving
• scientific article; zbMATH DE number 2013782 (Why is no real title available?)
• The relation between preset distinguishing sequences and synchronizing sequences
• Timing issues in distributed testing
• Distributed testing without encountering controllability and observability problems
• Principles of Distributed Systems
• Computational Science – ICCS 2005
• 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
• Coordination algorithm for distributed testing

This page was built for publication: Constructing checking sequences for distributed testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2432224)