基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．

UML Based Hybrid Model for Generation of Software Reliability Test Cases

In order to produce reliability test cases for real-time control software, a hybrid model based on UML is presented by analyzing the operational profile model and Markov chain model. The use-cases are defined by using operational profile model with imbedded state-graph to describe its dynamic characteristics. The usage graphs can be obtained by flattened state diagrams, and the usage model denoted by Markov chains is obtained according to certain transfer probability. The use-cases defined by operational profile model combine with Markov chain state transfer model to generate software reliability test cases. The reliability test of radar beam control software shows that the frame of test case set generated by the proposed model in each test period is stabler and few repeated case occurs. This model has the advantages that the operational profile model and Markov chain model possess, and is applicable for developing reliability test cases for real-time control software.