欢迎来到中细软旗下技术转移平台
请登录技术转移平台
-
-
一种基于LLVM中间表示程序切片的度量模型
-
发明专利
专利类型 -
已下证
专利状态 -
2017100894493
专利号
-
专利信息
数据仅供参考，具体信息可联系在线顾问
| 专利号 | 2017100894493 | 专利名称 | 一种基于LLVM中间表示程序切片的度量模型 |
|---|---|---|---|
| 专利类型 | 发明专利 | 国际分类 | G06F 8/35 (2018.01);G06F 8/40 (2018.01) |
| 申请人 | 南京邮电大学 | 申请地址 | 江苏省南京市鼓楼区新模范马路66号 |
| 发明人 | 张迎周 | 申请日期 | 2017-02-20 |
| 下证状态 | 已下证 | 更新时间 | 2026-09-23 17:33:30 |
| 专利摘要 | 本发明公开了一种基于LLVM中间表示程序切片的度量模型，包括：将源程序通过LLVM命令行转换成对应的LLVM IR语言；构建程序系统依赖图，对程序LLVM IR语句切片；根据程序切片的结果和源程序转换得到的LLVM IR语句得到程序中各模块的模块大小，输出变量的个数，根据各度量模块所有输出变量的切片集中最大的切片集大小和最小的切片集的大小，和所有变量的公共切片集；将上步所得值带入度量函数中，完成对函数的LLVM IR度量,然后计算程序的Halstead度量；将程序所有度量结果先去除具有相同作用的度量值，再构建复杂性度量函数Complexity,并对程序的各个模块的Complexity进行计算并根据其大小进行排序，软件开发或测试可根据各模块的复杂度大小合理分配开发资源，并进行错误检测。本发明有效提高了程序切片的通用性和度量精度。 | ||
交易流程
转让材料
| 买卖双方需提供 | 平台提供 | 转让后买方可获得 | ||
|---|---|---|---|---|
| 企业 | 个人 | 专利代理委托书 专利权转让协议 办理文件副本请求书 发明人变更声明 | 专利证书 手续合格通知书 专利登记簿副本 | |
| 买方 | 企业营业执照 企业组织机构代码证 | 身份证 | ||
| 卖方 | 企业营业执照 专利证书原件 | 身份证 专利证书原件 | ||
服务保障
优质专利推荐
-
一种一锅法合成硝酸益康唑的方法
专利状态：已下证
专利类型：发明专利
询价
-
带式电泳Micro LED元件连续排列机器人流水线及排列方法
专利状态：已下证
专利类型：发明专利
询价
-
一种球节点空间桁架钢筋笼及其制造辅助装置
专利状态：已下证
专利类型：实用新型
询价
-
一种基于区块链的电动汽车电池更换系统及方法
专利状态：已下证
专利类型：发明专利
询价
- 品类齐全，快速响应
- 专业顾问一对一服务
- 服务流程追踪更安全
400-9696-518
全国免费服务热线
- 细软在线电商小程序
- 细软知识产权公众号
登录成功
您的咨询我们已收到，稍后会有专业顾问与您联系。