Timed implementation relations for the distributed test architecture

DOI10.1007/s00446-014-0208-5zbMath1291.68048MaRDI QIDQ2251156

Mercedes G. Merayo, Manuel A. Nunez, Robert M. Hierons

Publication date: 11 July 2014

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: http://bura.brunel.ac.uk/handle/2438/9965

zbMATH Keywords

distributed systems; model-based testing; timed systems

Mathematics Subject Classification ID

68M14: Distributed systems

68W15: Distributed algorithms

Related Items

Passive testing with asynchronous communications and timestamps

Cites Work

• Unnamed Item
• Unnamed Item
• A limitation of vector timestamps for reconstructing distributed computations
• The synchronization problem in protocol testing and its complexity
• Coordination algorithm for distributed testing
• Implementation relations and test generation for systems with distributed interfaces
• Checking sequences for distributed test architectures
• Constructing checking sequences for distributed testing
• Optimal and efficient clock synchronization under drifting clocks
• Introduction to Software Testing
• A Fresh Look at Testing for Asynchronous Communication
• Controllable Test Cases for the Distributed Test Architecture
• Synchronizing clocks in the presence of faults
• Time, clocks, and the ordering of events in a distributed system
• Using Time to Add Order to Distributed Testing
• Testing can be formal, too
• A Method for the Design of Fault Detection Experiments