一种基于UML模型的软件Markov链使用模型生成方法

摘要：

软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试.在软件可靠性测试的工程实践中,需要解决的问题是,如何确定系统的操作剖面、如何获得软件的使用模型.把UML模型信息用于软件使用模型的构造是近年来软件可靠性测试技术研究的一个热点内容.本文讨论了从加入统计测试约束的软件UML模型构造软件Markov链使用模型的方法,并给出了相应的完整算法.最后以一个卫星控制系统的嵌入式控制软件为例,说明了算法的有效性.

关键词： 统计测试 软件可靠性 UML模型 Markov链使用模型

作者: 秦静 徐锡山

作者单位: 国防科学技术大学计算机学院602室,长沙,410073

会议类型: 国内会议

会议名称: 第四届中国测试学术会议

会议地点: 北戴河

会议语种:中文

页码: 342-349

在线出版日期: 2006-08-07（万方平台首次上网日期，不代表论文的发表时间）