摘要： UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型，往往无法自动生成测试用例。将UML模型与Petri网相结合，能够弥补其数学支持的不足。文章给出了基于UML的CPN模型的测试框架和一个从UML模型构造CPN模型的算法，并根据该方法给出了自动化支持工具U2CPN的类图结构。

关键词: 面向对象软件测试, 统一建模语言, 着色Petri网, 测试用例生成

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.

Key words: object-oriented software test, Unified Modeling Language(UML), colored Petri nets, test cases generation

中图分类号: 

• TP311.5