[发明专利]一种似然蜕变关系构造方法

权利要求书

1.一种似然蜕变关系构造方法，其特征在于，包括：

将目标程序的输入数据作向量的笛卡尔乘积，获得输入集合；其中，所述输入数据为所述目标程序成功测试用例中的输入数据；

在预设输入关系库中查找与所述输入集合匹配的输入关系；

在所述输入集合中确定出满足所述输入关系的输入子集，并在所述目标程序的输出数据中确定出所述输入子集对应的输出子集；其中，所述输出数据为所述目标程序成功测试用例中的输出数据；

在预设输出关系库中查找与所述输出子集匹配的输出关系；

将所述输入关系与所述输出关系之间的对应关系确定为所述目标程序的似然蜕变关系；

其中，所述在预设输入关系库中查找与所述输入集合匹配的输入关系，包括：

对所述预设输入关系库进行查找，直到找到符合所述输入集合中的预设数目的元素均对应的输入关系，并将所述输入关系确定为所述输入集合匹配的输入关系；

或，遍历所述预设输入关系库，对每一个预设输入关系符合的所述输入集合中的元素数目进行标注；

将标注的元素数目最大的输入关系确定为所述输入集合匹配的输入关系；

其中，所述在预设输出关系库中查找与所述输出子集匹配的输出关系，包括：

在预设输出关系库中查找，并将满足所述输出子集中的所有元素的输出关系确定为所述输出子集匹配的输出关系；

和/或，当遍历所述预设输出关系库之后，未找到与所述输出子集匹配的输出关系时，重复执行所述在预设输入关系库查找与所述输入集合匹配的输入关系的步骤；

其中，在将所述输入关系与所述输出关系之间的对应关系确定为所述目标程序的似然蜕变关系之后，还包括：

对所述似然蜕变关系进行修正。

2.根据权利要求1所述的似然蜕变关系构造方法，其特征在于，在所述将目标程序的测试数据中的输入数据作向量的笛卡尔乘积，获得输入集合之前，还包括：

创建基本形式库和测试数据库；其中，所述测试数据库中存储了目标程序成功测试获得的测试用例数据，所述基本形式库包括输入关系库和输出关系库。

3.一种似然蜕变关系构造装置，其特征在于，包括：

输入集合确定模块，用于将目标程序的输入数据作向量的笛卡尔乘积，获得输入集合；其中，所述输入数据为所述目标程序成功测试用例中的输入数据；

输入关系确定模块，用于在预设输入关系库中查找与所述输入集合匹配的输入关系；

输出子集确定模块，用于在所述输入集合中确定出满足所述输入关系的输入子集，并在所述目标程序的输出数据中确定出所述输入子集对应的输出子集；

输出关系确定模块，用于在所述输入集合中确定出满足所述输入关系的输入子集，并在所述目标程序的输出数据中确定出所述输入子集对应的输出子集；其中，所述输出数据为所述目标程序成功测试用例中的输出数据；

似然蜕变关系确定模块，用于将所述输入关系与所述输出关系之间的对应关系确定为所述目标程序的似然蜕变关系；

其中，所述输入关系确定模块，具体用于对所述预设输入关系库进行查找，直到找到符合所述输入集合中的预设数目的元素均对应的输入关系，并将所述输入关系确定为所述输入集合匹配的输入关系；

或，包括：

标注单元，用于遍历所述预设输入关系库，对每一个预设输入关系符合的所述输入集合中的元素数目进行标注；

输入关系确定单元，用于将标注的元素数目最大的输入关系确定为所述输入集合匹配的输入关系；

其中，所述输出关系确定模块，具体用于在预设输出关系库中查找，并将满足所述输出子集中的所有元素的输出关系确定为所述输出子集匹配的输出关系；

和/或，具体用于当遍历所述预设输出关系库之后，未找到与所述输出子集匹配的输出关系时，重复执行所述在预设输入关系库查找与所述输入集合匹配的输入关系的步骤；

修正模块，用于在将所述输入关系与所述输出关系之间的对应关系确定为所述目标程序的似然蜕变关系之后，对所述似然蜕变关系进行修正。

4.一种似然蜕变关系构造设备，其特征在于，包括：

存储器，用于存储计算机程序；

处理器，用于执行所述计算机程序时实现如权利要求1或2所述似然蜕变关系构造方法的步骤。

5.一种可读存储介质，其特征在于，所述可读存储介质上存储有计算机程序，所述计算机程序被处理器执行时实现如权利要求1或2所述似然蜕变关系构造方法的步骤。