论文部分内容阅读
文中将10CO（Input-0utputConformance）一致性测试理论与着色Petri网（ColoredPetriNets，CPN）进行优势融合，提出一种使用CPN描述测试目的模型并驱动IOCO一致性测试选择的新方法，称为PN4TS方法．PN4TS方法首先定义了面向一致性测试的CPN模型（ConformanceTestingorientedCPN，CT-CPN），描述软件系统的功能行为；定义了基于CT-CPN描述的PN-IOCO一致性关系；之后，构建CT-CPN描述的测试目的模型，并将该模型与描述