修正条件判定覆盖测试准则的研究与实现
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第1章 绪论 | 第7-10页 |
| ·论文研究的背景 | 第7页 |
| ·论文研究的意义 | 第7-8页 |
| ·论文的主要内容 | 第8-10页 |
| 第2章 修正条件判定覆盖测试准则的研究 | 第10-18页 |
| ·修正条件判定覆盖测试准则(MC/DC)的定义 | 第10-11页 |
| ·逻辑覆盖 | 第11-18页 |
| ·逻辑覆盖的分类及各类的特点 | 第11-15页 |
| ·修正条件判定覆盖与条件判定覆盖的差异 | 第15-18页 |
| 第3章 利用修正条件判定覆盖测试准则生成案例 | 第18-26页 |
| ·目前的生成方法 | 第18-24页 |
| ·国内两种方法 | 第18-20页 |
| ·国外的生成方法 | 第20-24页 |
| ·目前的各种方法所存在的缺陷 | 第24-26页 |
| 第4章 MC/DC最小测试案例生成的改进策略 | 第26-36页 |
| ·真值表生成策略 | 第26-32页 |
| ·策略生成的依据 | 第26-28页 |
| ·策略生成的具体实现步骤 | 第28-30页 |
| ·算法描述 | 第30-32页 |
| ·优先级数组合生成策略 | 第32-36页 |
| ·策略的生成依据 | 第32-33页 |
| ·策略的实现步骤 | 第33-34页 |
| ·策略的实现算法 | 第34-36页 |
| 第5章 最小测试案例个数分析 | 第36-38页 |
| ·最小测试案例个数 | 第36-37页 |
| ·测试集个数问题举例 | 第37-38页 |
| 第6章 程序设计及实现 | 第38-49页 |
| ·类结构的说明 | 第38-40页 |
| ·firstway类 | 第38-39页 |
| ·secondway类 | 第39-40页 |
| ·time类 | 第40页 |
| ·结构体类型的说明 | 第40-42页 |
| ·实例研究 | 第42-49页 |
| ·测试集生成过程 | 第42-49页 |
| 第7章 结束语 | 第49-51页 |
| ·论文工作总结 | 第49页 |
| ·本文的创新点 | 第49-50页 |
| ·进一步的工作 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 致谢 | 第53-54页 |
| 攻读硕士学位期间发表的论文和科研项目 | 第54-55页 |
| 论文独创性声明 | 第55页 |
| 论文使用授权声明 | 第55-56页 |
