一种CPN模型驱动的IOCO一致性测试生成方法

摘要：

　　文中将IOCO一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种基于CPN模型的IOCO一致性测试生成新方法。首先,定义了面向一致性测试的CPN模型(Conformance Testing oriented,CT-CPN),描述系统规范说明；定义了基于CT-CPN描述的PN-IOCO一致性关系；之后,构建CT-CPN描述的测试目的模型,基于该模型与描述系统规范说明的CT-CPN模型的同步模拟执行,提出了一种测试目的驱动的IOCO一致性测试生成方法,并证明了所生成测试例的可靠性及其对测试目的的覆盖完备性。基于CT-CPN模型的IOCO一致性测试方法以实际数据驱动测试例的生成,有效保证了所生成测试例的可执行性。文中使用简单资源共享协议例示了上述测试例生成方法的应用过程,说明其可用性与有效性。

关键词： 软件工程 一致性测试 生成方法 同步模拟

作者: Liu Jing 刘靖 Li Ru 李茹 Ye XinMing 叶新铭 Li Jun 李军

作者单位: College of Computer Science, Inner Mongolia University, Hohhot, 010021 内蒙古大学计算机学院 呼和浩特 010021 Institute of Computing Technology, Chinese Academy of Science, Beijing, 100190 中国科学院计算技术研究所 北京 100190

会议类型: 国内会议

会议名称: 第七届中国测试学术会议

会议地点: 杭州

会议语种:中文

页码: 335-343

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