CAJ | 학술논문

软件测试是质量保证和故障检测最常用的方法.然而,它也是软件开发生命周期中最昂贵的和耗时的活动.基于代码的和基于规则说明的软件测试已经持续了近四十年.基于模型的测试是软件测试的新方法,其中软件模型被用于产生测试用例.模型是系统的简化表示,模型执行的成本比原始系统更低廉.因此,模型长期以来一直用于系统验证和确认.UML(Unified Modeling Language)是软件系统分析和设计的众所周知的标准.UML模型可以被分成结构模型和行为模型.活动图是一种行为模型,自从UML 2.x版本发布以来,活动图增添一些新的语义.它有广泛的应用范围,包括嵌入式系统、工作流和网站服务系统.文中专注于研究活动图模型.活动图的非形式化语义对于开发UML检验和确认工具是一个重大挑战.文中的主要研究目标是将UML模型用于测试.重点在两个方面:将活动图模型转换成CPN(Coloured Petri Nets)模型,评估转换方法的正确性.为此,提出一个三步的转换方法,解决了活动图的语义模糊问题,转换后用CPN表示.CPN是众所周知的形式化语言,并且它有广泛的工具支持.
연건측시시질량보증화고장검측최상용적방법.연이,타야시연건개발생명주기중최앙귀적화모시적활동.기우대마적화기우규칙설명적연건측시이경지속료근사십년.기우모형적측시시연건측시적신방법,기중연건모형피용우산생측시용례.모형시계통적간화표시,모형집행적성본비원시계통경저렴.인차,모형장기이래일직용우계통험증화학인.UML(Unified Modeling Language)시연건계통분석화설계적음소주지적표준.UML모형가이피분성결구모형화행위모형.활동도시일충행위모형,자종UML 2.x판본발포이래,활동도증첨일사신적어의.타유엄범적응용범위,포괄감입식계통、공작류화망참복무계통.문중전주우연구활동도모형.활동도적비형식화어의대우개발UML검험화학인공구시일개중대도전.문중적주요연구목표시장UML모형용우측시.중점재량개방면:장활동도모형전환성CPN(Coloured Petri Nets)모형,평고전환방법적정학성.위차,제출일개삼보적전환방법,해결료활동도적어의모호문제,전환후용CPN표시.CPN시음소주지적형식화어언,병차타유엄범적공구지지.
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.