教育论文网

执行上下文感知的半自动化软件调试方法研究

硕士博士毕业论文站内搜索    
分类:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文计算机软件论文程序设计、软件工程论文软件工程论文
执行上下文感知的半自动化软件调试方法研究
论文目录
 
论文创新点第1-14页
摘要第14-16页
Abstract第16-18页
1 绪论第18-30页
  1.1 研究背景及意义第18-19页
  1.2 基于测试的软件调试方法相关研究第19-25页
    1.2.1 传统软件调试方法第19页
    1.2.2 基于智能理解的错误定位第19-20页
    1.2.3 差分式调试方法第20-21页
    1.2.4 基于切片的软件调试方法第21页
    1.2.5 统计式错误定位方法第21-24页
    1.2.6 基于测试的程序错误诊断第24页
    1.2.7 软件调试、测试用例的优化及约简第24-25页
    1.2.8 软件漏洞的自动化分析与调试第25页
  1.3 论文的出发点、主要工作及贡献第25-28页
    1.3.1 本文的出发点第25-26页
    1.3.2 本文的主要工作第26-27页
    1.3.3 本文的主要贡献第27-28页
  1.4 论文结构第28-30页
2 执行上下文感知的半自动化软件调试框架第30-38页
  2.1 基本定义第30-33页
    2.1.1 软件缺陷、错误及失效第30-32页
    2.1.2 程序的结构化表示第32-33页
    2.1.3 基于测试的软件调试问题描述第33页
  2.2 执行上下文感知的软件调试框架第33-34页
  2.3 本文各章节之间的关系第34页
  2.4 错误定位的准确性与精度第34-35页
  2.5 错误定位与错误诊断的协同和导向性第35-36页
  2.6 软件漏洞的调试第36-37页
  2.7 本章小结第37-38页
3 执行过程差异化的错误定位方法第38-62页
  3.1 研究动机第38-41页
  3.2 基本定义与总体设计第41-43页
    3.2.1 基本定义第41-42页
    3.2.2 总体设计第42-43页
  3.3 覆盖向量的失效率第43-45页
  3.4 基本块的错误可疑度计算第45-46页
  3.5 相同可疑度情况下的置信度第46-47页
  3.6 实验及结果分析第47-61页
    3.6.1 实验样本第47-48页
    3.6.2 评估指标第48页
    3.6.3 不同方法的横向对比第48-51页
    3.6.4 交叉性实验结果第51-54页
    3.6.5 与同等方法的对比第54-57页
    3.6.6 PAFL方法与测试用例相似度的关系第57-60页
    3.6.7 讨论第60-61页
  3.7 本章小结第61-62页
4 基于切片的统计式错误定位方法第62-76页
  4.1 研究动机第62-63页
  4.2 基于切片的感染链切割第63-68页
    4.2.1 程序输出与测试预言的结构化表示第64页
    4.2.2 逆向依赖分析第64-65页
    4.2.3 半动态切片第65-67页
    4.2.4 基于切片的感染链统计分析第67-68页
  4.3 受控实验中的实现细节第68-69页
    4.3.1 失效结果与I/O代码的映射第68-69页
    4.3.2 基于执行轨迹的半动态切片第69页
  4.4 实验及结果分析第69-75页
    4.4.1 实验样本第69-70页
    4.4.2 评估指标第70-71页
    4.4.3 实验结果总体分析第71-72页
    4.4.4 不同类别错误定位结果分析第72-74页
    4.4.5 讨论第74-75页
  4.5 本章小结第75-76页
5 基于序列挖掘的错误/失效关联分析方法第76-98页
  5.1 研究动机第76-79页
  5.2 程序失效执行规则第79-80页
  5.3 面向序列挖掘的频繁集求解第80-83页
    5.3.1 路径的覆盖向量表示第80-81页
    5.3.2 频繁集求解第81-82页
    5.3.3 代码检查次序组织第82-83页
    5.3.4 复杂度分析第83页
  5.4 实验及结果分析第83-94页
    5.4.1 实验样本第83-84页
    5.4.2 评估指标第84页
    5.4.3 实验结果总体分析第84-86页
    5.4.4 不同类型的实验结果分析第86-90页
    5.4.5 不同程序的独立结果分析和相互比较第90-93页
    5.4.6 针对不同错误的结果分析第93-94页
  5.5 讨论第94-96页
    5.5.1 序列挖掘方法的不足第94页
    5.5.2 案例分析第94-95页
    5.5.3 可改进之处第95-96页
  5.6 本章小结第96-98页
