程序分支覆盖标记方法的研究

摘要	第1-4页
Abstract	第4-7页
1 绪论	第7-11页
·课题研究背景	第7-8页
·相关内容的研究现状	第8-9页
·研究的主要内容以及论文结构安排	第9-11页
2 控制流模型的分析与比较	第11-25页
·程序控制流模型	第11-20页
·传统的程序控制流模型	第11-15页
·DD程序控制流模型	第15-18页
·DD图与传统控制流图的比较	第18-20页
·程序控制流中的依赖关系	第20-24页
·支配关系	第20-22页
·蕴含关系	第22-23页
·非约束边	第23-24页
·本章小结	第24-25页
3 程序分支覆盖标记方法	第25-45页
·认识程序分支覆盖标记	第25-29页
·非约束边无法判断分支覆盖情况	第25-26页
·分支标记的定义	第26-27页
·分支覆盖确认过程	第27-29页
·关键分支寻找算法	第29-37页
·准备工作	第29-33页
·相关性质证明	第33-35页
·关键分支寻找算法	第35-37页
·分支覆盖确认算法	第37-38页
·算法分析	第38-39页
·算法复杂性分析	第38-39页
·算法有效性分析	第39页
·相关工作的比较	第39-40页
·程序插装策略概述	第40-43页
·本章小结	第43-45页
4 分支标记的应用	第45-55页
·确定测试顺序	第45-47页
·语句覆盖标记中的应用	第47-49页
·覆盖分支以及覆盖语句的表示	第49-51页
·覆盖分支的表示	第49-50页
·覆盖语句的表示	第50-51页
·关联关系的建立	第51-54页
·关联方法的简述	第52页
·建立关联关系的总体实现结构	第52-53页
·分支覆盖标记在关联追溯中的应用	第53-54页
·本章小结	第54-55页
5 总结与展望	第55-57页
致谢	第57-58页
参考文献	第58-61页
在校学习期间发表的论文	第61页