基于uml的软件markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称uml)已经成为事实上的面向对象标准建模语言,因此,从软件uml模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的uml用例图、序列图以及用例执行顺序关系,为基于uml的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件uml模型构造软件markov链使用模型的算法,并给出了自动化支持工具umgen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.