Controllable Test Cases for the Distributed Test Architecture

DOI10.1007/978-3-540-88387-6_16MaRDI QIDQ3540074zbMATH OpenOpenAlexFDO

Authors Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons

Publication date 20 November 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88387-6_16

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Implementation relations and test generation for systems with distributed interfaces
• scientific article; zbMATH DE number 2013782
• Overcoming controllability problems in distributed testing from an input output transition system
• Timed implementation relations for the distributed test architecture
• Distributed testing without encountering controllability and observability problems

Cites work

• Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports
• Coordination algorithm for distributed testing
• Formal Approaches to Software Testing
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Formal testing from timed finite state machines
• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Model Checking Software
• Specification, testing and implementation relations for symbolic-probabilistic systems

Cited in

(6)

• Implementation relations and test generation for systems with distributed interfaces
• Overcoming controllability problems in distributed testing from an input output transition system
• Using schedulers to test probabilistic distributed systems
• Timed implementation relations for the distributed test architecture
• Principles of Distributed Systems
• Interaction-based offline runtime verification of distributed systems

This page was built for publication: Controllable Test Cases for the Distributed Test Architecture

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