Protocol Interoperability Test Generation Based on Communicating Multi-Port FSMs
Zhi Wang, Jian Feng Wu, Xia Yin · Chinese Journal of Computers · 2006
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 Multiport 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.