发明专利 已授权

一种基于LLVM中间表示程序切片的度量模型(大数据、CPU、代码、人工智能、计算机、多媒体)

📄 申请号:CN201710089449.3 📄 发布日:2026/07/15

著录项目信息

申请日
2017-02-20
公开号
CN106933572A
公开日
2017-07-07
申请人
南京邮电大学
法律状态
已下证
专利类型
发明
主分类号
IPC 分类号

技术画像

应用场景

软件质量评估, 代码缺陷检测, 程序复杂度分析, 软件维护与优化

摘要

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

……

……

图1
图2
图3

法律状态时间线

相似专利推荐 AI 驱动 · 同领域

暂无同领域相似专利推荐
议价
不含过户费

📋 交易方式: 委托待转让 📌 交易状态: 在售 👁️ 浏览次数:38 ❤️ 收藏人数:93 📋 项目申报: 未申报

资金托管 权属尽调 包过户
🏢 淄博智来知识产权服务有限公司
✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)
王**¥-10万
李** 企业¥-8万
陈**¥-3万
查看全部出价