[发明专利]选取覆盖所有源代码结构的最小代码子集的方法

权利要求书

1.一种选取覆盖所有源代码结构的最小代码子集的方法，其包括：

a.将待分析软件的源代码按照高级语言、汇编语言和库函数进行分类，得到高级语言代码集合、汇编代码集合和库函数集合；

b.对所述高级语言代码集合中的每个函数分析语法结构和编译过程中可能产生附加代码的结构，在确保所述各结构至少被覆盖一次的条件下选出使源代码目标码对比分析的工作量最小的典型结构代码子集；以及

c.合并所述典型结构代码子集、所述汇编代码集合和所述库函数集合，以得到所述待分析软件的所述最小代码子集；

其中，步骤b包括：

b1.对所述每个函数分析语法结构和编译过程中可能产生附加代码的结构，形成所述每个函数与各结构的追溯关系表；

b2.对所述各结构进行分类、统一编号，同类结构的编号全局唯一，同时记录所述每个函数对应的源代码目标码对比分析的所述工作量；

b3.对所述每个函数的结构编号进行汇总，形成具有结构类别编号、所述工作量的源代码结构分析表；

b4.根据所述源代码结构分析表构造结构-函数矩阵；

b5.在确保所述各结构至少被覆盖一次的条件下，根据所述结构-函数矩阵和所述每个函数对应的所述工作量构建数学模型；以及

b6.对所述数学模型进行求解，选取出使所述工作量最小的所述典型结构代码子集。

2.根据权利要求1所述的方法，其特征在于，在步骤b1中，对所述每个函数分析语法结构包括分析函数的返回类型、参数类型、参数个数、基本类型、构造类型、预处理、运算符、过程控制类型和嵌套次数中的一个或多个。

3.根据权利要求1所述的方法，其特征在于，在步骤b1中，对所述每个函数分析可能产生附加代码的结构包括分析编译器对代码结构上的处理和/或对代码运行时产生异常的处理。

4.根据权利要求3所述的方法，其特征在于，所述编译器对代码结构上的处理包括数组处理、隐式调用库函数和循环结构处理中的一个或多个。

5.根据权利要求1所述的方法，其特征在于，所述结构-函数矩阵为：

其中，A为结构-函数矩阵，m为结构的个数，n为函数的个数，τ₀,τ₁,τ₂,…,τ_m-1表示所有函数对应的结构，f₀,f₁,f₂,…,f_n-1表示函数，z_p,q取值1或0，当取值为1时，代表函数f_p覆盖结构τ_q，当取值为0时，代表函数f_p未覆盖结构τ_q，其中p＝0,1,…m-1，q＝0,1,…n-1。

6.根据权利要求5所述的方法，其特征在于，所述数学模型如下：

其中，L＝[L₀,L₁,…,L_n-1]，L_y为分析函数f_y时的所述工作量，y＝0,1,…,n-1；X＝[X₀,X₁,…,X_n-1]^T，X_i取值1或0，当取值为1时，代表选择函数f_i放入所述典型结构代码子集，当取值为0时，代表选择函数f_i不放入所述典型结构代码子集，i＝0,1,…,n-1，[]^T代表矩阵转置；b_m×1＝[1,1,…,1]^T。

7.根据权利要求6所述的方法，其特征在于，根据所述数学模型求解X，将X中元素为1对应的所述函数放入所述典型结构代码子集。

8.根据权利要求1所述的方法，其特征在于，所述工作量为所述函数的源代码的行数。