| 摘要 | 第1-8页 |
| ABSTRACT | 第8-10页 |
| 目录 | 第10-13页 |
| 图目录 | 第13-15页 |
| 第一章 绪论 | 第15-22页 |
| ·课题来源 | 第16-17页 |
| ·课题研究的目的和意义 | 第17-18页 |
| ·国内外研究概况 | 第18-20页 |
| ·论文的主要研究内容 | 第20-21页 |
| ·论文组织 | 第21-22页 |
| 第二章 软件质量评价体系与标准 | 第22-31页 |
| ·软件质量概念 | 第22-24页 |
| ·软件质量保障 | 第24-25页 |
| ·软件质量标准 | 第25-30页 |
| ·ISO9001和ISO9003 | 第25-26页 |
| ·能力成熟度模型集成CMMI | 第26-27页 |
| ·SPICE项目和ISO/IEC15504——软件过程评估标准 | 第27-29页 |
| ·IEEE/EIAStd12207——软件生命周期过程 | 第29页 |
| ·GB/T19001-2000和GB/T19004-2000简介 | 第29-30页 |
| ·小结 | 第30-31页 |
| 第三章 基于SPEM扩展的CMMI软件过程元模型 | 第31-53页 |
| ·CMMIV1.2版本的新特征 | 第31-32页 |
| ·相关研究工作 | 第32-33页 |
| ·软件过程工程元模型—SPEM简介 | 第33-35页 |
| ·SPEM概述 | 第33-34页 |
| ·SPEM的UMLProfile特性 | 第34页 |
| ·SPEM的MOF元模型特性 | 第34页 |
| ·SPEM模型的数据交换 | 第34-35页 |
| ·面向CMMI软件过程建模的SPEM扩展策略 | 第35-40页 |
| ·用于CMMI元模型的SPEM扩展机制 | 第35-36页 |
| ·SPEM扩展机制应遵守的规范 | 第36-37页 |
| ·重型扩展机制—基于MOF的SPEM扩展 | 第37页 |
| ·轻型扩展机制—基于UMLProfile的SPEM扩展 | 第37-40页 |
| ·支持CMMI软件过程建模的元模型——CMMI-SPM | 第40-47页 |
| ·CMMI-SPM软件过程的概念模型 | 第40-41页 |
| ·CMMI过程包 | 第41-42页 |
| ·CMMI过程构件 | 第42-44页 |
| ·CMMI过程结构 | 第44-46页 |
| ·CMMI过程生命周期 | 第46-47页 |
| ·CMMI-SPM过程建模示例 | 第47-51页 |
| ·小结 | 第51-53页 |
| 第四章 使用TSP加速CMMI的实现 | 第53-72页 |
| ·TSP概述 | 第53-57页 |
| ·TSP和CMMI过程域的比较 | 第57-63页 |
| ·TSP和连续式CMMI过程域的比较 | 第57-60页 |
| ·TSP和阶段式CMMI过程域的比较 | 第60-63页 |
| ·TSP与CMMI的融合 | 第63-67页 |
| ·TSP中的度量技术加速了CMMI的升级 | 第64-65页 |
| ·TSP与CMMI的互补有利于CMMI的实现 | 第65页 |
| ·TSP的实践加速CMMI各等级的实现 | 第65-66页 |
| ·TSP为CMMI提供工作产品类型及模板 | 第66页 |
| ·TSP角色及其职责定义可以用于CMMI | 第66-67页 |
| ·基于TSP的CMMI过程改进平台的设计与实现 | 第67-71页 |
| ·设计原则 | 第67-68页 |
| ·开发工具与环境 | 第68页 |
| ·系统架构 | 第68-70页 |
| ·应用示例 | 第70-71页 |
| ·小结 | 第71-72页 |
| 第五章 软件度量技术 | 第72-87页 |
| ·软件度量学简介 | 第72-76页 |
| ·传统的面向过程的软件度量学 | 第72-73页 |
| ·面向对象的软件度量学 | 第73-74页 |
| ·软件质量度量 | 第74-76页 |
| ·一种新的度量模型GQ(Ⅰ)M-D | 第76-77页 |
| ·基于GQ(Ⅰ)M-D的软件过程度量 | 第77-79页 |
| ·过程目标—问题—度量的确立 | 第78-79页 |
| ·过程度量的支持工具 | 第79页 |
| ·过程产品度量 | 第79-86页 |
| ·UML模型的度量 | 第79-80页 |
| ·面向对象源代码度量 | 第80页 |
| ·源代码的规模测量 | 第80-86页 |
| ·小结 | 第86-87页 |
| 第六章 基于UML活动图测试技术 | 第87-122页 |
| ·软件测试概述 | 第87-89页 |
| ·从UML活动图产生测试场景的方法 | 第89-116页 |
| ·反蚁群Agent方法 | 第90-93页 |
| ·灰盒方法 | 第93-94页 |
| ·自适应细菌Agent方法 | 第94-99页 |
| ·系统的形式方法 | 第99-116页 |
| ·UML活动图测试方法的比较分析 | 第116-117页 |
| ·测试工具的设计与实现 | 第117-118页 |
| ·从UML活动图产生测试场景的示例 | 第118-120页 |
| ·小结 | 第120-122页 |
| 第七章 结束语 | 第122-125页 |
| ·本文主要贡献 | 第122-123页 |
| ·将来的工作 | 第123-125页 |
| 参考文献 | 第125-129页 |
| 附录一 定理证明 | 第129-131页 |
| 附录二 描述UML活动图的XMLSCHEMA | 第131-134页 |
| 攻读博士学位期间完成的论文 | 第134-135页 |
| 攻读博士学位期间的科研情况 | 第135-136页 |
| 攻读博士学位期间获得的软件著作权 | 第136-137页 |
| 致谢 | 第137页 |
