软件可靠性技术及在IS-2000协议软件中的应用
| 第一章 绪论 | 第1-11页 |
| ·概述 | 第9-10页 |
| ·课题来源 | 第10页 |
| ·主要工作 | 第10页 |
| ·本文组织 | 第10-11页 |
| 第二章 CDMA移动通信系统及IS-2000协议 | 第11-27页 |
| ·概述 | 第11页 |
| ·CDMA的基本概念 | 第11-12页 |
| ·CDMA移动通信系统概述 | 第12-13页 |
| ·IS-2000协议体系结构 | 第13-14页 |
| ·物理层 | 第14页 |
| ·链路层 | 第14-19页 |
| ·MAC子层 | 第15-19页 |
| ·LAC子层 | 第19页 |
| ·第3层 | 第19-27页 |
| 第三章 软件可靠性理论与技术 | 第27-42页 |
| ·概述 | 第27页 |
| ·软件可靠性基础知识 | 第27-31页 |
| ·基本概念 | 第27-28页 |
| ·软件可靠性指标 | 第28页 |
| ·软件失效机理 | 第28页 |
| ·软件错误(缺陷、故障、失效)分类 | 第28-31页 |
| ·软件可靠性因素 | 第31页 |
| ·软件可靠性分析技术 | 第31-34页 |
| ·概述 | 第31-32页 |
| ·软件故障树分析 | 第32-33页 |
| ·软件可靠性模型 | 第33-34页 |
| ·软件避错排错技术 | 第34-38页 |
| ·概述 | 第34-35页 |
| ·软件可靠性管理 | 第35-36页 |
| ·可靠性程序设计技术 | 第36页 |
| ·编程规范 | 第36-37页 |
| ·程序测试技术 | 第37-38页 |
| ·软件容错技术 | 第38-41页 |
| ·概述 | 第38页 |
| ·软件容错的基本技术 | 第38-39页 |
| ·故障检测技术 | 第39-40页 |
| ·故障恢复技术 | 第40-41页 |
| ·信息保护技术 | 第41-42页 |
| 第四章 净室软件工程 | 第42-51页 |
| ·概述 | 第42页 |
| ·净室原理 | 第42-43页 |
| ·净室过程 | 第43-44页 |
| ·净室特点 | 第44-45页 |
| ·净室技术 | 第45-51页 |
| ·增量开发 | 第45页 |
| ·净室软件规范 | 第45-49页 |
| ·统计测试 | 第49-51页 |
| 第五章 IS-2000协议软件的可靠性设计 | 第51-81页 |
| ·概述 | 第51页 |
| ·设计目标 | 第51页 |
| ·软件故障树分析 | 第51-52页 |
| ·协议软件体系结构设计 | 第52-54页 |
| ·净室软件工程法的实践 | 第54-69页 |
| ·概述 | 第54-55页 |
| ·协议软件需求 | 第55-60页 |
| ·黑盒设计 | 第60-63页 |
| ·状态盒设计 | 第63-64页 |
| ·明盒设计 | 第64-69页 |
| ·净室实践小结 | 第69页 |
| ·IS-2000协议软件的实现 | 第69-81页 |
| ·主要模块的实现 | 第69-76页 |
| ·模块的可靠性设计 | 第76-79页 |
| ·编码阶段的可靠性措施 | 第79-80页 |
| ·测试阶段的可靠性措施 | 第80-81页 |
| 第六章 IS-2000协议软件的可靠性测评 | 第81-88页 |
| ·概述 | 第81页 |
| ·软件可靠性测试 | 第81-83页 |
| ·软件可靠性测试定义 | 第81-82页 |
| ·基于马尔可夫链的可靠性测试 | 第82-83页 |
| ·软件可靠性验证 | 第83-84页 |
| ·基本原理 | 第83-84页 |
| ·测试用例数N的确定 | 第84页 |
| ·可靠性测试验证实践 | 第84-88页 |
| ·一种基于马尔可夫链可靠性测试的自动测试方案 | 第84-86页 |
| ·可靠性测试结果 | 第86-87页 |
| ·可靠性验证结果 | 第87-88页 |
| 第七章 全文总结 | 第88-89页 |
| 参考文献 | 第89-91页 |
| 致谢 | 第91-92页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第92-93页 |
| 附录A | 第93-94页 |
