Protocol Interoperability Test Generation Based on Communicating Multi-Port FSMs

Zhi-Liang WANG,Jian-Ping WU,Xia YIN
DOI: https://doi.org/10.3321/j.issn:0254-4164.2006.11.002
2006-01-01
Jisuanji Xuebao/Chinese Journal of Computers
Abstract:Protocol testing is one of the important techniques to ensure the quality of implementations of network communication protocols and interoperability testing is a widely-used protocol testing technique. This paper presents an interoperability test generation method based on the formal model, Communicating Multi-port Finite State Machines. Firstly, centralized test sequence can be generated by using existing reachability analysis approach. Then fault coverage of the resulting test suite is analyzed systematically using single fault models; in order to improve the fault coverage, an enhanced test generation method is presented. Finally, the controllability and observability problems in interoperability testing are discussed; suitable distributed test architecture is selected and a formal algorithm is presented to generate the distributed synchronizable test suite according to the distributed test architecture. The experimental results show that comparing with existing methods, the method in this paper can improve the fault coverage of the resulting test suite and is feasible and effective.
What problem does this paper attempt to address?