[发明专利]结构测试中的边界值测试方法及其系统

摘要

本发明涉及一种结构测试中的边界值测试方法及其系统，所述方法包括：S1，根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则；S2，根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值；S3，为所述语句边界值和所述表达式边界值选择对应的可达路径；S4，根据所述可达路径生成测试用例，并对所述测试用例进行比较，从而得到边界值测试结果。本发明的结构测试中的边界值测试方法及其系统，通过对不同的语句以及表达式选择特定的边界值覆盖准则，可以快速地找到对应的边界值，从而可以在结构测试中对语句以及表达式的边界值进行测试。

主权项

结构测试中的边界值测试方法，其特征在于，包括：S1，根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则；S2，根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值；S3，为所述语句边界值和所述表达式边界值选择对应的可达路径；S4，根据所述可达路径生成测试用例，并对所述测试用例进行比较，从而得到边界值测试结果；对所述表达式边界值选择路径的具体步骤包括：S61，找到所述表达式所在的控制流图节点；S62，获取所述表达式的边界值的约束C_V；S63，选择一条经过所述控制流图节点的路径；S64，获取所述路径的约束C_P；S65，判断C＝C_V∧C_P是否有解；S66，如果判定C有解，则所述路径为所述表达式边界值的可达路径；如果判定C无解，则重新选择一条经过所述控制流图节点的路径，直至C有解；所述步骤S2包括：从所述结构测试的控制流图中，得到语句节点，然后根据所述边界覆盖准则得到所述语句边界值；从结构测试中的抽象语法树中，得到所述表达式的节点，然后根据所述边界覆盖准则得到所述表达式边界值；当语句边界值为路径集合时，为所述路径集合中的任一个元素选择到可达路径，即为此语句边界值选择到可达路径，具体步骤包括：S51，获取所述语句边界值中的第一个元素；S52，选择一条经过所述第一个元素的第一路径；S53，判断所述第一路径是否为所述第一个元素的可达路径；S54，如果是，则将所述第一路径作为所述语句边界值的可达路径；如果否，则选择所述语句边界值中的下一个元素，并重复进行上述判断，直到找到所述语句边界值的可达路径。