第一章 概论 1
第一节 软件可靠性及基本概念 1
第二节 软件可靠性建模发展史 9
第二章 软件可靠性的保障 15
第一节 综述和管理 15
第二节 形式方法 23
第三节 容错、试验和保障可靠性的其它手段 33
第四节 硬件／软件系统 43
第三章 软件可靠性模型 48
第一节 模型引论 48
第二节 各模型介绍 57
第三节 统一的方法、模型的比较与批评 65
第四章 与软件度量标准的关系 75
第五章 费用 91
第一节 研制费用模型 91
第二节 软件寿命周期费用模型 100
第六章 建模的最新发展 106
第七章 数据及数据问题 127
第八章 目前的创始性研究工作 136
附录一 原书总目录 143
附录二 原书参考文献目录 145