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

• 作者: 朱国冉 李怀忠
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 软件测试 转换 活动图 CPN
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 71-75
• 页数: 5页
• 分类号: TP301
• 字数: 3484字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2015.11.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李怀忠	温州大学物理与电子信息工程学院	6	46	3.0	6.0
2	朱国冉	温州大学物理与电子信息工程学院	1	3	1.0	1.0