Coordination algorithm for distributed testing

DOI10.1023/A:1021759127956MaRDI QIDQ1395717zbMATH OpenOpenAlexFDO

Authors Omar Rafiq, Leo Cacciari

Publication date 1 July 2003

Published in The Journal of Supercomputing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1021759127956

zbMATH Keywords

controllabilityobservabilitydistributed testingtest coordination procedurestesting architecture

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• Timing issues in distributed testing
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Constructing checking sequences for distributed testing
• Minimizing Coordination Channels in Distributed Testing
• Distributed testing without encountering controllability and observability problems

Cited in

(14)

• Minimizing Coordination Channels in Distributed Testing
• scientific article; zbMATH DE number 1418455 (Why is no real title available?)
• Controllable Test Cases for the Distributed Test Architecture
• Checking sequences for distributed test architectures
• Using schedulers to test probabilistic distributed systems
• Timing issues in distributed testing
• Principles of Distributed Systems
• Testing for coordination fidelity
• Implementation relations and test generation for systems with distributed interfaces
• Timed implementation relations for the distributed test architecture
• Canonical finite state machines for distributed systems
• scientific article; zbMATH DE number 1931736 (Why is no real title available?)
• Using Time to Add Order to Distributed Testing
• scientific article; zbMATH DE number 1823197 (Why is no real title available?)

This page was built for publication: Coordination algorithm for distributed testing

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