登录
|
注册
|
QQ账号登录
|
常见问题
联系我们:
我要上传
首页
浏览
幼儿/小学教育
中学教育
高等教育
研究生考试
外语学习
资格/认证考试
论文
IT计算机
经济/贸易/财会
管理/人力资源
建筑/环境
汽车/机械/制造
研究报告
办公文档
生活休闲
金融/股票/期货
法律/法学
通信/电子
医学/心理学
行业资料
文学/艺术/军事/历史
我的淘豆
我要上传
帮助中心
复制
下载此文档
一种基于程序结构的程序主变元分析与确定方法研究的中期报告.docx
文档分类:
法律/法学
|
页数:约1页
举报非法文档有奖
分享到:
1
/
1
下载此文档
搜索
下载此文档
关闭预览
下载提示
1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档,不会出现我们的网址水印。
同意并开始全文预览
(约 1-6 秒)
下载文档到电脑,查找使用更方便
下 载
还剩?页未读,
继续阅读
分享到:
1
/
1
下载此文档
文档列表
文档介绍
一种基于程序结构的程序主变元分析与确定方法研究的中期报告.docx
该【一种基于程序结构的程序主变元分析与确定方法研究的中期报告 】是由【niuww】上传分享,文档一共【1】页,该文档可以免费在线阅读,需要了解更多关于【一种基于程序结构的程序主变元分析与确定方法研究的中期报告 】的内容,可以使用淘豆网的站内搜索功能,选择自己适合的文档,以下文字是截取该文章内的部分文字,如需要获得完整电子版,请下载此文档到您的设备,方便您编辑和打印。一种基于程序结构的程序主变元分析与确定方法研究的中期报告该中期报告旨在介绍基于程序结构的程序主变量分析与确定方法的研究进展。该方法旨在帮助程序员快速准确地确定程序中的主变量,从而提高程序可读性和维护性。首先,我们提出了一个由三个部分组成的算法框架,包括控制流图构建、程序切片和主变量识别。我们使用工具Z3作为符号执行器,以捕获程序执行的所有可能路径。我们使用此框架来分析不同的程序示例,并发现它的表现非常不错。接下来,我们详细讨论了每个部分的实现。首先,我们介绍了如何使用AST(抽象语法树)和符号执行技术来构建控制流图。其次,我们介绍了程序切片,该方法可以帮助我们快速准确地确定程序中变量的影响范围。最后,我们介绍了主变量识别,该方法使用污点分析和数据流分析来确定主要变量。我们还做了一个实验来评估我们的方法。我们使用了一些截至2021年9月的流行开源项目,。我们使用自动化测试套件来测量我们的方法在变异测试中的表现,并与现有的方法进行了比较。结果表明,我们的方法在识别主要变量方面表现优异,具有更好的准确性和覆盖率。总之,我们的研究提出了一种基于程序结构的程序主变量分析与确定方法。该方法已经在一些流行的开源项目中证明了其有效性,有望帮助程序员更好地理解程序并提高其可读性和维护性。我们将继续改进该方法,并在更广泛的应用中进行评估。
一种基于程序结构的程序主变元分析与确定方法研究的中期报告 来自淘豆网www.taodocs.com转载请标明出处.
猜你喜欢
2024年小学三年级英语教学总结15篇
37页
2024年小学一年级班级口号大全
11页
2024年小吃摊位租赁合同7篇
18页
2024年小升初家长寄语集锦
22页
课间活动二年级作文
7页
2024年小兔运南瓜看图作文15篇
7页
2024年尊敬师长保证书6篇
5页
西安交通大学附属中学分校物理八年级下册期末..
19页
2024年寂寞孤独的个性签名
41页
2024年家风话题作文
10页
病例-胰头癌
25页
2024年家长会美术老师发言稿
21页
2024年家长会日记
18页
相关文档
更多>>
非法内容举报中心
文档信息
页数
:
1
收藏数
:
0
收藏
顶次数
:
0
顶
上传人
:
niuww
文件大小
:
10 KB
时间
:
2024-03-28
相关标签
柳州穿山镇小城镇规划
银行理财经理职业规划
张坊镇未来发展规划
湖北三江港未来规划
江津石门高速公路规划
芳华路领事馆区规划
沈阳恒大绿洲学校规划
大团镇有没有大的规划
深圳机场东高铁站规划
闻堰黄山村五年规划
理论/案例
方针/政策
国家法/宪法
行政法
金融法
经济法
农业经济管理法令
劳动法
自然资源与环境保护法
民法
婚姻法
商法
刑法
诉讼法
地方法制
中国法制史
各国法律
国际法
法律文书
国际贸易法
最近更新
基于GC-MS的高速谱库探索算法研究的开题报告..
基于FPGA的卫星通信信道编码设计与工程实现..
糖尿病患者的心理调适
基于ExtJS与J2EE的人力资源管理系统的设计与..
基于EEG的损益模式下的跨期决策脑机制研究的..
朱自清散文欣赏诵读PPT课件
糖尿病与心脑血管疾病
基于DPM及EWF模型的积水分布研究的开题报告..
有限空间台账
2024年大容量注射剂项目资金申请报告代可行..
新湘教版八年级下册数学期中测试题
2024年传热液项目资金需求报告代可行性研究..
慢性阻塞性肺疾病护理常规PPT课件
2024年人工被动免疫:人免疫球蛋白制剂项目..
2024年超细碳化钨粉及超细晶粒硬质合金项目..
各元素不同化学状态对应的结合能汇总表
面膜代工合同
2022年关于建立企业干部职工末等调整和不胜..
神经外科自查表
医院安全生产隐患清单
服刑人员思想汇报-矫正人员思想汇报100篇
预制墙板灌浆施工作业指导书
院前急救医疗质量控制与评价重点标准
听妈妈讲那圣经里的故事 听妈妈讲那进去的故..
生态药业的典例——长春花的综合开发和利用..
在线
客服
微信
客服
QQ
客服
意见
反馈
手机
查看
返回
顶部