Detecting Observability Problems in Distributed Testing

DOI10.1007/11754008_14MaRDI QIDQ3434659zbMATH OpenOpenAlexFDO

Authors J. Chen, Hasan Ural

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11754008_14

zbMATH Keywords

testingcontrollabilityobservabilityfinite state machinedistributed test architecture

Mathematics Subject Classification ID

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

Recommendations

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Checking sequences for distributed test architectures
• Constructing checking sequences for distributed testing
• Distributed testing without encountering controllability and observability problems

Cited in

(7)

• Checking sequences for distributed test architectures
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Distributed testing without encountering controllability and observability problems
• Overcoming controllability problems in distributed testing from an input output transition system
• Measuring testing as a distributed component of the software life cycle
• Constructing checking sequences for distributed testing

This page was built for publication: Detecting Observability Problems in Distributed Testing

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