UML活动图到有色Petri网映射方法的研究

来源：计算机技术与发展杂志2015年第11期北京时间：

作者：朱国冉;李怀忠

摘要：软件测试是质量保证和故障检测最常用的方法.然而,它也是软件开发生命周期中最昂贵的和耗时的活动.基于代码的和基于规则说明的软件测试已经持续了近四十年.基于模型的测试是软件测试的新方法,其中软件模型被用于产生测试用例.模型是系统的简化表示,模型执行的成本比原始系统更低廉.因此,模型长期以来一直用于系统验证和确认.UML(Unified Modeling Language)是软件系统分析和设计的众所周知的标准.UML模型可以被分成结构模型和行为模型.活动图是一种行为模型,自从UML 2.x版本发布以来,活动图增添一些新的语义.它有广泛的应用范围,包括嵌入式系统、工作流和网站服务系统.文中专注于研究活动图模型.活动图的非形式化语义对于开发UML检验和确认工具是一个重大挑战.文中的主要研究目标是将UML模型用于测试.重点在两个方面:将活动图模型转换成CPN(Coloured Petri Nets)模型,评估转换方法的正确性.为此,提出一个三步的转换方法,解决了活动图的语义模糊问题,转换后用CPN表示.CPN是众所周知的形式化语言,并且它有广泛的工具支持.

关键词：软件测试;转换;活动图;CPN