目前软件工程中的验证与测试技术正不断融合,相互借鉴,共同为提高软件的安全性、可靠性做出努力。验证的模型检测方法可以应用于测......

文中将10CO（Input-0utputConformance）一致性测试理论与着色Petri网（ColoredPetriNets，CPN）进行优势融合，提出一种使用CPN描述测试目的模......