进化测试在嵌入式汇编的嵌套分支结构中的应用
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8-10页 |
| ·进化测试工具框架 | 第10-11页 |
| ·论文研究问题 | 第11-12页 |
| ·论文的主要工作和内容安排 | 第12-13页 |
| 第二章 嵌入式汇编代码植入技术与进化测试技术 | 第13-23页 |
| ·嵌入式软件测试方法 | 第13-14页 |
| ·代码植入技术 | 第14-16页 |
| ·静态植入技术 | 第14-15页 |
| ·动态植入技术 | 第15-16页 |
| ·进化测试 | 第16-18页 |
| ·进化测试基本概念 | 第18-20页 |
| ·针对分支覆盖测试的适值函数计算公式 | 第20-23页 |
| 第三章 基于嵌入式汇编代码植入技术实现 | 第23-33页 |
| ·嵌入式汇编代码中的代码植入问题 | 第23-28页 |
| ·MCS-51嵌入式汇编的寻址方式 | 第23-26页 |
| ·代码间植入问题 | 第26-27页 |
| ·代码变换植入问题 | 第27-28页 |
| ·解决方案 | 第28页 |
| ·代码植入技术具体实现 | 第28-30页 |
| ·代码间植入实现 | 第29页 |
| ·代码变换植入实现 | 第29-30页 |
| ·本章小结 | 第30-33页 |
| 第四章 适值函数在基于汇编的嵌套分支结构中的应用 | 第33-45页 |
| ·基于传统的适值函数计算方法 | 第33-36页 |
| ·传统适值计算方法的实现 | 第33-35页 |
| ·存在问题 | 第35-36页 |
| ·基于分支距离的嵌套分支结构适值函数计算方法 | 第36-39页 |
| ·基于累计分支距离的适值计算实现 | 第36-37页 |
| ·存在问题 | 第37-39页 |
| ·基于分支乐观度的适值计算方法 | 第39-43页 |
| ·基于分支乐观度适值计算实现 | 第39-42页 |
| ·基于分支乐观度适值计算优势 | 第42-43页 |
| ·本章小结 | 第43-45页 |
| 第五章 实验验证与分析 | 第45-49页 |
| ·实验环境 | 第45页 |
| ·进化搜索过程 | 第45-46页 |
| ·实验验证 | 第46-48页 |
| ·实验代码选择 | 第46页 |
| ·实验结果与分析 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 第六章 结束语 | 第49-51页 |
| ·总结 | 第49页 |
| ·进一步工作 | 第49-51页 |
| 致谢 | 第51-53页 |
| 参考文献 | 第53-57页 |
| 作者在读期间的研究成果 | 第57页 |
