[发明专利]一种基于LLVM中间表示程序切片的度量模型

摘要

本发明公开了一种基于LLVM中间表示程序切片的度量模型，包括：将源程序通过LLVM命令行转换成对应的LLVM IR语言；构建程序系统依赖图，对程序LLVM IR语句切片；根据程序切片的结果和源程序转换得到的LLVM IR语句得到程序中各模块的模块大小，输出变量的个数，根据各度量模块所有输出变量的切片集中最大的切片集大小和最小的切片集的大小，和所有变量的公共切片集；将上步所得值带入度量函数中，完成对函数的LLVM IR度量,然后计算程序的Halstead度量；将程序所有度量结果先去除具有相同作用的度量值，再构建复杂性度量函数Complexity,并对程序的各个模块的Complexity进行计算并根据其大小进行排序，软件开发或测试可根据各模块的复杂度大小合理分配开发资源，并进行错误检测。本发明有效提高了程序切片的通用性和度量精度。

主权项

一种基于LLVM中间表示程序切片的度量模型，其特征在于，包括以下步骤：步骤(1)将源程序通过LLVM的命令行转换成对应的LLVM IR语言；步骤(2)将LLVM IR构建系统依赖图，得到对应的程序切片；步骤(3)得到源程序的输出变量对应的指令及指令集、程序操作符和操作数的信息，即：根据程序切片的结果和源程序转换得到的LLVM IR语句得到程序中每个模块的模块大小，输出变量的个数，根据每个度量模块所有输出变量的切片集中最大的切片集大小和最小的切片集的大小，和所有变量的公共切片集；步骤(4)根据LLVM IR的切片结果和各种度量公式计算函数模块的各度量值，即：将步骤(3)中得到的值带入到度量函数中，完成对函数的LLVM IR度量,然后计算程序的Halstead度量；步骤(5)根据各度量值计算评估，即：将程序所有的度量结果先去除具有相同作用的度量值，再将剩余的度量值根据对程序的可靠性，稳定性的影响情况进行排序，在软件测试阶段可根据模块排序将开发资源合理安排对模块进行检查。