| 基于UML的CPN模型在软件测试中的应用 |
| |
| 引用本文： | 刘烁,陈俊杰.基于UML的CPN模型在软件测试中的应用[J].计算机工程,2008,34(3):119-121. |
| |
| 作者姓名： | 刘烁 陈俊杰 |
| |
| 作者单位： | 太原理工大学计算机与软件学院,太原,030024 |
| |
| 摘 要： | UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型，往往无法自动生成测试用例。将UML模型与Petri网相结合，能够弥补其数学支持的不足。文章给出了基于UML的CPN模型的测试框架和一个从UML模型构造CPN模型的算法，并根据该方法给出了自动化支持工具U2CPN的类图结构。
|
| 关 键 词： | 面向对象软件测试 统一建模语言 着色Petri网 测试用例生成 |
| 文章编号： | 1000-3428（2008）03-0119-03 |
| 收稿时间： | 2007-03-23 |
| 修稿时间： | 2007年3月23日 |
Application of Software Testing Based on CPN Model Derived from UML Modes |
| |
| LIU Shuo,CHEN Jun-jie.Application of Software Testing Based on CPN Model Derived from UML Modes[J].Computer Engineering,2008,34(3):119-121. |
| |
| Authors: | LIU Shuo CHEN Jun-jie |
| |
| Affiliation: | ??College of Computer and Software, Taiyuan University of Technology, Taiyuan 030024?? |
| |
| Abstract: | When Unified Modeling Language(UML) is widely accepted by the industry, it also becomes one kind of standard modeling language which the academic community follows. Many researches on object-oriented software test focus on deriving software models from the UML diagrams. UML offers effective modeling ability, but lacks well-defined semantic base for its notation. Petri nets can provide a formal semantic framework for the UML notations plus the behavioral modeling/analysis strength. This paper presents a method that gets the Colored Petri Nets (CPN) models from the UML diagrams. The method utilizes the state machine diagrams and the sequence diagrams. The framework of the support tool, U2CPN, is also presented. |
| |
| Keywords: | object-oriented software test Unified Modeling Language(UML) colored Petri nets test cases generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
