[发明专利]一种基于参数抽象建模的组合测试用例生成方法

权利要求书

1.一种基于参数抽象建模的组合测试用例生成方法，其特征在于，包括如下步骤：

步骤1，通过分析程序对象规格，识别各种可能影响程序行为的因素，从而定义抽象参数，赋予其抽象含义和抽象值，初步构建参数抽象模型；另外通过共同特征去除抽象参数冗余，利用边界值法保障抽象值完整性来优化抽象模型；

步骤2，根据参数之间的关联关系、覆盖强度和语义正确性等标准来定义关系和约束，然后依赖约束之间的关联关系以及约束条件与约束对象之间的关联关系对约束条件约简，最后完成抽象模型的构建；

步骤3，根据抽象模型设置合理的组合因素，利用PICT组合测试工具生成抽象测试用例，然后将抽象测试用例根据相关规则转换为具体测试用例，进而测试程序对象。

2.根据权利要求1所述的一种基于参数抽象建模的组合测试用例生成方法，其特征在于，所述步骤1的具体实现包括如下步骤：

步骤1.1，分析程序对象规范，根据可能影响程序行为的多个方面，识别可代表程序行为因素的候选抽象参数，构成候选抽象参数集，同时根据其代表的程序行为定义抽象含义；接着，使用等价划分法为候选抽象参数集中的所有参数取值，至此，初步确定了构建抽象模型的抽象参数；

步骤1.2，判断由步骤1.1找到的抽象参数之间是否具有共同特征，若有则将共同特征提取出来作为一个抽象参数，然后判断去除共同特征的抽象参数是否与其他抽象参数重复，若重复则删除冗余抽象参数；

步骤1.3，采用边界值法进一步保障抽象参数取值的完整性，避免取值不完整造成测试不全面的问题；至此，步骤1.2和步骤1.3是对参数抽象模型的第一次优化。

3.根据权利要求1所述的一种基于参数抽象建模的组合测试用例生成方法，其特征在于，所述步骤2的具体实现包括如下步骤：

步骤2.1，由步骤1中对构建的参数抽象模型进行分析可知参数之间的关联关系，考虑是否源于同一个输入参数，以及不同参数组合的不同覆盖强度，根据关联关系和覆盖强度为抽象模型定义关系；

步骤2.2，抽象参数对应的具体测试用例需要满足一定的语义要求，假如两个抽象参数只能有一个取零值，据此可为抽象模型定义相关约束，另外，考虑到约束还可用于帮助测试的有效对比，假如代表打印输出的抽象参数必须执行且只能在最后执行，进一步完善约束条件；

步骤2.3，观察约束条件之间的关联关系和约束条件与约束对象之间的关系，若存在几个约束条件均相关联且都针对一个约束对象进行设计的情况，可将该约束对象转换为一个新的抽象参数，赋予抽象值、抽象含义，删除牵涉的约束条件，同时去除冗余抽象参数，实现了抽象模型的第二次优化，完成了抽象模型的构建。

4.根据权利要求1所述的一种基于参数抽象建模的组合测试用例生成方法，其特征在于，所述步骤3的具体实现包括如下步骤：

步骤3.1，根据抽象模型设置合理的组合因素，利用PICT组合测试工具生成抽象测试用例；

步骤3.2，判断抽象参数的分类，抽象参数可分为两类，第一类即：可与具体取值一一映射的抽象参数，也就是说，该类抽象参数代表的影响程序的行为因素与具体取值中的任何值相互等价；第二类即：无法与具体取值一一映射的抽象参数，需要根据其抽象含义(比如出现次数、出现位置等)在对应的具体测试用例的生成中进行体现；

步骤3.3，将抽象测试用转换为具体测试用例。针对第一类抽象参数，用对应具体取值中的任一值代表抽象参数；针对第二类抽象参数，根据其抽象含义在转换中具体实现，根据以上两种对策，生成具体测试用例。