[发明专利]一种程序隐性约束提取方法及系统

摘要

本发明提供一种程序隐性约束提取方法及系统，包括：对于待测程序中的任一函数，将任一路径上的入口节点作为当前节点；获取当前节点与任一函数对应的抽象语法树上对应的当前语法节点，若当前语法节点包含目标变量，获取目标变量类型，根据目标变量类型和作用于目标变量的运算符类型匹配隐性约束规则，提取目标变量的隐性约束；否则，将当前节点的下一个节点重新作为当前节点，重复上述步骤，直到任一路径的出口节点为当前节点。本发明提出一种程序隐性约束提取方法及系统，可以实现隐性约束的提取，可以在一定程度上减小目标变量的搜索空间，保证生成测试数据的正确性，进而确保后续测试数据顺利执行。

主权项

1.一种程序隐性约束提取方法，其特征在于，包括：S1，对于待测程序中的任一函数，获取所述任一函数的控制流图的入口节点到出口节点的任一路径，将所述任一路径上的入口节点作为当前节点；S2，获取所述当前节点与所述任一函数对应的抽象语法树上对应的当前语法节点，若所述当前语法节点对应赋值语句或分支语句，则对当前语法节点进行遍历访问，获取目标变量和作用于所述目标变量的运算符，根据所述目标变量类型和作用于所述目标变量的运算符类型，匹配对应的预设隐性约束规则，根据确定的预设隐性约束规则提取所述目标变量的隐性约束，所述目标变量为所述待测程序的输入变量或所述待测程序的全局变量；否则，将所述当前节点的下一个节点重新作为所述当前节点，重复上述步骤，直到所述任一路径的出口节点为当前节点。