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