基于CIL自动化插桩的研究与设计

	载入中...

基于CIL自动化插桩的研究与设计

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

基于CIL自动化插桩的研究与设计

论文目录
摘要	第1-6页
ABSTRACT	第6-10页
第一章绪论	第10-17页
1.1 研究背景	第10-11页
1.2 国内外研究现状	第11-14页
1.2.1 测试用例自动生成的研究现状	第11-12页
1.2.2 符号执行研究现状	第12-13页
1.2.3 程序插桩研究现状	第13-14页
1.3 研究意义	第14页
1.4 本文的主要工作	第14-16页
1.5 文章组织结构	第16-17页
第二章研究基础	第17-33页
2.1 基本概念	第17-19页
2.2 符号执行的分类	第19-22页
2.2.1 传统的符号执行	第19-20页
2.2.2 动态符号执行	第20-22页
2.3 符号执行工具	第22-27页
2.4 符号执行面临的问题	第27-28页
2.5 插桩技术	第28-30页
2.6 CIL简介	第30-32页
2.7 本章小结	第32-33页
第三章系统架构设计	第33-43页
3.1 系统需求与目标	第33-34页
3.1.1 系统用户角色分析	第33页
3.1.2 系统功能需求分析	第33-34页
3.1.3 系统实现目标	第34页
3.2 系统整体架构设计	第34-36页
3.3 客户端功能模块	第36-39页
3.3.1 插桩模块	第37-38页
3.3.2 网络通信模块	第38-39页
3.4 服务器端功能模块	第39-42页
3.5 本章小结	第42-43页
第四章系统的详细设计实现	第43-67页
4.1 插桩模块	第43-63页
4.1.1 插桩编译流程	第43-44页
4.1.2 插桩规则	第44-46页
4.1.3 桩函数的设计	第46-53页
4.1.4 插桩模块的实现	第53-63页
4.2 通信模块	第63-64页
4.3 服务器端模块	第64-66页
4.4 本章小结	第66-67页
第五章实验与结果分析	第67-85页
5.1 实验环境介绍	第67页
5.2 工具安装	第67-69页
5.3 系统功能测试	第69-84页
5.3.1 测试流程	第69-70页
5.3.2 整型变量的插桩测试	第70-74页
5.3.3 浮点型变量的插桩测试	第74-79页
5.3.4 数组的符号化测试	第79-82页
5.3.5 结构体的符号化测试	第82-84页
5.4 本章小结	第84-85页
第六章总结与展望	第85-87页
6.1 总结	第85页
6.2 展望	第85-87页
致谢	第87-88页
参考文献	第88-91页

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

更多论文
基于CIL自动化插桩的研究与设计
长沙商贸旅游职业技术学院教学设备
中国电信天翼空间扬州3G生活门户的
某货场无线集群核心网MME系统S1AP模
城域音视频交互系统服务平台软件的
音视频新闻内容侦测系统的设计与实
基于Android的即时通讯系统的研究与
基于OpenStack的调度系统设计与实现
3GHz谱仪Linux系统的软件设计与实现
通用无线电信号仿真软件数据生成模
IQ信号发生模块驱动软件设计
面向信号测试系统中复杂信号建模及
基于VxWorks系统的VoIP网关软件设计
机票业务快捷支付系统的设计与实现
基于HTML5的职校移动学习平台的设计
针对水务行业数据分析系统的设计与
人力资源管理系统设计与实现
机载FC配置加载器系统的软件设计与
基于ATML的平台管理模块开发测试系
基于SOA证券信息系统的研究与实现
矢量网络分析仪误差校准算法及系统
一种安全的安卓应用商店的设计和实
基于GIS的城市规划软件系统的设计与
医疗专家云诊断系统的设计与实现
LTE基站软件升级开发项目的进度管理
电力市场业扩报装管理系统的设计与
中国电力建设集团人力资源综合评价
冷链箱监控平台的设计与实现
基于P2P的互联网金融平台的设计与实
四川水利职业技术学院学生信息管理
基于B/S模式的教务网络管理系统的设
基于RFID的航空机载设备仓库管理系
首饰行业内容管理系统设计与实现
微电网主控系统的设计与实现
基于多信号模型的系统可测性设计分
某应急指挥中心管理信息系统设计与
数字城建档案统一管理系统的设计与
高校教学质量师生互动信息系统的设
基于GIS的房产综合管理信息系统开发
银行交互式智能排号系统的设计与实
成都置信公司信息管理系统的设计与
重庆加州地产客户关系管理系统设计
四川绵阳移动绿网投诉管理系统的研
廉租房租赁管理系统设计与实现
天津江城小区综合管理系统设计与实
武警部队人员管理系统的设计与实现
基于Node-Webkit平台的JavaScript工
云南艺术学院表演剧目展示平台的设
机场货运部办公事务网络信息系统的
复杂组卷条件下的在线考试系统的设
基于.NET的移动基站信息综合管理系
潍坊昌大建筑公司采购管理系统的设
潍坊电力部门仓储管理系统的设计与
网上办税系统的设计与实现
金华银行在线考试系统的设计与实现
基于OpenStreetMap的地图浏览系统的
雷达回波模拟器控制软件设计与实现
统计信息服务应用平台的移植与控制

软件测试论文测试用例自动生成论文动态符号执行论文插桩技术论文 CIL论文
版权申明：目录由用户qwx00**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved