航天型號(hào)軟件測(cè)試

內(nèi)容概要

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

書籍目錄

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

章節(jié)摘錄

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

編輯推薦

《航天型號(hào)軟件測(cè)試》為航天型號(hào)軟件工程系列叢書之一。

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    航天型號(hào)軟件測(cè)試 PDF格式下載

---