Constructing checking sequences for distributed testing

DOI10.1007/S00165-005-0083-8zbMATH Open1103.68595OpenAlexW2128416870MaRDI QIDQ2432224FDOQ2432224

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

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

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)

Cited In (14)

• Checking sequences for distributed test architectures
• Checking sequence generation for symbolic input/output FSMs by constraint solving
• Title not available (Why is that?)
• 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
• Minimizing Coordination Channels in Distributed Testing
• Detecting Observability Problems in 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)