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

摘要：

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

关键词：一致性测试、嵌入协议测试、半可控接口、扩展的有限状态机

所属期刊栏目：24

分类号：TN915.04

资助基金：国家自然科学基金90104010;国家自然科学基金60241004;高等学校博士学科点专项科研项目2000035802;安徽省自然科学基金01042208;国家高技术研究发展计划863计划2001AA112062,2001AA121016;中国科学院院长基金院基计字905号

在线出版日期：2004-01-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：72-77