面向CPN属性的测试序列的自动生成方法  

作　　者：白红英[1] 叶新铭[2] 王慧[1] 

机构地区：[1]内蒙古大学鄂尔多斯学院,内蒙古鄂尔多斯017000 [2]内蒙古大学计算机学院,内蒙古呼和浩特010021

出　　处：《科技资讯》2015年第14期26-27,共2页Science & Technology Information

摘　　要：CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。

关 键 词：CPN属性 测试序列 自动生成 

分 类 号：G64[文化科学—高等教育学]