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

     目錄
   第1章 基本概論
    1.1什么是軟件測(cè)試
    1.1.1軟件測(cè)試的認(rèn)識(shí)的發(fā)展
    1.1.2廣義的軟件測(cè)試
    1.2軟件測(cè)試的意義
    1.3軟件測(cè)試原則
    1.3.1Myers的基本原則
    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程序插裝器（ProgramInstrumenter）
    2.4.3測(cè)試數(shù)據(jù)生成器（TestDataGenerator）
    2.4.4符號(hào)計(jì)值（SymbolicEvaluator）
    2.4.5變異測(cè)試（MutationTesting）工具
    2.4.6測(cè)試輔助支持工具
    2.5通用軟件測(cè)試工具介紹
    2.5.1計(jì)算機(jī)輔助軟件測(cè)試器（CAST）
    2.5.2Purify和PureCoverage
    2.5.3C語(yǔ)言測(cè)試工具C－Tester
   第3章 嵌入式軟件測(cè)試
    3.1嵌入式軟件特點(diǎn)
    3.2嵌入式軟件測(cè)試特點(diǎn)及基本對(duì)策
    3.3全數(shù)字仿真技術(shù)
    3.3.1全數(shù)字仿真技術(shù)內(nèi)容
    3.3.2全數(shù)字仿真技術(shù)的目的和意義
    3.3.3全數(shù)字仿真技術(shù)應(yīng)用缺點(diǎn)與局限性
    3.4嵌入式軟件測(cè)試環(huán)境
    3.5嵌入式軟件測(cè)試工具及使用
    3.5.1工具的功能特性
    3.5.2工具的使用
    3.6例子
    3.6.1軟件應(yīng)用和設(shè)計(jì)背景
    3.6.2支撐硬件和軟件
    3.6.3單元測(cè)試
    3.6.4組裝測(cè)試
    3.6.5系統(tǒng)測(cè)試
   第4章 軟件測(cè)試的步驟
    4.1多層過(guò)濾軟件測(cè)試方法
    4.2單元測(cè)試
    4.2.1單元測(cè)試的特點(diǎn)和意義
    4.2.2單元測(cè)試的內(nèi)容
    4.2.3單元測(cè)試方法和步驟
    4.3組裝測(cè)試
    4.3.1組裝測(cè)試的意義和特點(diǎn)
    4.3.2組裝測(cè)試的內(nèi)容
    4.3.3組裝測(cè)試策略
    4.3.4組裝測(cè)試的技術(shù)手段
    4.4確認(rèn)測(cè)試
    4.4.1確認(rèn)測(cè)試的任務(wù)和特點(diǎn)
    4.4.2確認(rèn)測(cè)試的內(nèi)容
    4.4.3確認(rèn)測(cè)試的技術(shù)方法
    4.5系統(tǒng)聯(lián)試
    4.5.1系統(tǒng)聯(lián)試的特點(diǎn)和意義
    4.5.2系統(tǒng)聯(lián)試的內(nèi)容
    4.5.3系統(tǒng)聯(lián)試技術(shù)手段
    4.6回歸測(cè)試
    4.6.1回歸測(cè)試的特點(diǎn)和意義
    4.6.2回歸測(cè)試的內(nèi)容
    4.6.3回歸測(cè)試的技術(shù)手段
    4.6.4回歸測(cè)試的工作步驟
    4.7可靠性測(cè)試
    4.7.1軟件可靠性測(cè)試的定義與目的
    4.7.2軟件可靠性測(cè)試的特點(diǎn)
    4.7.3軟件可靠性測(cè)試的效果
    4.7.4軟件可靠性測(cè)試的基本條件
    4.7.5軟件可靠性測(cè)試步驟
    4.8獨(dú)立測(cè)試
    4.8.1獨(dú)立測(cè)試的概念和意義
    4.8.2獨(dú)立測(cè)試的工作內(nèi)容
    4.8.3獨(dú)立測(cè)試的組織
    4.8.4建設(shè)航天型號(hào)軟件評(píng)測(cè)體系
   第5章 軟件測(cè)試流程及軟件測(cè)試文檔
    5.1軟件測(cè)試流程
    5.1.1制定測(cè)試計(jì)劃
    5.1.2編制測(cè)試說(shuō)明
    5.1.3執(zhí)行測(cè)試計(jì)劃
    5.1.4評(píng)價(jià)測(cè)試效果和被測(cè)試的軟件
    5.2軟件測(cè)試文檔
    5.2.1測(cè)試文檔的作用
    5.3.2測(cè)試文檔的類型
    5.3.3測(cè)試文檔的編制
    5.3.4測(cè)試計(jì)劃
    5.3.5測(cè)試說(shuō)明
    5.3.6測(cè)試報(bào)告
    5.3.7靜態(tài)測(cè)試文檔
   第6章 軟件測(cè)試管理
    6.1測(cè)試組織
    6.1.1單元測(cè)試的組織
    6.1.2組裝測(cè)試的組織
    6.1.3確認(rèn)測(cè)試的組織
    6.1.4落實(shí)責(zé)任，加強(qiáng)管理
    6.2測(cè)試質(zhì)量管理
    6.3測(cè)試進(jìn)度和資源管理
    6.4測(cè)試文檔管理
    6.5測(cè)試工作數(shù)據(jù)積累
   第7章 航天型號(hào)軟件測(cè)試實(shí)例及要點(diǎn)
    7.1被測(cè)軟件背景
    7.2測(cè)試情況
    7.2.1靜態(tài)分析
    7.2.2代碼審查
    7.2.3單元測(cè)試
    7.2.4確認(rèn)測(cè)試
    7.2.5系統(tǒng)聯(lián)試
    7.3測(cè)試體會(huì)
    7.4航天型號(hào)軟件測(cè)試要點(diǎn)
    7.4.1指導(dǎo)思想
    7.4.2技術(shù)手段
    7.4.3工作模式
    7.4.4管理保證
   參考文獻(xiàn)