| 摘要 | 第1-9页 |
| ABSTRACT | 第9-10页 |
| 第一章 绪论 | 第10-13页 |
| §1．1 课题的研究背景 | 第10页 |
| §1．2 软件可靠性测试 | 第10-11页 |
| §1．3 课题研究的主要内容 | 第11页 |
| §1．4 论文结构 | 第11-13页 |
| 第二章 净室软件工程 | 第13-23页 |
| §2．1 净室软件工程基础 | 第13-14页 |
| 2．1．1 函数理论 | 第13-14页 |
| 2．1．2 统计理论 | 第14页 |
| §2．2 净室软件工程技术 | 第14-17页 |
| 2．2．1 在统计过程控制下的增量开发 | 第14-15页 |
| 2．2．2 基于函数的规范、设计和验证 | 第15-16页 |
| 2．2．3 统计测试和软件认证 | 第16-17页 |
| §2．3 基于使用模型的统计测试 | 第17-22页 |
| 2．3．1 基于使用模型的统计测试的优点 | 第17-18页 |
| 2．3．2 统计测试的理论基础 | 第18-19页 |
| 2．3．2．1 样本与总体 | 第18-19页 |
| 2．3．2．2 软件使用的随机属性 | 第19页 |
| 2．3．3 统计测试的实际使用 | 第19-22页 |
| 2．3．3．1 使用模型的开发 | 第20-21页 |
| 2．3．3．2 使用模型的静态分析 | 第21页 |
| 2．3．3．3 测试用例的生成与测试 | 第21页 |
| 2．3．3．4 测试充分性度量 | 第21-22页 |
| §2．4 小结 | 第22-23页 |
| 第三章 基于UML的统计测试 | 第23-28页 |
| §3．1 UML简介 | 第23-25页 |
| 3．1．1 UML的主要特点 | 第23-24页 |
| 3．1．2 UML的基本构造块 | 第24-25页 |
| §3．2 基于UML的统计测试 | 第25-27页 |
| 3．2．1 基于UML的软件测试 | 第25-26页 |
| 3．2．1．1 面向对象的软件测试 | 第25-26页 |
| 3．2．1．2 基于UML的软件测试 | 第26页 |
| 3．2．2 从UML的分析设计模型到软件使用模型的转换策略 | 第26-27页 |
| §3．3 小结 | 第27-28页 |
| 第四章 基于UML的软件使用模型构造 | 第28-34页 |
| §4．1 加入统计测试约束的UML模型形式定义 | 第28-31页 |
| 4．1．1 软件行为的场景描述 | 第28页 |
| 4．1．2 UML模型的形式化定义 | 第28-31页 |
| §4．2 基本步骤 | 第31页 |
| §4．3 构造软件使用模型基本算法 | 第31-33页 |
| 4．3．1 生成单个用例的Markov链使用模型 | 第31-32页 |
| 4．3．2 集成用例Markov链构造软件使用模型 | 第32-33页 |
| §4．4 小结 | 第33-34页 |
| 第五章 基于UML构造软件使用模型的工具 | 第34-48页 |
| §5．1 实现基础 | 第34-35页 |
| §5．2 架构设计 | 第35-37页 |
| §5．3 U2UM的详细设计与实现 | 第37-47页 |
| 5．3．1 UML用例-场景模型构造器 | 第37-42页 |
| 5．3．1．1 UML用例-场景模型构造器的设计思路与功能 | 第37-38页 |
| 5．3．1．2 UML用例-场景模型构造器的数据结构 | 第38-39页 |
| 5．3．1．3 UML用例-场景模型构造器的具体设计与实现 | 第39-42页 |
| 5．3．2 使用模型构造器 | 第42-45页 |
| 5．3．2．1 使用模型构造器的的设计思路与功能 | 第42-43页 |
| 5．3．2．2 使用模型构造器的设计要求和数据结构 | 第43页 |
| 5．3．2．3 使用模型构造器的具体设计与实现 | 第43-45页 |
| 5．3．3 操作环境与实现 | 第45-47页 |
| §5．4 小结 | 第47-48页 |
| 第六章 案例 | 第48-59页 |
| §6．1 软件需求 | 第48页 |
| §6．2 软件的UML模型描述 | 第48-54页 |
| §6．3 与基于净室方法获得的MARKOV链使用模型的比较 | 第54-58页 |
| 6．3．1 Markov链使用模型静态参数定义 | 第55-57页 |
| 6．3．2 模型比较 | 第57-58页 |
| 6．3．3 结论与改进 | 第58页 |
| §6．4 小结 | 第58-59页 |
| 结束语 | 第59-60页 |
| 致谢 | 第60-61页 |
| 附录：攻读硕士期间发表的论文 | 第61-62页 |
| 参考文献 | 第62-63页 |
