一种基于LLVM中间表示程序切片的度量模型

发明专利有效专利

申请号：
CN201710089449.3
IPC分类号：G06F8/35;G06F8/40
申请日期：
2017-02-20
申请人：
南京邮电大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于LLVM中间表示程序切片的度量模型
申请号	CN201710089449.3	申请日期	2017-02-20
法律状态	授权	申报国家	中国
公开/公告日	2017-07-07	公开/公告号	CN106933572A
优先权	暂无	优先权号	暂无
主分类号	G06F8/35 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F8/00 软件工程设计（测试或调试入G06F 11/36；软件项目管理、规划或组织入G06Q 10/06）〔2018.01〕 G06F8/30 创建或生成源代码〔2018.01〕 G06F8/35 模型驱动〔2018.01〕	IPC分类号	G;0;6;F;8;/;3;5;;;G;0;6;F;8;/;4;0查看分类表>
申请人	南京邮电大学	申请人地址	江苏省南京市鼓楼区新模范马路66号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	南京邮电大学	当前权利人	南京邮电大学
发明人	张迎周;闫丽;徐晨晨;吴寄语
代理机构	南京经纬专利商标代理有限公司	代理人	许方

摘要

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

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供