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

Study of communication protocol conformance test sequence generation algorithm

作　　者：魏仰苏[1] 孟兆航[2] 舒挺[2] 

机构地区：[1]浙江水利水电专科学校计算机系,浙江杭州310018 [2]浙江理工大学计算机应用研究所,浙江杭州310018

出　　处：《计算机工程与设计》2007年第10期2312-2315,共4页Computer Engineering and Design

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

摘　　要：在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。In the field of communication protocol conformance test, automatically generating conformance test sequences satisfying the test need is a critical issue at all times. After studying and comparing two UIO-based communication protocol test sequence generation algorithms, the analysis of test sequence generation procedures and merits of both algorithms is given. According to the experimental results, combing both test sequence generation algorithms, the control part of the communication protocol is tested completely and the test sequences generated have higher fault coverage of tests so that the efficiency of conformance test is advanced.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]