论文部分内容阅读
构建软件的使用模型是进行软件可靠性测试及软斜：可靠性评估的基础．近年来，如何由软件的UML模型构造软件的使用模型成为研究热点．对于大型的软件系统来说，应用现有方法构建的软件Markov链使用模型的状态空间过于庞大，模型描述困难，不利于测试用例的自动生成及软件可靠性评估．针对以上问题，提出了一种由UML模型构建Markov链使用模型的方法．该方法将场景的前置条件和后置条件作为Markov链使用模型的状态，将场景的执行及执行概率作为状态之间的转移及转移概率．与现有方法相比，新方法构建的Markov链使用模型的