协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试.冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题,本文在协议形式化描述模型上使用贪心算法进行测试功能选择,将测试需求转换成测试目的后自动生成测试用例,设计并实现了一个测试系统和一套完整的二次开发接口,并使用该系统对IP协议栈的一些协议进行了测试。
Protocol conformance smoke testing is a prominence function testing during the protocol development process. The protocol smoke testing system should solve the problem of test function selection, test case design, test system implementation and development APIs. This paper selects the test function with greedy algorithm from protocol's formal specification model, generates test cases automatically with the test purpose transferred from the test requirement ,design and implement a test system and a group of APIs, and test part of the IP protocol stack with this system.