| 基于着色Petri网测试用例的自动生成 |
| |
| 引用本文： | 任雪利.基于着色Petri网测试用例的自动生成[J].曲靖师范学院学报,2009,28(3). |
| |
| 作者姓名： | 任雪利 |
| |
| 作者单位： | 曲靖师范学院,计算机科学与工程学院,云南,曲靖,655011 |
| |
| 摘 要： | 针对基于UML的面向对象程序设计方法及着色Petri网的特点，提出了一种基于着色Petri网的测试用例生成方法，该方法将UML的时序图描述转化为着色Petri网的形式化描述，通过深度优先遍历着色Petri网找出系统的测试路径，对给出的测试数据采用爬山法进行测试用例的选择，最后，根据路径覆盖的原则产生完整的测试用例．
|
| 关 键 词： | 着色Petri网 统一建模语言 面向对象的测试 |
Test Case Produced Automatically Based on Colored Petri Network |
| |
| Pen Xueli.Test Case Produced Automatically Based on Colored Petri Network[J].Journal of Qujing Normal College,2009,28(3). |
| |
| Authors: | Pen Xueli |
| |
| Affiliation: | College of Computer Science and Engineering;Qujing Normal University;Qujing Yunnan 655011;China |
| |
| Abstract: | |
| |
| Keywords: | colored petri networks unified modeling language object-oriented test |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
