一种基于UML顺序图生成测试数据的方法

摘要

软件测试是保障软件质量的重要手段。随着基于UML软件测试的普及，基于UML顺序图生成测试数据，可以在系统开发早期就设计集成测试阶段的测试用例，提高测试效率；并且是基于UML顺序图的集成测试能够进行并发挥作用的关键。随着UML2.0标准的提出，现有的基于UML顺序图的测试方法不能完全适用，本文对UML2.0顺序图进行研究，结合面向路径的测试数据生成，提出一种基于UML顺序图生成测试数据的方法。 本文首先对顺序图进行控制流分析，基于UML2.0活动图元模型定义了能够表达UML2.0顺序图控制流特点的UML顺序图控制流模型：SDCFG图，给出从顺序图到SDCFG图的转换规则。 然后，结合OCL约束扩充SDCFG图，定义了集成顺序图和类图信息的模型：CIG图，给出构建CIG图的规则。通过遍历CIG图生成的CIG路径，一方面对应了对象间的交互过程；另一方面包含了交互过程中的对象约束。在此基础上对CIG路径生成测试约束，并讨论了如何去除由OCL导航机制产生的冗余约束。 最后，将测试约束分为固定约束和可变约束两部分，结合OCL表达式的语义对固定约束求解，使用约束求解方法和边界值分析求解可变约束，组合固定约束和可变约束的解生成测试数据。 生成测试数据的过程中，以ATM系统中用户取款为例，说明了基于UML顺序图的测试数据生成方法的可行性。