|
|||||
|
|
| 面向CPN属性的测试序列的自动生成方法 | |
| 引用本文： | 白红英,叶新铭,王慧.面向CPN属性的测试序列的自动生成方法[J].科技资讯,2015(14). |
| 作者姓名： | 白红英 叶新铭 王慧 |
| 作者单位： | 1. 内蒙古大学鄂尔多斯学院 内蒙古鄂尔多斯 017000 2. 内蒙古大学计算机学院 内蒙古呼和浩特 010021 |
| 摘 要： | CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。 |
| 关 键 词： | CPN属性 测试序列 自动生成 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |