Fault Diagnosis of a Protocol Implementation Specified in a System of Communicating Finite-State Machines

Authors

Qi-Ping Yang, Shanghai Research Center for Wireless Communications, ChinaFollow
Tae-Hyong Kim, Kumoh National Institute of Technology, Republic of KoreaFollow

Author Country (or Countries)

Republic of Korea

Abstract

Since testing is an important but expensive process in the protocol development, formal specification models like FiniteState Machines (FSMs) are used to automate testing process. This paper focuses on specifications in a system of communicating FSMs (SCFSM) for protocols with multiple components, and explores fault diagnosis of protocol implementations based on such specifications. The target implementation is first examined with test cases generated by our test generation method. For the implementation which turns out to have a fault, we propose a heuristic algorithm to isolate and locate the fault in the specification. We also presents the assumptions and conditions required for exact fault localization of an SCFSM. Additionally, an adaptive method is proposed to minimize the fault candidates with the given test cases. The proposed method is evaluated with case studies and complexity analysis, and also software tool development in Java.

Digital Object Identifier (DOI)

http://dx.doi.org/10.18576/amis/130212

Recommended Citation

Yang, Qi-Ping and Kim, Tae-Hyong (2019) "Fault Diagnosis of a Protocol Implementation Specified in a System of Communicating Finite-State Machines," Applied Mathematics & Information Sciences: Vol. 13: Iss. 2, Article 12.
DOI: http://dx.doi.org/10.18576/amis/130212
Available at: https://digitalcommons.aaru.edu.jo/amis/vol13/iss2/12