航天型號軟件測試

內(nèi)容概要

　　《航天型號軟件測試》系統(tǒng)介紹了航天型號軟件測試。全書共7章，分別介紹軟件測試的基本概念、測試技術(shù)、測試階段、測試工作流程、測試文檔及測試管理，同時突出介紹了嵌入式軟件測試的特點及技術(shù)，最后介紹了一個具體航天型號軟件研制項目的測試工作實例，提出了航天型號軟件測試工作要點。全書在介紹軟件測試的一般內(nèi)容基礎(chǔ)上，結(jié)合航天型號軟件研制特點介紹了相應(yīng)的概念、技術(shù)及工作流程，特別介紹了獨立測試?！　　逗教煨吞栜浖y試》的主要讀者為航天型號軟件研制技術(shù)人員及承擔(dān)獨立測試的軟件評測人員，對于航天型號軟件研制及軟件評測管理人員也有一定的參考價值。

書籍目錄

第1章 基本概論1.1 什么是軟件測試1.1.1 軟件測試的認識的發(fā)展1.1.2 廣義的軟件測試1.2 軟件測試的意義1.3 軟件測試原則1.3.1 Myers的基本原則1.3.2 軟件測試的獨立性原則1.3.3 軟件測試完成準(zhǔn)則1.3.4 軟件的測試性1.4 軟件測試的基本原理和理論基礎(chǔ)1.5 軟件測試的分類1.6 軟件錯誤1.6.1 幾個概念——錯誤、缺陷、故障、失效1.6.2 研究軟件錯誤的目的1.6.3 軟件錯誤分類和分級1.6.4 程序錯誤數(shù)量估計1.7 當(dāng)前航天型號軟件測試的認識1.7.1 航天型號軟件測試特點1.7.2 目前的狀況1.7.3 航天型號軟件測試的定位1.7.4 幾個基本認識問題第2章 軟件測試技術(shù)2.1 靜態(tài)測試技術(shù)2.1.1 靜態(tài)測試技術(shù)特點2.1.2 代碼審查2.1.3 代碼走查2.1.4 靜態(tài)分析2.1.5 靜態(tài)分析工具2.2 動態(tài)測試技術(shù)2.2.1 動態(tài)測試技術(shù)特點2.2.2 黑盒測試和白盒測試2.2.3 黑盒測試2.2.4 白盒測試2.3 其它測試技術(shù)介紹2.3.1 程序變異2.3.2 域測試2.3.3 符號求值2.3.4 程序插裝2.3.5 統(tǒng)計測試2.3.6 程序正確性證明和形式化方法2.3.7 測試用例設(shè)計綜合策略2.4 動態(tài)測試工具2.4.1 動態(tài)分析工具2.4.2 程序插裝器(Program Instrumenter)2.4.3 測試數(shù)據(jù)生成器(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 Coverage2.5.3 C語言測試工具C-Teste第3章 嵌人式軟件測試3.1 嵌入式軟件特3.2 嵌入式軟件測試特點及基本對策3.3 全數(shù)字仿真技術(shù)3.3.1 全數(shù)字仿真技術(shù)內(nèi)容3.3.2 全數(shù)字仿真技術(shù)的目的和意義……第4章 軟件測試的步驟第5章 軟件測試流程及軟件測試文檔第6章 軟件測試管理第7章 航天型號軟件測試實例及要點參考文獻

章節(jié)摘錄

版權(quán)頁：插圖：產(chǎn)生這種認識是非常自然的（所以也是值得警惕的），它出自樸素的直接的思維：希望得到“正確”的軟件，經(jīng)過一定的檢驗證明這種“正確”。這當(dāng)中的謬誤是Myers發(fā)現(xiàn)的，他觀察到這種想法自我矛盾。一次失敗的測試就能表明軟件的不正確，而無數(shù)次成功的測試也不能證明該軟件的正確性，除非進行所謂“完全”的測試，這對較復(fù)雜一點的程序?qū)嶋H上不可能（見后面章節(jié)），所以基于這種認識的目標(biāo)是不能達到的。同時，由于表示軟件正確的可能性隨測試的增加而減少，也就是說，測試的次數(shù)越多，則發(fā)現(xiàn)錯誤的可能性也就越大，因而這種認識是自我矛盾的。在實際工作中，這種認識與“程序測試的過程是演示程序完成預(yù)期要求的過程”這種習(xí)慣想法有關(guān)。持有這種想法，在測試工作中會妨礙我們達到測試的真正目標(biāo)。心理學(xué)研究告訴我們，當(dāng)人在于一件已經(jīng)知道是不合適或不可能做到的事時，往往做得不好。另一方面，心理學(xué)研究也揭示，人們?nèi)菀卓吹剿麄兤谕吹降模鲆暺谕獾?。基于這種認識進行測試工作，會使我們自覺不自覺地朝這個方向去做，如傾向于挑選那些使程序出錯的可能性較小的情況，忽視結(jié)果中的錯誤征兆，以至把測試退化為演示，而失去其重要的意義。以此為原則進行管理活動，則會制定和工程實際不符的目標(biāo)。（3）階段3——測試是發(fā)現(xiàn)軟件中的錯誤Myers提出了這個概念。這是一種正確的認識，雖然不夠全面，但具有實際的工程價值。我們知道，軟件的正確性是和它所包含的錯誤相關(guān)連的，它含有的錯誤越少，正確性越高。如果盡可能多地發(fā)現(xiàn)并排除軟件中的錯誤，就可以最大限度地提高軟件正確性。在不能從正面證明軟件正確的情況下，這是一種實際有效的想法。和階段2的想法相比，基于這種認識，我們是期望測試時軟件發(fā)生錯誤，這樣在實踐中會選擇一些易于發(fā)現(xiàn)程序所含錯誤的測試數(shù)據(jù)，并在測試中把注意力放在軟件是否發(fā)生了錯誤上，這是一種更有價值的工作態(tài)度。

編輯推薦

《航天型號軟件測試》為航天型號軟件工程系列叢書之一。

圖書封面

評論、評分、閱讀與下載

---

    航天型號軟件測試 PDF格式下載

---