面向大规模软件系统的实用混合执行技术研究与实现

	载入中...

面向大规模软件系统的实用混合执行技术研究与实现

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

面向大规模软件系统的实用混合执行技术研究与实现

论文目录
摘要	第1-6页
ABSTRACT	第6-10页
第一章绪论	第10-16页
1.1 背景分析	第10-11页
1.2 国内外研究现状	第11-12页
1.3 研究内容	第12-14页
1.4 论文结构	第14-16页
第二章相关技术研究	第16-26页
2.1 符号执行技术	第16-19页
2.2 混合执行技术	第19-21页
2.3 选择符号执行技术	第21-23页
2.4 本章小结	第23-26页
第三章实用混合执行技术研究	第26-36页
3.1 混合执行技术面临的状态爆炸问题	第26-30页
3.1.1 符号化内存处理方式	第26-28页
3.1.2 状态爆炸问题实例分析	第28-30页
3.2 关键符号化内存和普通符号化内存	第30-32页
3.3 自适应符号变量取值算法	第32-35页
3.4 本章小结	第35-36页
第四章缺陷检测系统Pracolic的设计与实现	第36-46页
4.1 Pracolic缺陷检测系统设计	第36-38页
4.1.1 符号化引擎设计	第36-37页
4.1.2 混合执行引擎设计	第37-38页
4.1.3 分析模块设计	第38页
4.2 Pracolic缺陷检测系统实现	第38-44页
4.2.1 符号化引擎实现	第39-40页
4.2.2 混合执行引擎实现	第40-43页
4.2.3 分析模块实现	第43-44页
4.3 本章小结	第44-46页
第五章实验评估	第46-54页
5.1 实验配置	第46页
5.2 实验内容	第46-53页
5.2.1 Pracolic缺陷检测能力评估	第46-49页
5.2.2 符号化内存分析有效性评估	第49-51页
5.2.3 自适应符号变量取值算法有效性评估	第51-53页
5.3 本章小结	第53-54页
第六章总结和展望	第54-56页
6.1 工作总结	第54-55页
6.2 工作展望	第55-56页
参考文献	第56-60页
致谢	第60-61页
作者攻读学位期间发表的学术论文目录	第61页

本篇论文共61页，点击这进入下载页面。

更多论文
面向大规模软件系统的实用混合执行
基于自适应学习系统的学习资源推荐
基于多核处理器的高可靠实时软件架
物联网开放平台服务管理的研究与应
社交网络国民安全突发事件动态画像
基于语义匹配的在线社交网络对象精
基于用户画像的社交网络跨媒体大数
基于远程监督的关系抽取的算法研究
指静脉加密算法的研究
基于行人重识别的行人路径生成系统
司法领域知识图谱构建及推荐应用的
面向监控场景的图像去夜技术的研究
基于可伸缩区块链的航空监视信息存
塔防游戏关卡自动生成与验证技术的
基于图嵌入与多任务学习的推荐算法
结合区块链的物联网服务系统安全保
基于未来帧预测的视频异常检测算法
基于RGB-D图像的人体三维重建在iOS
大数据持续分析平台的设计与实现
面向多源大数据的数据准备平台的设
基于多时间维度的运动数据的分析和
面向电网大数据的电力用户行为分析
基于联盟链的新型数据交易市场的公
基于SRL策略的网络学习空间中集体知
面向异构平台的混合任务调度系统设
基于区块链优化物联网数据汇聚安全
基于草图提取的人脸矢量化算法研究
IMS虚拟化与车联网资源分配算法研究
文档图像质量评价系统的设计与实现
融合内容的协同过滤推荐系统
微博与有线电视用户群的关联性研究
面向REST接口模型的SSM框架多层代码
Android系统服务半自动化模糊测试工
基于多步攻击检测的电力二次系统安
基于配置核查和漏洞树方式的OpenSt
以太坊交易探测技术研究
数据感知的流程预测方法研究
敏捷开发模式在软件质量管理中的应
基于Scrum敏捷开发方法的A项目进度
5G赋能场景教学项目的应用策略研究
基于大数据的电视节目类型供需平衡
基于Spark的数据流转监测和作业调度
长时间尺度内二分网络社团发现系统
基于边缘结构提取的传统纹样矢量化

缺陷检测论文混合执行论文状态爆炸论文符号化内存论文
版权申明：目录由用户lazon123**提供，www.51papers.com仅收录目录，作者需要删除请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved