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

摘要

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