基于构件的软件开发关键问题研究
| 图目录 | 第1-7页 |
| 表目录 | 第7-8页 |
| 摘要 | 第8-10页 |
| Abstract | 第10-12页 |
| 第1章 绪论 | 第12-28页 |
| ·研究背景及意义 | 第12-14页 |
| ·研究现状 | 第14-25页 |
| ·构件模型的研究现状 | 第14-18页 |
| ·构件的描述与检索研究现状 | 第18-20页 |
| ·构件的自动化测试研究现状 | 第20-22页 |
| ·构件组装研究现状 | 第22-25页 |
| ·本文的研究内容 | 第25-26页 |
| ·本文的组织结构 | 第26-28页 |
| 第2章 相关概念及理论 | 第28-44页 |
| ·构件定义 | 第28-30页 |
| ·软件构件定义 | 第28-29页 |
| ·构件库及其管理系统 | 第29-30页 |
| ·形式化方法 | 第30-32页 |
| ·形式化方法的定义和发展历史 | 第30-31页 |
| ·形式化方法在现阶段的主要研究内容 | 第31-32页 |
| ·指称语义基础 | 第32-34页 |
| ·概述 | 第32-33页 |
| ·动态语义 | 第33-34页 |
| ·遗传算法 | 第34-38页 |
| ·遗传算法的思想起源 | 第34-35页 |
| ·基本概念 | 第35-36页 |
| ·计算过程 | 第36-38页 |
| ·CSP概述 | 第38-44页 |
| ·CSP运算符 | 第38-39页 |
| ·CSP基本定义及语法 | 第39-40页 |
| ·CSP语义 | 第40-41页 |
| ·进程变换 | 第41-44页 |
| 第3章 构件形式化描述模型 | 第44-52页 |
| ·引言 | 第44-46页 |
| ·构件的属性描述 | 第46-47页 |
| ·构件的接口描述 | 第47-48页 |
| ·构件的类别描述 | 第48-49页 |
| ·构件的环境描述 | 第49-50页 |
| ·构件的附加文档 | 第50-52页 |
| 第4章 基于认知理论的构件检索 | 第52-72页 |
| ·引言 | 第52-54页 |
| ·基于本体的构件属性比较 | 第54-57页 |
| ·本体的定义 | 第54-55页 |
| ·本体的组成 | 第55页 |
| ·本体分类 | 第55-57页 |
| ·形式化的构件检索 | 第57-58页 |
| ·构件的匹配级检索 | 第57-58页 |
| ·构件的原型级检索 | 第58页 |
| ·构件的特征级检索 | 第58页 |
| ·检索证明 | 第58-62页 |
| ·公理化方法 | 第59-60页 |
| ·公理化证明 | 第60-62页 |
| ·实验 | 第62-72页 |
| ·系统的开发环境 | 第63页 |
| ·基于OWL的构件描述 | 第63-67页 |
| ·核心算法 | 第67-70页 |
| ·系统检索效率对比分析 | 第70-72页 |
| 第5章 面向构件的测试用例的自动生成 | 第72-96页 |
| ·引言 | 第72-73页 |
| ·构件内置测试模型 | 第73-75页 |
| ·构件内置测试点的自动选择 | 第75-78页 |
| ·构件内置测试数据的自动生成 | 第78-82页 |
| ·基于遗传算法的构件内置测试用例生成方法 | 第82-87页 |
| ·测试用例编码 | 第82-84页 |
| ·遗传操作 | 第84-85页 |
| ·适应度函数 | 第85-87页 |
| ·遗传算法的求解步骤 | 第87页 |
| ·实验 | 第87-94页 |
| ·参数设定 | 第89页 |
| ·测试数据分析 | 第89-92页 |
| ·实验结果 | 第92-94页 |
| ·本章小结 | 第94-96页 |
| 第6章 基于CSP的构件组装机制 | 第96-108页 |
| ·引言 | 第96-98页 |
| ·构件的组装机制描述 | 第98-99页 |
| ·构件规约 | 第99-103页 |
| ·构件端口规约 | 第99-101页 |
| ·构件的行为规约 | 第101-103页 |
| ·实例分析 | 第103-108页 |
| 第7章 工作总结与展望 | 第108-110页 |
| 参考文献 | 第110-120页 |
| 致谢 | 第120-122页 |
| 作者在攻读博士学位期间发表的论文目录 | 第122-126页 |
| 作者在攻读博士学位期间参加的科研活动 | 第126页 |
