[发明专利]基于仿射运算的软件测试方法及系统

摘要

本发明提供一种基于仿射运算的软件测试方法及系统，该方法包括确定被测程序的抽象语法树；遍历分析抽象语法树，获取对应的符号表和控制流图；根据符号表确定被测程序的输入变量和全局变量，并分别赋予输入变量和全局变量初始取值范围，输入变量和全局变量的取值范围以数值的区间形式表示；将输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式；根据控制流图确定路径集合，并对路径集合中的每条路径进行逐节点的变量仿射形式运算，输出每条路径对应的变量以及变量取值范围；在每条路径对应的变量的取值范围中取值，生成测试用例，并根据测试用例对被测程序进行测试。提高了变量取值范围和软件测试结果的精确性。

主权项

一种基于仿射运算的软件测试方法，其特征在于，包括：确定被测程序的抽象语法树；遍历分析所述抽象语法树，获取对应的符号表和控制流图；根据所述符号表确定所述被测程序的输入变量和全局变量，并分别赋予所述输入变量和全局变量初始取值范围，其中，所述输入变量和全局变量的取值范围以数值的区间形式表示；根据变量取值范围的区间表示形式与变量的仿射表示形式之间的转换关系，将所述输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式，其中，变量取值范围的区间表示形式与变量的仿射表示形式之间的转换关系为：若变量x取值范围的区间表示形式为x＝[xmin,xmax],则所述变量x的仿射表示形式为x＝(xmin+xmax)/2+(xmax‑xmin)ε/2，其中，xmin为变量x的最小值，xmax为变量x的最大值，ε为噪音符号，ε的取值范围为[‑1,1]，当ε的取值为1时，变量x取最大值，当ε的取值为‑1时，变量x取最小值；根据所述控制流图确定路径集合，并对所述路径集合中的每条路径进行逐节点的变量仿射形式运算，输出所述每条路径对应的变量以及变量的取值范围，其中，所述路径集合中包含所述被测程序的所有待覆盖元素，所述待覆盖元素包括所述被测程序中的变量以及变量间的运算关系；在所述每条路径对应的变量的取值范围中取值，生成测试用例，并根据所述测试用例对所述被测程序进行测试。