基于消息机制的软件自动测试技术研究
| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第1章 绪论 | 第12-23页 |
| ·课题背景 | 第12-17页 |
| ·软件危机 | 第12-13页 |
| ·软件测试概述 | 第13-15页 |
| ·软件测试发展现状 | 第15-17页 |
| ·研究现状 | 第17-21页 |
| ·国外研究现状 | 第17-18页 |
| ·国内研究现状 | 第18-20页 |
| ·不足之处分析 | 第20-21页 |
| ·本文主要研究工作 | 第21-22页 |
| ·本文组织结构 | 第22-23页 |
| 第2章 消息机制与Hook技术 | 第23-30页 |
| ·Windows消息机制 | 第23-26页 |
| ·消息机制原理 | 第23-25页 |
| ·消息系统组成 | 第25-26页 |
| ·Hook技术 | 第26-28页 |
| ·Hook实现原理 | 第26-27页 |
| ·钩子的安装 | 第27页 |
| ·钩子的调用 | 第27-28页 |
| ·钩子的卸载 | 第28页 |
| ·Hook技术在软件测试用的应用 | 第28-29页 |
| ·小结 | 第29-30页 |
| 第3章 消息序列理论模型 | 第30-37页 |
| ·消息功能段划分 | 第30-31页 |
| ·消息序列构造模型 | 第31-35页 |
| ·MFS模型 | 第31-33页 |
| ·测试策略 | 第33页 |
| ·测试判别规则 | 第33-35页 |
| ·测试实施步骤 | 第35-36页 |
| ·小结 | 第36-37页 |
| 第4章 消息序列衍生策略与方法 | 第37-45页 |
| ·消息序列衍生策略 | 第37-38页 |
| ·木桶原理与80-20法则 | 第37页 |
| ·消息序列衍生原则 | 第37-38页 |
| ·消息序列衍生方法 | 第38-44页 |
| ·等价类划分 | 第38-39页 |
| ·边界值分析 | 第39-41页 |
| ·非典型植错法 | 第41页 |
| ·因果图法 | 第41-44页 |
| ·小结 | 第44-45页 |
| 第5章 系统设计与实现 | 第45-58页 |
| ·系统总体设计 | 第45-48页 |
| ·工作原理 | 第45-46页 |
| ·系统结构设计 | 第46-47页 |
| ·开发平台与运行环境 | 第47-48页 |
| ·系统详细设计 | 第48-51页 |
| ·学习引擎 | 第48-49页 |
| ·MFS衍生构造器 | 第49页 |
| ·测试引擎 | 第49-51页 |
| ·测试管理功能 | 第51页 |
| ·实验分析 | 第51-56页 |
| ·实验步骤 | 第51-55页 |
| ·实验结果分析 | 第55-56页 |
| ·小结 | 第56-58页 |
| 总结 | 第58-60页 |
| 参考文献 | 第60-66页 |
| 致谢 | 第66-68页 |
| 附录A(攻读学位期间所发表的学术论文) | 第68-70页 |
| 附录B(攻读学位期间参与的主要项目) | 第70页 |
