基于UML的软件可靠性测试数据生成工具
基于使用模型的统计测试是软件可靠性评估的重要手段,软件使用模型是进行软件可靠性测试的基础.目前由UML模型生成软件的使用模型得到了较多的研究.现有方法生成的使用模型存在状态空间爆炸问题,且不能精确描述软件的使用情况.基于现有方法,本文通过分析UML模型中激励与响应来获取状态生成使用模型,并提出了针对使用模型的状态化简算法,设计实现了基于UML的软件可靠性测试数据生成工具.最后通过一个软件系统实例对该方法进行了实验和分析.
软件工程 可靠性测试 Markov链使用模型 状态化简算法
冯俊池 于磊 李志博
解放军信息工程大学 郑州450001;数学工程与先进计算国家重点实验室 郑州450001
国内会议
武汉
中文
473-479
2014-07-19(万方平台首次上网日期,不代表论文的发表时间)