6 错误定位导向的测试用例差分组合与选择方法第98-112页
  6.1 研究动机第98-99页
  6.2 基本定义与模型设计第99-102页
    6.2.1 差异化的失效分析第100-101页
    6.2.2 PIE模型之于CBFL方法的差异化分析第101-102页
    6.2.3 状态差异的最小化第102页
  6.3 基于最小差异化的测试用例组合第102-105页
    6.3.1 以代数平均数为基准的差异化度量第102-103页
    6.3.2 加权Jaccard相似度系数第103-104页
    6.3.3 失效用例的优先级第104-105页
  6.4 实验设计与结果分析第105-111页
    6.4.1 实验样本第105-106页
    6.4.2 评估指标第106-107页
    6.4.3 测试用例选择对错误定位结果的影响第107-111页
    6.4.4 讨论第111页
  6.5 本章小节第111-112页
7 基于结构化污点的漏洞调试方法第112-133页
  7.1 漏洞测试及调试的研究现状第112-115页
    7.1.1 现有软件调试方法之于漏洞调试的挑战第113-114页
    7.1.2 动态污点分析技术第114-115页
    7.1.3 研究问题与目标第115页
  7.2 研究动机及主要挑战第115-119页
    7.2.1 研究动机示例第116-118页
    7.2.2 主要挑战第118-119页
  7.3 基本定义与总体设计第119-121页
    7.3.1 基本定义第119页
    7.3.2 模式异常第119-120页
    7.3.3 基于结构化污点的漏洞调试主要步骤第120-121页
  7.4 基于结构化污点的漏洞调试实现细节第121-127页
    7.4.1 细粒度的结构化动态污点分析第121-122页
    7.4.2 数据域的动态分析第122-125页
    7.4.3 模式归一化第125页
    7.4.4 数据流异常检测第125-127页
  7.5 实验设计和结果分析第127-132页
    7.5.1 实验设计第127页
    7.5.2 实验样本第127-128页
    7.5.3 实验结果第128页
    7.5.4 实例分析第128-131页
    7.5.5 讨论第131-132页
  7.6 本章小结第132-133页
8 总结与展望第133-135页
  8.1 总结第133页
  8.2 工作展望第133-135页
参考文献第135-153页
攻读博士期间的科研成果第153-155页
致谢第155页

本篇论文共155页,点击这进入下载页面
 
