A DFSM-based protocol conformance testing and diagnosing method

MaRDI QIDQ4917437zbMATH OpenFDO

Authors Xinchang Zhang, Meihong Yang, Guanggang Geng, Wanming Luo

Publication date 30 April 2013

zbMATH Keywords

DFSM modelfault detectionfault diagnosisprotocol conformance testing

Mathematics Subject Classification ID

Network protocols (68M12) Reliability, testing and fault tolerance of networks and computer systems (68M15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 2013785
• scientific article; zbMATH DE number 2013787
• A fault-detection approach to the conformance testing of nondeterministic systems
• Passive testing and fault diagnosis for communication finite state machines

Cited in

(1)

• Protocol conformance through refinement mappings in cadence SMV

This page was built for publication: A DFSM-based protocol conformance testing and diagnosing method

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