軟體可靠性工程

軟體可靠性工程

《軟體可靠性工程》是2007年清華大學出版社出版的圖書,作者是徐仁佐

主要內容


該書以軟體可靠性工程的一些常見問題為出發點,以編者多年來所參與的工程實踐為依託,幫助讀者對軟體質量指標體系中的最重要的質量指標之一——軟體可靠性有一個全面的理解,並具有一定的實踐能力。全書共12章,各章均附有習題,一部分是為了複習、鞏固本章所學的知識,另一部分是為引導學生進行創新型思維。本書最後提供了包括最新領域發展的參考文獻,供有興趣的讀者進一步閱讀和學習。
本書語言流暢,結構合理,內容豐富,實例眾多,著重理論與實踐相結合,學習致用,適合作為高等院校軟體工程、計算機及相關專業的本科生和研究生教材,也可以作為軟體從業人員及一般讀者的參考書。

圖書目錄


第1章 軟體可靠性工程與軟體工程
1.1 軟體的問題
1.2 與軟體質量有關的基本概念
1.3 軟體質量的6個特性
1.4 軟體可靠性工程的研究範圍
1.5 軟體可靠性的基本概念
1.6 軟體壽命的指數分佈規律
1.7 軟體故障率的規律
1.8 風險函數λ(t)與R(t)的關係
1.9 軟體與軟體可靠性工程
習題1
第2章 軟體可靠性模型的理論基礎
2.1 可靠性分析的數學基礎
2.2 常用軟體可靠性模型
2.3 軟體可靠性專家系統——SRES(2.0版)簡介
習題2
第3章 軟體可靠性分配
3.1 軟體可靠性快速分配方法
3.2 軟體可靠性分配的一般方法
3.3 軟體可靠性分配方法小結
習題3
第4章 軟體測試
4.1 靜態分析
4.2 動態測試
4.3 軟體測試策略
習題4
第5章 面向對象軟體的測試方法
5.1 軟體測試技術的發展
5.2 面向對象軟體工程技術的發展
5.3 面向對象程序的特點
5.4 集成測試
5.5 面向對象軟體測試技術
5.6 類及類測試
5.7 面向對象程序的集成測試
5.8 面向對象軟體測試用例生成技術
習題5
第6章 面向路徑的測試用例自動生成技術
6.1 軟體測試的問題
6.2 測試數據生成系統的基本框架
6.3 遺傳演演算法概述
6.4 遺傳演演算法在軟體測試數據自動生成中的應用
6.5 遺傳演演算法的應用
6.6 實驗結果及分析
6.7 在軟體測試中的應用
習題6
第7章 軟體可靠性增長測試和軟體安全性測試
7.1 軟體調試測試
7.2 操作概圖測試
7.3 軟體可靠性度量
7.4 選擇軟體可靠性增長模型
7.5 對軟體枷靠性度量方法的改進
7.6 應用軟體可靠性專家系統
7.7 軟體安全性
習題7
第8章 軟體系統故障樹分析法
第9章 基於冗餘的軟體容錯技術
第10章 Web測試技術
第11章 基於知識的軟體測試
第12章 軟體工程中的複雜網路問題
參考文獻