一种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一致性测试方法以实际数据驱动测试例的生成,有效保证了所生成测试例的可执行性.文中使用简单资源共享协议例示了上述测试例生成方法的应用过程,说明其可用性与有效性.