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

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