[发明专利]测试案例构建方法及装置、测试设备

权利要求书

1.一种测试案例补充方法，其特征在于，包括：

从测试案例表中提取测试点并生成与所述测试点对应的初始命题集；

从预设推理定律库中查找适合所述初始命题集的推理定律集；

利用所述推理定律集对所述初始命题集中的初始命题进行推理操作，获得一个或多个推理命题；

补充所述一个或多个推理命题至所述初始命题集中。

2.如权利要求1所述的方法，其特征在于，所述从测试案例表中提取测试点并生成与所述测试点对应的初始命题集包括：

从所述测试案例表中获取测试点；其中所述测试点包括多组测试数据，一组测试数据包括一组测试条件、该组测试条件中各个测试条件之间的连接关系，和，该组测试条件的测试结果；

对于每组测试数据：确定与该组测试条件中各个测试条件之间的连接关系对应的计算操作，利用所述计算操作连接该组测试条件中各个测试条件获得测试输入，将所述测试输入推导出所述测试结果的命题，确定为与该组测试数据对应的初始命题；

将多组测试数据对应的初始命题，组成所述初始命题集。

3.如权利要求1所述的方法，其特征在于，所述初始命题集中一个或多个初始命题之间的具有组合关系；则所述从预设推理定律库中查找适合所述初始命题集的推理定律集，包括：

针对每个组合关系：从预设推理定律库中查找与该组合关系对应的一个或多个推理定律，一个或多个推理定律组成该组合关系对应的推理定律集。

4.如权利要求3所述的方法，其特征在于，所述利用所述推理定律集对所述初始命题集中的初始命题进行推理操作，获得一个或多个推理命题包括：

对于一组合关系对应的推理定律集中各个推理定律：

确定该组合关系对应的至少一个初始命题；

对于所述至少一个初始命题的测试输入按该推理定律的输入执行组合操作，将至少一个初始命题的测试输出按该推理定律的输出执行组合操作；

将组合输入和组合结果作为一个推理命题。

5.如权利要求1所述的方法，其特征在于，所述补充所述一个或多个推理命题至所述初始命题集中包括：

判断所述初始命题集是否存在所述推理命题；

若存在则不添加所述推理命题；

若不存在则添加所述推理命题。

6.一种测试案例补充装置，其特征在于，包括：

生成单元，用于从测试案例表中提取测试点并生成与所述测试点对应的初始命题集；

查找单元，用于从预设推理定律库中查找适合所述初始命题集的推理定律集；

推理单元，用于利用所述推理定律集对所述初始命题集中的初始命题进行推理操作，获得一个或多个推理命题；

补充单元，用于补充所述一个或多个推理命题至所述初始命题集中。

7.如权利要求6所述的装置，其特征在于，所述生成单元包括：

获取单元，用于从所述测试案例表中获取测试点；其中所述测试点包括多组测试数据，一组测试数据包括一组测试条件、该组测试条件中各个测试条件之间的连接关系，和，该组测试条件的测试结果；

确定命题单元，用于对于每组测试数据：确定与该组测试条件中各个测试条件之间的连接关系对应的计算操作，利用所述计算操作连接该组测试条件中各个测试条件获得测试输入，将所述测试输入推导出所述测试结果的命题，确定为与该组测试数据对应的初始命题；

组成单元，用于将多组测试数据对应的初始命题，组成所述初始命题集。

8.如权利要求6所述的装置，其特征在于，所述初始命题集中一个或多个初始命题之间的具有组合关系；则所述查找单元包括：

针对每个组合关系：从预设推理定律库中查找与该组合关系对应的一个或多个推理定律，一个或多个推理定律组成该组合关系对应的推理定律集。