基于二进制程序的软件缺陷分析及其测试数据生成系统的设计与实现



基于二进制程序的软件缺陷分析及其测试数据生成系统的设计与实现

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

基于二进制程序的软件缺陷分析及其测试数据生成系统的设计与实现

论文目录
摘要	第1-5页
ABSTRACT	第5-9页
第一章引言	第9-13页
· 研究背景及意义	第9-10页
· 主要研究工作和创新点	第10-11页
· 论文的组织结构	第11-13页
第二章软件漏洞检测分析方法的研究现状	第13-22页
· 软件漏洞的概念	第13页
· 软件漏洞检测分析现状	第13-16页
· 基于二进制程序的漏洞分析检测研究现状	第16-19页
· 二进制文件概述	第16-17页
· 反汇编技术	第17-18页
· 二进制代码分析现状	第18-19页
· 漏洞分析检测的主要研究方法	第19-21页
· 代码动态分析	第19-20页
· 代码静态分析	第20-21页
· 本章小结	第21-22页
第三章测试数据生成方法的研究现状	第22-27页
· 随机法	第22页
· 静态法	第22-23页
· 符号执行	第23页
· 区间算术法	第23页
· 动态法	第23-24页
· 爬山法	第24页
· 迭代松弛法	第24页
· 试探法	第24-25页
· 遗传算法	第25页
· 模拟退火算法	第25页
· 总结	第25-27页
第四章覆盖目标的软件缺陷分析及其测试数据生成方法	第27-32页
· 覆盖目标的软件缺陷分析检测方法	第27-28页
· 路径敏感的遍历式检测	第27-28页
· 有重点的选择性检测	第28页
· 覆盖目标的测试数据生成方法及其特点	第28-30页
· 系统架构	第30-31页
· 路径确定模块	第30-31页
· 路径引导模块	第31页
· 本章小结	第31-32页
第五章覆盖目标的测试数据生成方法详细设计及系统分析	第32-55页
· 回溯路径部分	第32-43页
· 路径引导部分	第43-55页
· 系统流程	第44-53页
· 测试数据生成方法分析比较	第53-55页
第六章实例验证和对比验证	第55-61页
· 实例验证	第55-59页
· 对比分析	第59-61页
第七章结束语	第61-63页
· 总结	第61页
· 不足与展望	第61-63页
参考文献	第63-66页
致谢	第66-67页
攻读学位期间发表或已录用的学术论文	第67页

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

更多论文
基于二进制程序的软件缺陷分析及其
关联分析技术在搜索引擎营销中的应
云计算的发展研究
基于语义网的语义搜索服务交互模式
基于用户隐性反馈的信息觅食模型研
桌面增强现实环境下的虚实融合和三
某集团SAP系统基础架构分析与设计
某学院科研管理信息系统的设计与实
基于J2EE的电动汽车运营支撑系统的
基于机器视觉的人数统计设计
基于Flex的信息可视化框架研究与实
网络安全管理系统的测试管理方案与
基于J2EE的电力行业CRM核心业务管理
基于多版本服务切换的软件动态更新
基于数据挖掘的产品质量预测与控制
基于Android平台手机图形编辑软件的
基于Android平台图像处理算法的研究
基于Xforms标准的可视化智能表单系
基于过程改进的软件可信关联因素研
Windows Phone 7系统上IE内核自动化
物流信息系统中基于MVC的动态报表技
基于云计算平台的电信经营分析系统
业务运行协同平台中的多业务运行子
基于J2EE的云计算呼叫中心管理系统
面向商务的IT服务管理任务调度算法
电力企业综合业务分析系统设计
企业集团在线分析体系架构的研究
电信运营商精益流程管理探索与实施
投资性房地产公允价值计量模式研究
教学系统智能客户端的设计与实现
可视化虚拟电子器材编辑系统的设计
基于函数摘要的非法计算故障检测方
基于缺陷模式的资源不良行为的静态
单元自动化测试系统中路径选择方法
Java语言基于函数摘要的过程间静态
广告平台中工作流管理子系统的设计
悬挂指针的静态检测方法研究
C/C++单元自动化覆盖测试框架的研究
BPEL缺陷测试系统的设计和实现
感知校园中基于RFID的智能图书馆系
移动终端上个人数据语义搜索子系统
基于空域和时域的视频质量评价模型
多媒体网络教学系统的优化与升级
J2EE课程实验教学系统的研究与设计
多媒体英语智能客户端的交互设计和
空间目标探测与识别方法研究
支持用户定制的IT服务管理流程引擎
基于Nutch的漏洞垂直搜索引擎
基于RFID/GPS/GIS的全程智能物流系
面向可重构路由软件开发的集成编译
移动终端上个人信息检索核心子系统
基于分布式代理的网管接口性能测试
ICT服务目录的管理研究及实现
基于动态符号执行的二进制代码漏洞

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