首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于“生成—检验”框架的软件代码错误自动修复技术研究

摘要第3-4页
abstract第4-5页
主要符号对照表第9-10页
第1章 绪论第10-19页
    1.1 研究背景第10-13页
    1.2 研究现状第13-16页
        1.2.1 错误定位算法第13-14页
        1.2.2 修复建议生成第14-16页
        1.2.3 修复建议检验第16页
    1.3 研究思路第16-17页
    1.4 论文贡献第17-18页
    1.5 论文结构第18-19页
第2章 错误定位优化第19-48页
    2.1 引言第19-21页
    2.2 相关工作第21-23页
        2.2.1 SFL算法定位精度测评第21-22页
        2.2.2 影响SFL精确度的因素第22页
        2.2.3 测试期望的自动生成第22-23页
    2.3 测试期望纠错的必要性第23-32页
        2.3.1 例程第24-25页
        2.3.2 在西门子测试集上的实验第25-32页
    2.4 测试期望纠错算法第32-40页
        2.4.1 相似性度量第34-35页
        2.4.2 投票策略第35页
        2.4.3 参数设置第35-39页
        2.4.4 时间与空间复杂度分析第39-40页
    2.5 实验结果及分析第40-45页
        2.5.1 修复测试期望错误第40-41页
        2.5.2 SFL算法精度恢复第41-45页
    2.6 讨论第45-47页
    2.7 本章小结第47-48页
第3章 搜索引擎优化第48-70页
    3.1 引言第48-50页
    3.2 相关工作第50-53页
        3.2.1 搜索空间设计第50页
        3.2.2 搜索算法设计第50-53页
        3.2.3 搜索空间分析第53页
    3.3 “预过滤”算法第53-57页
    3.4 搜索引擎实现第57-63页
        3.4.1 替换表达式的生成第58页
        3.4.2 预过滤算法的嵌入第58-59页
        3.4.3 预过滤算法实现第59-61页
        3.4.4 预过滤算法效率分析第61-63页
    3.5 实验结果及分析第63-67页
    3.6 预过滤算法的局限性第67-68页
    3.7 本章小结第68-70页
第4章 框架扩展第70-88页
    4.1 引言第70-71页
    4.2 交互式调试第71-77页
        4.2.1 概述第71-72页
        4.2.2 相关工作第72-73页
        4.2.3 交互模式第73-74页
        4.2.4 系统结构第74-75页
        4.2.5 扩展的错误定位第75页
        4.2.6 调试进度控制第75-76页
        4.2.7 实验结果第76-77页
    4.3 针对单类别错误的可扩展框架第77-87页
        4.3.1 概述第77-78页
        4.3.2 相关工作第78-79页
        4.3.3 框架设计第79-84页
        4.3.4 扩展示例第84-87页
    4.4 本章小结第87-88页
第5章 SmartDebug工具设计与实现第88-97页
    5.1 引言第88页
    5.2 功能模块第88-89页
        5.2.1 检查点管理模块第88-89页
        5.2.2 修复建议提示与应用模块第89页
    5.3 应用示例第89-95页
    5.4 本章小结第95-97页
第6章 总结与展望第97-99页
    6.1 工作总结第97页
    6.2 研究展望第97-99页
插图索引第99-101页
表格索引第101-102页
公式索引第102-103页
参考文献第103-109页
致谢第109-111页
附录A 公式2-2和2-3的证明第111-117页
个人简历、在学期间发表的学术论文与研究成果第117-118页

论文共118页,点击 下载论文
上一篇:锆基非晶合金塑韧性与物性、结构不均匀性的关联性研究
下一篇:增材制造CoCrMoNbTi与AlCoCuFeNi高熵合金及其组织性能研究