[发明专利]应用符号分析的软件测试方法

权利要求书

1.一种应用符号分析的软件测试方法，其特征在于，该方法包括：

A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；

B、给出将程序中各变量间的具体运算映射为符号运算的步骤；

C、给出程序分支语句对符号取值限定区间的计算步骤；

D、给出符号分析在程序控制流图上的计算步骤。

2.根据权利要求1所述的应用符号分析的软件测试方法，其特征在于，所述步骤A包括：

A1、符号表达式的表示方式为：每一个符号表达式由一个或多个项通过加减运算结合而成，每一个项由一个或多个因子通过乘除运算结合而成，每一个因子由一个或多个原子通过幂运算结合而成，每一个原子对应一个当前取值区间；

A2、符号表达式的化简方式为：首先将每一个因子化为最简，然后将每一个项化为最简，最后将整个表达式化为最简；

A3、符号表达式的运算包括符号表达式之间加、减、乘、除运算；所述符号表达式运算的输入和输出均为化简后的表达式；

A4、根据符号表达式中各符号的当前取值区间，通过区间运算求得符号表达式的取值区间。

3.根据权利要求2所述的应用符号分析的软件测试方法，其特征在于，所述步骤A2进一步包括：

A21、将符号表达式中的项进行排序；

A22、依次取项，并将当前项化为最简；

A23、判断当前项是否为该表达式中的第一项，如果是，则执行步骤A26，否则执行步骤A24；

A24、判断当前项和上一项是否仅在于系数差别，如果是，则执行步骤A25，否则执行步骤A26；

A25、合并当前项和所述上一项，将两项的系数根据当前项对应的运算符进行加减，剩余部分保持不变；

A26、判断当前项是否为表达式的最后一项，如果是，则结束，否则执行步骤A22。

4.根据权利要求3所述的应用符号分析的软件测试方法，其特征在于，所述步骤A22进一步包括：

A221、将项中的因子进行排序；

A222、依次取因子，并将当前因子化为最简；

A223、判断当前因子是否为项中的第一个因子，如果是，则执行步骤A226，否则执行步骤A224；

A224、判断当前因子和上一因子是否只在于指数差别，如果是，则执行步骤A225，否则执行步骤A226；

A225、合并当前因子和上一个因子；

A226、判断当前因子是否为项中的最后一个因子，如果是，则结束对该项的化简过程，否则执行步骤A222。

5.根据权利要求4所述的应用符号分析的软件测试方法，其特征在于，所述步骤A222进一步包括：

A2221、从因子的最外层幂开始依次取当前幂；

A2222、判断当前幂是否为最外层幂，如果是，则执行步骤A2223，否则执行步骤A2221；

A2223、判断当前幂和上一个幂是否都为常量，如果是，执行步骤A2224，否则执行步骤A2225；

A2224、合并当前幂与上一个幂，将当前幂与上一个幂即将该两个幂进行相乘；

A2225、判断当前幂是否为最里层幂，如果是，则结束对该因子的化简过程，否则执行步骤A2221。

6.根据权利要求1所述的应用符号分析的软件测试方法，其特征在于，所述步骤B进一步包括：

B1、将程序中的最基本的变量和常量的当前取值都由一个符号表达式来表示；

B2、将程序中各种基本表达式的运算映射为符号运算系统上的运算，程序中各种表达式，包括算术表达式、关系表达式、布尔表达式、位运算表达式、赋值表达式和条件表达式。