pt-cloud是一种基于着色Petri网模型的一致性云测试生成方法，可进一步提高测试生成效率。Petri网模型是1960年德国CarlAdamPetri博士提出的一种图论工具。应用软件是和系统软件相对应的，是用户可以使用的各种程序设计语言...