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

作     者：魏仰苏 孟兆航 舒挺 WEI Yang-su;MENG Zhao-hang;SHU Ting

作者机构：浙江水利水电专科学校计算机系浙江杭州310018 浙江理工大学计算机应用研究所浙江杭州310018 

基　　金：浙江省自然科学基金项目(M603145) 浙江省科技计划基金项目(2005C21027) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2007年第28卷第10期

页      码：2312-2315页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2007.10.021

馆 藏 号：203147015...