| 图目录 | 第1-7页 |
| 表目录 | 第7-8页 |
| 算法目录 | 第8-10页 |
| 摘要 | 第10-12页 |
| ABSTRACT | 第12-14页 |
| 第一章 绪论 | 第14-23页 |
| ·软件可靠性和高可靠软件开发 | 第15-17页 |
| ·软件测试技术 | 第17-20页 |
| ·论文主要研究内容 | 第20-21页 |
| ·论文结构 | 第21-23页 |
| 第二章 软件可靠性、软件测试和基于UML的软件测试 | 第23-45页 |
| ·软件可靠性与软件统计测试 | 第23-31页 |
| ·面向对象软件测试技术 | 第31-35页 |
| ·统一建模语言UML | 第35-40页 |
| ·基于UML的软件测试 | 第40-44页 |
| ·本章小结 | 第44-45页 |
| 第三章 基于UML的软件Markov链使用模型生成 | 第45-68页 |
| ·UML用例和场景的形式定义 | 第45-51页 |
| ·基于UML的软件Markov链使用模型生成 | 第51-56页 |
| ·加入统计测试约束的软件UML模型一致性 | 第56-61页 |
| ·一个卫星控制系统的实例 | 第61-67页 |
| ·本章小结 | 第67-68页 |
| 第四章 基于UML的实时软件Markov链使用模型生成 | 第68-85页 |
| ·加入时间约束和统计测试约束的UML模型的形式定义 | 第68-72页 |
| ·基于UML的实时软件Markov链使用模型生成 | 第72-78页 |
| ·加入时间约束和统计测试约束的软件UML模型一致性 | 第78-80页 |
| ·实例研究 | 第80-84页 |
| ·本章小结 | 第84-85页 |
| 第五章 基于重要抽样技术的软件统计测试加速 | 第85-96页 |
| ·高可靠软件统计测试存在的问题 | 第85页 |
| ·基于重要抽样技术的软件统计测试加速 | 第85-92页 |
| ·实例和计算结果分析 | 第92-95页 |
| ·本章小结 | 第95-96页 |
| 第六章 统计测试例产生和自动化支持工具设计与实现 | 第96-108页 |
| ·非实时软件的统计测试序列产生 | 第96-97页 |
| ·实时软件的统计测试序列产生 | 第97-102页 |
| ·统计测试序列中参数变量值的确定 | 第102-104页 |
| ·统计测试加速测试例产生 | 第104页 |
| ·自动化支持工具RT-UMGen的设计与实现 | 第104-107页 |
| ·本章小结 | 第107-108页 |
| 第七章 一个电机系统控制软件实例研究 | 第108-119页 |
| ·电机系统控制软件 | 第108-114页 |
| ·基于UML的MSCS统计测试过程 | 第114-118页 |
| ·本章小结 | 第118-119页 |
| 第八章 结束语 | 第119-124页 |
| ·论文的主要贡献 | 第119-120页 |
| ·相关研究工作比较 | 第120-122页 |
| ·进一步的研究工作 | 第122-124页 |
| 攻读博士学位期间发表的论文 | 第124-125页 |
| 致谢 | 第125-127页 |
| 参考文献 | 第127-138页 |
| 附录 统计测试序列和统计测试例实例 | 第138-143页 |
