登录
|
注册
|
QQ账号登录
|
常见问题
联系我们:
我要上传
首页
浏览
幼儿/小学教育
中学教育
高等教育
研究生考试
外语学习
资格/认证考试
论文
IT计算机
经济/贸易/财会
管理/人力资源
建筑/环境
汽车/机械/制造
研究报告
办公文档
生活休闲
金融/股票/期货
法律/法学
通信/电子
医学/心理学
行业资料
文学/艺术/军事/历史
我的淘豆
我要上传
帮助中心
复制
下载此文档
一种基于程序结构的程序主变元分析与确定方法研究的中期报告.docx
文档分类:
法律/法学
|
页数:约1页
举报非法文档有奖
分享到:
1
/
1
下载此文档
搜索
下载此文档
关闭预览
下载提示
1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档,不会出现我们的网址水印。
同意并开始全文预览
(约 1-6 秒)
下载文档到电脑,查找使用更方便
下 载
还剩?页未读,
继续阅读
分享到:
1
/
1
下载此文档
文档列表
文档介绍
一种基于程序结构的程序主变元分析与确定方法研究的中期报告.docx
该【一种基于程序结构的程序主变元分析与确定方法研究的中期报告 】是由【niuww】上传分享,文档一共【1】页,该文档可以免费在线阅读,需要了解更多关于【一种基于程序结构的程序主变元分析与确定方法研究的中期报告 】的内容,可以使用淘豆网的站内搜索功能,选择自己适合的文档,以下文字是截取该文章内的部分文字,如需要获得完整电子版,请下载此文档到您的设备,方便您编辑和打印。一种基于程序结构的程序主变元分析与确定方法研究的中期报告该中期报告旨在介绍基于程序结构的程序主变量分析与确定方法的研究进展。该方法旨在帮助程序员快速准确地确定程序中的主变量,从而提高程序可读性和维护性。首先,我们提出了一个由三个部分组成的算法框架,包括控制流图构建、程序切片和主变量识别。我们使用工具Z3作为符号执行器,以捕获程序执行的所有可能路径。我们使用此框架来分析不同的程序示例,并发现它的表现非常不错。接下来,我们详细讨论了每个部分的实现。首先,我们介绍了如何使用AST(抽象语法树)和符号执行技术来构建控制流图。其次,我们介绍了程序切片,该方法可以帮助我们快速准确地确定程序中变量的影响范围。最后,我们介绍了主变量识别,该方法使用污点分析和数据流分析来确定主要变量。我们还做了一个实验来评估我们的方法。我们使用了一些截至2021年9月的流行开源项目,。我们使用自动化测试套件来测量我们的方法在变异测试中的表现,并与现有的方法进行了比较。结果表明,我们的方法在识别主要变量方面表现优异,具有更好的准确性和覆盖率。总之,我们的研究提出了一种基于程序结构的程序主变量分析与确定方法。该方法已经在一些流行的开源项目中证明了其有效性,有望帮助程序员更好地理解程序并提高其可读性和维护性。我们将继续改进该方法,并在更广泛的应用中进行评估。
一种基于程序结构的程序主变元分析与确定方法研究的中期报告 来自淘豆网www.taodocs.com转载请标明出处.
猜你喜欢
大学校园文化建设方案
8页
大学迟到检讨书
8页
多层施工方案
6页
复工复产准备工作方案
7页
动漫app项目融资方案
38页
剪头发项目融资方案
41页
地下车库施工方案
7页
国有企业清产核资工作方案
9页
国学教育方案
8页
回归测试方案
7页
动物用药行业市场需求与供给现状
26页
合作方案内容
7页
发电厂监控系统安全防护方案
6页
慢性阻塞性肺疾病的心理干预措施研究
28页
单一空间方案
6页
相关文档
更多>>
非法内容举报中心
文档信息
页数
:
1
收藏数
:
0
收藏
顶次数
:
0
顶
上传人
:
niuww
文件大小
:
10 KB
时间
:
2024-03-28
相关标签
程序分析
验槽的程序与方法
顺序结构程序设计实验报告
结构化程序设计方法
程序算法
氨基酸序列分析
立遗嘱的程序和方法
程序设计基础
程序员实习报告
程序员述职报告
理论/案例
方针/政策
国家法/宪法
行政法
金融法
经济法
农业经济管理法令
劳动法
自然资源与环境保护法
民法
婚姻法
商法
刑法
诉讼法
地方法制
中国法制史
各国法律
国际法
法律文书
国际贸易法
最近更新
重难点解析河北师大附中物理八年级下册期末..
2024年小学庆元旦迎新年活动方案范文(精选..
2024年小学安全工作报告(精选16篇)
2024年小学学校章程
重难点解析内蒙古翁牛特旗乌丹第一中学物理..
2024年小学四年级心理健康教育教案范文
2024年小学周记吃酒
2024年小学六年级班主任寒假工作总结(通用..
2024年小学二年级春季运动会口号最新
2023年消防救援站党支部工作总结
慢性胃炎中医症候评分表格模板2
教师心得体会师德感悟篇范文2023年
学校食堂6s管理内容和标准四篇
夹江陶瓷产业发展历程和基本概况
超声科质量控制评分表(共1页)
高速铁路桥梁缺陷整治方案
尊师开示
十五种解经讲道法(1)
张宏宝尊师谈养生修炼的利与弊
在线
客服
微信
客服
QQ
客服
意见
反馈
手机
查看
返回
顶部