基于UML的软件Markov链使用模型构造研究  

Deriving Software Markov Chain Usage Model from UML Models

作　　者：颜炯[1] 王戟[1] 陈火旺[1] 

机构地区：[1]国防科学技术大学计算机学院,湖南长沙410073

出　　处：《软件学报》2005年第8期1386-1394,共9页Journal of Software

基　　金：Nos.90104007;60233020国家自然科学基金;Nos.2001AA113202;2001AA113190国家高技术研究发展计划(863);No.71064霍英东教育基金;新世纪优秀人才支持计划~~

摘　　要：软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.Software statistical testing is concerned with testing software systems based on their usage models. In the context of UML（unified modeling language）-based development, it is desired that the usage models can be derived from the UML analysis artifacts. This paper presents a method that derives the software Markov chain usage models from the reasonably annotated UML artifacts. The method utilizes the annotated use case diagrams,the annotated sequence diagrams, and the use case execution sequence relations. These annotations and the use case execution sequence relations are called statistical testing constraints. The method presents an algorithm that derives the Markov chain usage models from the UML artifacts and the statistical testing constraints. The framework of the support tool, UMGen, is also presented. The usage models can be used to generate software statistical test cases and estimate the software reliability.

关 键 词：统一建模语言 统计测试 MARKOV链使用模型 软件可靠性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]