文献类型：期刊文章

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

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

出　　处：《计算机工程与设计》

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

年　　份：2007

卷　　号：28

期　　号：10

起止页码：2312-2315

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

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

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

分 类 号：TP311.5]