利用半可控接口进行通信协议一致性测试

Conformance testing of communication protocol with semi-controllable interfaces

介绍了一种基于半可控接口的图转换算法,并应用于某通信产品的H.245协议一致性测试中,不仅增加了可测试转换的数目,还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列,错误覆盖率和测试效率都得到了显著的提高。

This paper introduces a graph conversion algorithm considering the semi -controllable interfaces and application in conformance testing for H.245 protocol for some communication product. It remarkably increases the number of testable transitions,but also makes conventional methods of test sequence generation in conformance testing available for the converted EFSM (extended finite state machine). The fault coverage and the test efficiency are increased consequently.