基于通信多端口有限状态机的协议互操作性测试生成研究

协议测试是一种保证网络通信协议实现质量的重要技术，互操作性测试是一类常用的协议测试技术．文章提出了一种基于通信多端口有限状态机模型的协议互操作忡测试生成方法．首先采用已有的基于可达性分析的方法生成集中式测试序列；然后采用单一错误模型对其进行系统的错误覆盖分析，为达到更高的错误覆盖度，进一步提出一种增强的测试生成算法；最后讨论了互操作性测试巾的控制观察问题，选择适当的分布式测试架构，并进而生成分布式同步测试序列．实验结果表明：与原有方法相比，该方法可以有效地提高测试集的错误覆盖，并具备一定的可行性和有效性．

Protocol Interoperability Test Generation Based on Communicating Multi-Port FSMs

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 teachability 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 synehronizable 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.