[发明专利]面向等式约束的测试用例生成方法和装置

摘要

本发明提供一种面向等式约束的测试用例生成方法和装置，测试用例生成方法包括接收测试用例生成请求，生成请求中携带待测程序；获取待测程序的预定路径、表达式列表、预定路径中的各个变量及各个变量的第一取值区间；根据表达式列表中的等式，确定等式约束的第一系数矩阵及第一增广矩阵；判断第一系数矩阵的秩是否小于第一增广矩阵的秩；若否，则对各个变量进行回退运算，确定各个变量的第二取值区间；判断各个变量的第二取值区间的边界值是否相等；若相等，则根据各个变量的第二取值区间生成测试用例。本发明提供的面向等式约束的测试用例生成方法和装置，生成测试用例的过程无需人工干预，速度快，效率高，可对待测程序实现100％覆盖。

主权项

一种面向等式约束的测试用例生成方法，其特征在于，包括：接收测试用例生成请求，所述生成请求中携带待测程序；获取所述待测程序的预定路径、表达式列表、所述预定路径中的各个变量及各个变量的第一取值区间；根据所述表达式列表中的等式，确定等式约束的第一系数矩阵及第一增广矩阵；判断所述第一系数矩阵的秩是否小于所述第一增广矩阵的秩；若否，则对所述各个变量进行回退运算，确定各个变量的第二取值区间；判断所述各个变量的第二取值区间的边界值是否相等；若相等，则根据所述各个变量的第二取值区间生成测试用例；其中，所述确定各个变量的第二取值区间，包括：根据第一预设的规则对所述各个变量进行排序，确定当前变量；判断所述表达式列表中所有等式中的变量个数是否都小于3个；若是，则根据爬山法回退值选取规则为所述当前变量选取第一回退值；根据所述第一回退值，对所述第一系数矩阵和第一增广矩阵进行约简，确定第二系数矩阵和第二增广矩阵；判断所述第二系数矩阵的秩是否小于所述第二增广矩阵的秩；若否，则对所述当前变量进行回退运算；判断所述当前变量的回退运算是否发生矛盾；若否，则判断是否已对所有变量进行回退运算；若是，则确定所有变量的第二取值区间。