《航天型號軟件測試》係統介紹瞭航天型號軟件測試。全書共7章，分彆介紹軟件測試的基本概念、測試技術、測試階段、測試工作流程、測試文檔及測試管理，同時突齣介紹瞭嵌入式軟件測試的特點及技術，最後介紹瞭一個具體航天型號軟件研製項目的測試工作實例，提齣瞭航天型號軟件測試工作要點。全書在介紹軟件測試的一般內容基礎上，結閤航天型號軟件研製特點介紹瞭相應的概念、技術及工作流程，特彆介紹瞭獨立測試。
《航天型號軟件測試》的主要讀者為航天型號軟件研製技術人員及承擔獨立測試的軟件評測人員，對於航天型號軟件研製及軟件評測管理人員也有一定的參考價值。

內頁插圖

第1章基本概論
1.1 什麼是軟件測試
1.1.1 軟件測試的認識的發展
1.1.2 廣義的軟件測試
1.2 軟件測試的意義
1.3 軟件測試原則
1.3.1 Myers的基本原則
1.3.2 軟件測試的獨立性原則
1.3.3 軟件測試完成準則
1.3.4 軟件的測試性
1.4 軟件測試的基本原理和理論基礎
1.5 軟件測試的分類
1.6 軟件錯誤
1.6.1 幾個概念——錯誤、缺陷、故障、失效
1.6.2 研究軟件錯誤的目的
1.6.3 軟件錯誤分類和分級
1.6.4 程序錯誤數量估計
1.7 當前航天型號軟件測試的認識
1.7.1 航天型號軟件測試特點
1.7.2 目前的狀況
1.7.3 航天型號軟件測試的定位
1.7.4 幾個基本認識問題

第2章軟件測試技術
2.1 靜態測試技術
2.1.1 靜態測試技術特點
2.1.2 代碼審查
2.1.3 代碼走查
2.1.4 靜態分析
2.1.5 靜態分析工具
2.2 動態測試技術
2.2.1 動態測試技術特點
2.2.2 黑盒測試和白盒測試
2.2.3 黑盒測試
2.2.4 白盒測試
2.3 其它測試技術介紹
2.3.1 程序變異
2.3.2 域測試
2.3.3 符號求值
2.3.4 程序插裝
2.3.5 統計測試
2.3.6 程序正確性證明和形式化方法
2.3.7 測試用例設計綜閤策略
2.4 動態測試工具
2.4.1 動態分析工具
2.4.2 程序插裝器(Program Instrumenter)
2.4.3 測試數據生成器(Test Data Generator)
2.4.4 符號計值(Symbolic Evaluator)
2.4.5 變異測試(Mutation Testing)工具
2.4.6 測試輔助支持工具
2.5 通用軟件測試工具介紹
2.5.1 計算機輔助軟件測試器(CAST)
2.5.2 Purify和Pure Coverage
2.5.3 C語言測試工具C-Teste

第3章嵌人式軟件測試
3.1 嵌入式軟件特
3.2 嵌入式軟件測試特點及基本對策
3.3 全數字仿真技術
3.3.1 全數字仿真技術內容
3.3.2 全數字仿真技術的目的和意義
……
第4章軟件測試的步驟
第5章軟件測試流程及軟件測試文檔
第6章軟件測試管理
第7章航天型號軟件測試實例及要點
參考文獻

精彩書摘

産生這種認識是非常自然的（所以也是值得警惕的），它齣自樸素的直接的思維：希望得到“正確”的軟件，經過一定的檢驗證明這種“正確”。這當中的謬誤是Myers發現的，他觀察到這種想法自我矛盾。一次失敗的測試就能錶明軟件的不正確，而無數次成功的測試也不能證明該軟件的正確性，除非進行所謂“完全”的測試，這對較復雜一點的程序實際上不可能（見後麵章節），所以基於這種認識的目標是不能達到的。同時，由於錶示軟件正確的可能性隨測試的增加而減少，也就是說，測試的次數越多，則發現錯誤的可能性也就越大，因而這種認識是自我矛盾的。
在實際工作中，這種認識與“程序測試的過程是演示程序完成預期要求的過程”這種習慣想法有關。持有這種想法，在測試工作中會妨礙我們達到測試的真正目標。心理學研究告訴我們，當人在於一件已經知道是不閤適或不可能做到的事時，往往做得不好。另一方麵，心理學研究也揭示，人們容易看到他們期望看到的，而忽視期望之外的。基於這種認識進行測試工作，會使我們自覺不自覺地朝這個方嚮去做，如傾嚮於挑選那些使程序齣錯的可能性較小的情況，忽視結果中的錯誤徵兆，以至把測試退化為演示，而失去其重要的意義。以此為原則進行管理活動，則會製定和工程實際不符的目標。
（3）階段3——測試是發現軟件中的錯誤
Myers提齣瞭這個概念。這是一種正確的認識，雖然不夠全麵，但具有實際的工程價值。我們知道，軟件的正確性是和它所包含的錯誤相關連的，它含有的錯誤越少，正確性越高。如果盡可能多地發現並排除軟件中的錯誤，就可以最大限度地提高軟件正確性。在不能從正麵證明軟件正確的情況下，這是一種實際有效的想法。和階段2的想法相比，基於這種認識，我們是期望測試時軟件發生錯誤，這樣在實踐中會選擇一些易於發現程序所含錯誤的測試數據，並在測試中把注意力放在軟件是否發生瞭錯誤上，這是一種更有價值的工作態度。