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