| 摘要 | 第1-4页 |
| ABSTRACT | 第4-10页 |
| 1 绪论 | 第10-17页 |
| ·课题的提出 | 第10-11页 |
| ·相关领域的研究现状 | 第11-15页 |
| ·GUI 软件测试 | 第11-13页 |
| ·知识建模技术 | 第13-15页 |
| ·研究目标和研究内容 | 第15页 |
| ·论文的组织结构 | 第15-17页 |
| 2 课题研究基础 | 第17-27页 |
| ·GUI 软件测试 | 第17-20页 |
| ·什么是GUI | 第17-18页 |
| ·GUI 软件的测试内容 | 第18页 |
| ·GUI 软件的测试特点 | 第18-19页 |
| ·GUI 软件的测试步骤 | 第19-20页 |
| ·本体建模技术 | 第20-26页 |
| ·本体的定义 | 第20页 |
| ·本体建模原语 | 第20-21页 |
| ·网络本体语言OWL | 第21-24页 |
| ·领域本体的构建方法 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 3 通用GUI 软件测试用例的本体模型 | 第27-37页 |
| ·GUI 软件测试用例的知识分析和提炼 | 第27-29页 |
| ·GUI 软件测试用例的含义分析 | 第27-28页 |
| ·GUI 软件测试用例的知识提炼 | 第28-29页 |
| ·通用GUI 软件测试用例本体模型 | 第29-32页 |
| ·通用GUI 软件测试用例本体的概念模型 | 第29-30页 |
| ·通用GUI 软件测试用例本体中的概念和关系 | 第30-32页 |
| ·基于OWL-DL 的通用GUI 软件测试用例本体模型 | 第32-36页 |
| ·Protégé_OWL 本体编辑工具 | 第32页 |
| ·通用GUI 软件测试用例本体的OWL-DL 描述 | 第32-36页 |
| ·本章小结 | 第36-37页 |
| 4 堆芯换料管理系统测试用例的知识建模 | 第37-55页 |
| ·堆芯换料管理系统的测试特点分析 | 第37-39页 |
| ·堆芯换料管理系统测试用例本体模型 | 第39-46页 |
| ·被测的堆芯换料管理系统界面和业务逻辑 | 第39-41页 |
| ·堆芯换料管理系统测试用例本体的概念模型 | 第41-43页 |
| ·堆芯换料管理系统测试用例本体的OWL-DL 描述 | 第43-46页 |
| ·基于SWRL 的测试用例生成规则描述 | 第46-54页 |
| ·语义网络规则语言SWRL | 第46-50页 |
| ·测试用例生成规则 | 第50-54页 |
| ·本章小结 | 第54-55页 |
| 5 基于本体和规则推理的测试用例生成 | 第55-74页 |
| ·OWL 和SWRL 的不足 | 第55页 |
| ·Jess 推理引擎 | 第55-56页 |
| ·软件测试用例自动生成系统框架 | 第56-57页 |
| ·OWL 本体到Jess 事实的转换 | 第57-59页 |
| ·OWL 本体到Jess 事实的转换方法 | 第57-58页 |
| ·Jess 中类、属性、事实的表示方法 | 第58-59页 |
| ·SWRL 规则到Jess 规则的转换 | 第59-67页 |
| ·SWRL 规则到Jess 规则的转换 | 第59-62页 |
| ·Jess 系统中的堆芯换料管理系统测试用例生成规则 | 第62-67页 |
| ·堆芯换料管理系统测试用例推理结果 | 第67-68页 |
| ·结果验证和分析 | 第68-73页 |
| ·本章小结 | 第73-74页 |
| 6 结束语 | 第74-77页 |
| ·本文的主要工作 | 第74-75页 |
| ·未来的工作展望 | 第75-77页 |
| 参考文献 | 第77-80页 |
| 附录1：通用GUI 软件测试用例本体OWL 文档 | 第80-90页 |
| 附录2：验证一的Jess 规则 | 第90-92页 |
| 附录3：验证二的Jess 规则 | 第92-96页 |
| 致谢 | 第96-97页 |
| 攻读学位期间发表的学术论文 | 第97-99页 |
