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

2003 年8 月 通 信 学 报 Vol.24 No.8 第24 卷 第8 期 JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS August 2003 技术报告 利用半可控接口进行通信协议一致性测试 吴慧萍 屈玉贵 赵保华 中国科学技术大学 电子工程与信息科学系 安徽 合肥 230027 摘 要 介绍了一种基于半可控接口的图转换算法 并应用于某通信产品的H.245 协议一致性测 试中 不仅增加了可测试转换的数目 还使得变换后的 EFSM 可以直接应用传统的测试序列生 成方法产生最优的测试序列 错误覆盖率和测试效率都得到了显著的提高 1 关键词 一致性测试 嵌入协议测试 半可控接口 扩展的有限状态机 中图分类号 TN915.04 文献标识码 B 文章编号 1000-436X(2003)08-0072-06 Conformance testing of communication protocol with semi- controllable interfaces WU Hui-ping , QU Yu-gui, ZHAO Bao-hua (Department of Electronic Engineering and Information Science, University of Science and Technology of China, Hefei 230027, China) Abstract: 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. Key words: conformance testing; embedded testing; semi-controllable interface; EFSM 1 前言 通信协议的一致性测试 就是检查待测实体 IUT 的收发行为是否与有关的协议规范相 一致 [1] 其目的是为了提高不同的开放系统实现在网络中的互联性能 因此 快速 高效地 收稿日期 2002-08-06 修订日期 2003-03-08 基金项目 自然科学基金重大研究计划项目 自然科学基金科学部主任基金资助项目 教育部博士点基金资助项目 20000358