通信协议一致性测试序列自动生成算法研究

摘要：

在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题.在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点.实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率.

关键词：一致性测试、控制流测试、惟一输入输出序列、可达性分析、有限状态机

所属期刊栏目：28

分类号：TP311.5(计算技术、计算机技术)

资助基金：浙江省自然科学基金M603145;浙江省科技计划2005C21027

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

页数：共4页

页码：2312-2315