Passive testing and fault diagnosis for communication finite state machines

MaRDI QIDQ3536969zbMATH OpenFDO

Authors Bao-Hua Zhao, Wei Zhang, Huahui Lin, Peilong Li

Publication date 24 November 2008

zbMATH Keywords

communication finite state machinefault locationpassive testing

Mathematics Subject Classification ID

Detection theory in information and communication theory (94A13)

Recommendations

• Correct passive testing algorithms and complete fault coverage
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 2013785
• scientific article; zbMATH DE number 2013787
• Compositional Testing of Communication Systems

Cited in

(4)

• scientific article; zbMATH DE number 2013785 (Why is no real title available?)
• A DFSM-based protocol conformance testing and diagnosing method
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Correct passive testing algorithms and complete fault coverage

This page was built for publication: Passive testing and fault diagnosis for communication finite state machines

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