[1]朱国冉,李怀忠. UML活动图到有色Petri网映射方法的研究[J].计算机技术与发展,2015,25(11):71-75.
　ZHU Guo-ran,LI Huai-zhong. Research on Mapping Method from UML Activity Diagram to Petri Nets[J].,2015,25(11):71-75.
点击复制

 UML活动图到有色Petri网映射方法的研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
25
期数:
2015年11期
页码:
71-75
栏目:
智能、算法、系统工程
出版日期:
2015-11-10

文章信息/Info

Title:
 Research on Mapping Method from UML Activity Diagram to Petri Nets
文章编号:
1673-629X（2015)11-0071-05
作者:
 朱国冉; 李怀忠
 温州大学 物理与电子信息工程学院
Author(s):
 ZHU Guo-ran; LI Huai-zhong
关键词:
 ; 软件测试; 转换; 活动图; CPN
Keywords:
 ; software testing; transformation; activity diagram; Coloured Petri Nets
分类号:
TP301
文献标志码:
A
摘要:
 软件测试是质量保证和故障检测最常用的方法.然而,它也是软件开发生命周期中最昂贵的和耗时的活动.基于代码的和基于规则说明的软件测试已经持续了近四十年.基于模型的测试是软件测试的新方法,其中软件模型被用于产生测试用例.模型是系统的简化表示,模型执行的成本比原始系统更低廉.因此,模型长期以来一直用于系统验证和确认.UML(Unified Modeling Language)是软件系统分析和设计的众所周知的标准.UML模型可以被分成结构模型和行为模型.活动图是一种行为模型,自从UML 2.x版本发布以来,活动图增添一些新的语义.它有广泛的应用范围,包括嵌入式系统、工作流和网站服务系统.文中专注于研究活动图模型.活动图的非形式化语义对于开发UML检验和确认工具是一个重大挑战.文中的主要研究目标是将UML模型用于测试.重点在两个方面:将活动图模型转换成CPN(Coloured Petri Nets)模型,评估转换方法的正确性.为此,提出一个三步的转换方法,解决了活动图的语义模糊问题,转换后用CPN表示.CPN是众所周知的形式化语言,并且它有广泛的工具支持.
Abstract:
 Software testing is the most commonly used method for quality assurance and fault diagnosis. However,it is also the most costly and time-consuming activity in the software development life cycle. Testing based on the code and specification has lasted for nearly forty years. Model-Based Testing (MBT) is a relatively new method. The software model is used as the primary source of test cases. Models are simplified representation of the system. Cost of model execution is cheaper than the original system. Therefore,the model has long been used for system verification and validation. UML is a known standard for software system analysis and design. It can be divided into structure models and behavior models. Activity diagram is a kind of behavior models,since release the UML 2. x,the activity diagram has got some new semantics. It has wide application range,including embedded systems,workflow systems and web services. In this paper,fo-cus on the research of activity graph model. Informal semantic of activity diagram makes it difficult to develop verification and validation tools. The main research goal is to use Unified Modeling Language (UML) models for testing. It focuses on two aspects:transformation of the activity graph model into colored Petri net model,evaluating the correctness of the conversion method. Overall,propose a three-step conversion method which solves the ambiguities in an activity diagram model. The method transforms the activity diagram model to the Colored Petri Net (CPN) model. CPN is known as the formal language,and it has a wide range of tool support.

相似文献/References:

[1]张磊 王晓军.基于遗传算法的业务流程测试[J].计算机技术与发展,2010,(03):155.
　ZHANG Lei,WANG Xiao-jun.Test of Business Process Based on Genetic Algorithm[J].,2010,(11):155.
[2]樊玮 朱贺.软件结构化测试用例自动生成方法[J].计算机技术与发展,2010,(05):26.
　FAN Wei,ZHU He.Summary of Method for Software Structured Testing Case Automatic Generation[J].,2010,(11):26.
[3]高莉 李龙澍.基于UML状态图的测试技术研究[J].计算机技术与发展,2009,(05):68.
　GAO Li,LI Long-shu.A Survey about UML Statechart Testing[J].,2009,(11):68.
[4]徐金宝 解芳 吴美红 李升.轻量级Java EE框架下软件测试的应用研究[J].计算机技术与发展,2009,(09):115.
　XU Jin-bao,XIE Fang,WU Mei-hong,et al.Research on Software Testing in Light - Weight Java EE Framework[J].,2009,(11):115.
[5]孙淑香 侯秀萍 蔡文涛.基于树型模型的黑盒测试用例自动生成[J].计算机技术与发展,2009,(02):77.
　SUN Shu-xiang,HOU Xiu-ping,CAI Wen-tao.Black- Box Testing Case Automatic Generation Based on Tree Model[J].,2009,(11):77.
[6]马菁 顾景文.决策树在软件测试用例生成中的应用[J].计算机技术与发展,2008,(02):66.
　MA Jing,GU Jing-wen.Application of Decision Tree on Software Test Case Generation[J].,2008,(11):66.
[7]张磊磊 李心科.基于API和Postscript的图形自动化验证方法[J].计算机技术与发展,2008,(05):94.
　ZHANG Lei-lei,LI Xin-ke.Research on Graphical Automated Verification Method Based on API and Postscript[J].,2008,(11):94.
[8]万松松 薛锦云 谢武平.最小测试用例集生成方法改进及应用[J].计算机技术与发展,2008,(10):181.
　WAN Song-song,XUE Jin-yun,XIE Wu-ping.Improvement and Application of Minimal Test Suite Generation Technology[J].,2008,(11):181.
[9]邓璐娟 卢华琦 孙义坤 刁海港.改进的粒子群算法在测试数据生成中的应用[J].计算机技术与发展,2010,(07):216.
　DENG Lu-juan,LU Hua-qi,SUN Yi-kun,et al.Improved Adaptive PSO Application on Automatic Test Data Generation[J].,2010,(11):216.
[10]赵荣利 崔志明 陈建明.面向对象软件测试技术的研究与应用[J].计算机技术与发展,2007,(01):15.
　ZHAO Rong-li,CUI Zhi-ming,CHEN Jian-ming.Research and Application on Object- Oriented Software Testing[J].,2007,(11):15.
[11]孙黎[][],张涛[],周珊[]. 基于ATE的FPGA软件自动化测试技术的研究[J].计算机技术与发展,2014,24(08):6.
　SUN Li[][],ZHANG Tao[],ZHOU Shan]. Research on Software Automation Testing Technology of FPGA Based on ATE[J].,2014,24(11):6.
[12]贾冀婷. 基于K均值PSOABC的测试用例自动生成方法[J].计算机技术与发展,2015,25(06):12.
　JIA Ji-ting. Automatic Testcase Generation Method Based on PSOABC and K-means Clustering Algorithm[J].,2015,25(11):12.
[13]赵伟. 代码规则检查工具评析[J].计算机技术与发展,2015,25(07):193.
　ZHAO Wei. Evaluation and Analysis of Code Inspection Tools[J].,2015,25(11):193.
[14]刘冬[][],靳蓓蓓[],阙向红[]. 基于一种遗传算法的最小测试用例集自动生成[J].计算机技术与发展,2016,26(04):86.
　LIU Dong[][],JIN Bei-bei[],QUE Xiang-hong[]. Automatic Generation of Minimal Test Set Based on a Genetic Algorithm[J].,2016,26(11):86.
[15]姜文,刘立康. 软件调试问题研究[J].计算机技术与发展,2017,27(11):1.
　JIANG Wen,LIU Li-kang. Research on Software Debugging[J].,2017,27(11):1.

更新日期/Last Update: 2016-01-05