航天型號軟件測試

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