更多论文
执行上下文感知的半自动化软件调试
X印刷企业数字化工作流程项目管理研
基于不变特征的数字水印与感知哈希
复杂社团网络中病毒传播与控制研究
解放公司J7卡车产品差异化战略研究
H公司饮品生产计划与控制的优化研究
虚拟计算环境下系统安全增强方法研
基于质量管理体系的JT公司的质量改
计算机免疫危险理论的数字微分方法
六西格玛管理在长航液控公司Z项目质
基于正交分解的交换密码水印技术研
沈阳波菲克机电设备公司产品差异化
适用于多/众核系统的智能目录高速缓
富华公司新产品开发和导入流程改造
双视场激光雷达及大气气溶胶探测研
瓦轴集团轧机轴承生产过程的质量控
RPC模型在星载SAR与星载InSAR几何处
Y公司造型车间精益生产管理的应用研
基于TOF深度摄像机的深度超分辨率恢
一汽—大众新产品导入管理问题研究
高清机顶盒芯片设计中的关键技术研
基于ERP的HG化工企业生产管理系统研
管理创新能力调节下技术创新能力对
多载波微放电过程的概率分析
基于资源理论的企业间价值共创对创
桃园中无线传感网络通信效能提高的
基于演化博弈的中小企业开放式创新
基于随机几何理论的无线Ad Hoc网络
不同竞争战略下世界级制造实践与运
认知无线系统中分布式宽带频谱压缩
产业政策对风电制造企业技术创新的
复杂新产品开发中的知识整合研究
无线传感器网络多媒体信息协作处理
企业国际合作研发知识转移影响因素
认知无线电网络中基于博弈论的动态
智力资本对企业绩效的影响实证研究
无线网络QoS保障跨层优化若干问题研
知识网络对企业破坏性创新绩效的影
基于认知无线电的协作频谱感知技术
社会资本视角下的企业技术选择研究
企业创新惰性测评及调节系统的构建
认知无线网络有效容量及功率控制研
LTE自优化网络关键技术研究
社会资本对技术管理影响新产品开发
基于ENF信号的数字音频篡改盲检测研
新宇添华合金公司脱氧剂产品质量改
基于压缩感知的分布式视频编码研究
迈瑞公司PCBA生产线统计过程控制研
基于身份的公钥密码系统的研究
房地产行业顾客满意度影响因素的实
多进制LDPC码与大规模MIMO级联相关
广东外运公司品牌经营策略研究
低秩矩阵恢复的限制等距常数界
长沙正大饲料有限公司营销渠道策略
低功耗全边沿触发器设计研究
汝城县烟草公司卷烟营销策略研究
可调谐微波光子滤波器的研究
康师傅控股有限公司饮料营销策略改
Ambisonics声重放系统的稳定性与音
云南冶金集团供应链管理系统规划研
基于Simulink模型的细粒度多线程技
北京移动高端客户的服务与管理研究
智能功率集成电路及高压功率器件可
销售运作规划(S&OP)在利洁时公司
纳米工艺集成电路成品率专用测试结
基于顾客参与的餐饮业服务创新和顾
先进工艺下集成电路的静电放电防护
基于FMADM思想的供应商战略合作伙伴
单晶硅纳米结构的TEM内原位拉伸实验
基于集成光波导的波长解析器件的研
服务氛围及其对服务质量影响研究—
表面等离子激元光波导的基础研究
K公司家用净水器的市场营销策略优化
复杂环境下红外目标检测及跟踪技术
基于聚类结果调整方法的客户细分研
基于表面等离子体的新型光子器件研
中国建设银行吉林省分行信用卡营销
中国图书出版企业(集团)信息化评
C公司香水在中国市场营销策略研究
我国出版企业核心竞争力评价及提升
吉林烟草工业有限责任公司卷烟品牌
中国国有图书发行企业信息化建设研
项目化管理模式在中兴通讯市场营销
当代中国电视奇观现象研究
关于建立移动通信市场营销管理体系
我国少儿电视频道运营研究
D基金管理有限公司东北分公司营销策
我国城市化进程中的社区传媒应用研
BD建设集团WNS项目营销策略研究
面向社会化媒体的用户特征分析关键
社交网络影响力传播的分析与挖掘研
一汽—大众汽车有限公司零部件采购
线性体提取方法及其在地质方面的研
南京C汽车4S店盈利能力分析
海量卫星遥感数据参量产品自动化生
吉林铁通集团客户开发策略研究
炼油化工装置先进控制的研究与应用
一汽—大众高尔夫轿车营销策略研究
多自主移动机器人协作的关键技术研
天德盛酒业公司品牌营销策略研究
球形机器人坡面运动的控制方法研究
招商银行长春分行零售业务营销策略
平动式啮合电机理论与控制研究
WZZ公司采购流程改进研究
基于视觉信息与方位角的移动机械臂
F公司供应链管理改进研究
光子晶体波导与微腔控光特性及传感
宏观调控背景下的绿地集团地产公司
基于群体智能的WSN信任管理关键技术
天富期货有限公司客户关系管理研究
基于分形理论的无线传感器网络优化
中国农业银行QCC支行服务营销策略研
面向模糊车间调度问题的智能算法研
A物流公司配送业务市场营销策略研究
基于全信息的问答系统研究
HK药企电子商务模式的服务营销分析
非高斯混合模型的变分学习算法研究
锦州爱丽丝化妆品连锁店微博营销策
云化业务平台可伸缩性研究
中信银行长春分行零售业务营销创新
云计算环境中访问控制的机制和关键
长白山国际温泉度假酒店的营销方案
基于社会化媒体的观点和行为挖掘研
一汽马自达网络营销模式改进研究
服务网络中若干关键问题的研究
JF公司采购管理问题及对策研究
云服务的部署及管理机制研究
基于顾客满意度提升的销售流程改进
社交网络用户交互模型及行为偏好预
J银行机构业务营销策略研究
Web服务组合关键机制
昊源.高格蓝湾项目营销策略研究
 
软件调试论文 错误定位论文 错误诊断论文 漏洞诊断论文 执行上下文论文
版权申明:目录由用户yiwuli**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved