题目：软件系统测试组合用例生成方法研究

软件系统测试是软件测试中的重要阶段，该阶段是将软件放入真实或者仿真环境中运行，主要发现软件实际运行情况与软件需求规格说明或用户隐含需求不相符的地方。因此软件需求规格说明是软件测试的依据。由于软件系统测试最基本的是功能测试，而功能组合起来进行测试既可以发现单个功能测试无法发现的问题，又可以连续测试多个单一功能，提高了测试效率。但目前关于这种组合用例没有系统的依据和方法。实际测试中往往是测试人员根据自己的经验和知识进行随意组合，测试的结果和测试人员的知识经验密切相关。因此本文在理论分析的基础上结合工程经验以及被测软件的特点分别给出了基于UML活动图和状态图的组合用例生成方法。首先借用有向图的概念定义了测试有向图、有向完全图以及有向图补图等概念。借此阐述了组合用例生成的思想。为了能够解决实际生成中的组合爆炸问题，后面分别给出了基于具体需求描述方法的组合用例生成方法及其组合覆盖准则。基于UML活动图的方法中，首先给出了生成系统测试活动图的方法，然后提出了组合覆盖策略，根据覆盖策略生成正常异常和边界组合用例；提出了测试子场景和状态序列的概念；定义了基于系统测试活动图的正常组合用例异常组合用例和边界组合用例；并采用泳道解决软件并发问题；最后根据提供的生成方法进行了实例应用。基于UML状态图的方法中，首先给出了生成系统测试状态图的方法；然后定义了基于系统测试状态图的正常组合用例，边界组合用例和异常组合用例概念；提出了分子状态和原子状态概念及其关系；然后提出覆盖策略生成测试序列，接着根据测试序列依据组合覆盖策略生成测试用例；最后根据提供的方法进行了实例应用。