**章 軟件測試定義
1.1 概述
1.2 軟件測試的基本原則
1.2.1 獨(dú)立性原則
1.2.2 盡早開始原則
1.2.3 正常異常組合原則
1.2.4 可復(fù)現(xiàn)原則
1.2.5 80-20原則
1.2.6 有序原則
1.3 基礎(chǔ)概念
1.3.1 測試目標(biāo)
1.3.2 測試對象
1.3.3 測試依據(jù)
1.3.4 軟件缺陷
1.4 軟件測試的分類
1.5 幾個(gè)容易混淆的概念
1.5.1 測試級別
1.5.2 測試類型
1.5.3 測試項(xiàng)
第2章 航天器軟件工程概況
2.1 航天器軟件工程概況
2.1.1 概況
2.1.2 載人航天工程的軟件工程
2.1.3 航天器軟件分級分類管理
2.1.4 軟件安全關(guān)鍵等級
2.1.5 航天器軟件分類
2.2 航天器軟件研制技術(shù)流程的劃分
2.2.1 沿用軟件定義
2.2.2 參數(shù)修改軟件定義
2.2.3 少量功能修改軟件定義
2.2.4 新研軟件定義
2.2.5 新研軟件技術(shù)流程
2.2.6 沿用軟件技術(shù)流程
2.2.7 參數(shù)修改軟件技術(shù)流程
2.2.8 適應(yīng)性修改軟件技術(shù)流程
2.2.9 確定軟件研制技術(shù)流程的基本條件
2.2.10 針對不同研制技術(shù)流程的測試要求
第3章 航天器軟件測試的基本技術(shù)
3.1 航天器軟件的靜態(tài)測試
3.1.1 自動(dòng)化靜態(tài)分析技術(shù)
3.1.2 代碼審查
3.1.3 代碼走查
3.1.4 文檔審查
3.2 航天器軟件的動(dòng)態(tài)測試
3.2.1 概述
3.2.2 黑盒測試
3.2.3 白盒測試
第4章 航天器軟件測試的幾項(xiàng)關(guān)鍵技術(shù)
4.1 概述
4.2 測試覆蓋率分析技術(shù)
4.2.1 基于代碼插樁的源代碼級測試覆蓋率分析技術(shù)及實(shí)踐
4.2.2 非插樁的測試覆蓋率分析技術(shù)及實(shí)踐
4.3 航天器軟件測試環(huán)境搭建技術(shù)
4.3.1 基于目標(biāo)環(huán)境的聯(lián)試環(huán)境
4.3.2 半實(shí)物仿真環(huán)境
4.3.3 全數(shù)字仿真測試環(huán)境
4.4 堆棧分析技術(shù)
4.4.1 針對**語言軟件的堆棧分析
4.4.2 針對匯編語言軟件的堆棧分析
4.4.3 堆棧分析工具
4.5 資源訪問沖突分析技術(shù)
4.5.1 基本技術(shù)及分析方法
4.5.2 資源訪問沖突分析技術(shù)要點(diǎn)
4.5.3 資源訪問沖突分析輔助工具
4.6 代碼*動(dòng)影響域分析技術(shù)
4.6.1 基于代碼對需求覆蓋的分析技術(shù)
4.6.2 對代碼*動(dòng)影響分析的技術(shù)
第5章 航天器軟件測試常用工具
5.1 測試工具套件LDRATestbed
5.1.1 Testbed
5.1.2 TBRUN
5.1.3 TBvision
5.1.4 TBreq
5.1.5 RT INSIGHT PRO
5.2 靜態(tài)代碼檢查工具SpecChecker
5.2.1 SpecChecker采用的核心技術(shù)
5.2.2 SpecChecker的主要功能
5.2.3 SpecChecker的性能指標(biāo)
5.2.4 SpecChecker與同類產(chǎn)品對比分析
5.3 單元測試工具SunwiseAUnit
5.3.1 SunwiseAUnitt的主要功能
5.3.2 SunwiseAUnit與同類產(chǎn)品的對比分析
5.3.3 SunwiseAUnit的主要技術(shù)指標(biāo)
5.4 靜態(tài)代碼檢查工具QAC
5.4.1 代碼自動(dòng)審查
5.4.2 代碼質(zhì)量度量
5.4.3 OAC支持的代碼標(biāo)準(zhǔn)
5.4.4 測試管理功能
5.4.5 結(jié)構(gòu)分析能力
5.4.6 工具集成
5.5 其他測試工具
5.5.1 CANTATA
5.5.2 COVERITY和KLOCWORK
5.5.3 CODETEST
5.5.4 OCCoverage
第6章 航天器軟件測試過程與實(shí)踐
6.1 軟件測試基本流程
6.2 單元測試
6.2.1 單元測試過程
6.2.2 單元測試計(jì)劃
6.2.3 單元測試設(shè)計(jì)
6.2.4 單元測試執(zhí)行
6.2.5 單元測試結(jié)果分析
6.2.6 單元測試實(shí)踐
6.3 組裝測試
6.3.1 組裝測試過程
6.3.2 組裝測試計(jì)劃
6.3.3 組裝測試設(shè)計(jì)
6.3.4 組裝測試執(zhí)行
6.3.5 組裝測試結(jié)果分析
6.3.6 組裝測試實(shí)踐
6.4 確認(rèn)測試
6.4.1 確認(rèn)測試策略
6.4.2 確認(rèn)測試過程
6.4.3 確認(rèn)測試策劃
6.4.4 確認(rèn)測試設(shè)計(jì)和實(shí)現(xiàn)
6.4.5 確認(rèn)測試執(zhí)行
6.4.6 確認(rèn)測試總結(jié)和分析
6.4.7 確認(rèn)測試實(shí)踐
6.5 第三方獨(dú)立測試
6.5.1 概述
6.5.2 第三方獨(dú)立測試的技術(shù)要求
6.5.3 第三方獨(dú)立測試流程
6.6 系統(tǒng)測試
6.7 回歸測試
6.7.1 回歸測試的方法
6.7.2 回歸測試的步驟
6.7.3 回歸測試的測試范圍要求
6.8 測試發(fā)現(xiàn)問題處理流程
第7章 航天器軟件典型故障案例分析
7.1 概述
7.2 測試遺漏問題案例
7.2.1 匯編語言功能相似指令使用錯(cuò)誤案例
7.2.2 C語言操作符優(yōu)先級錯(cuò)誤案例
7.2.3 中斷使用資源訪問沖突案例
7.2.4 協(xié)處理器堆棧溢出案例
7.2.5 時(shí)序沖突案例
7.2.6 編譯器及運(yùn)行環(huán)境錯(cuò)誤案例
7.3 測試發(fā)現(xiàn)問題案例
7.3.1 靜態(tài)分析發(fā)現(xiàn)問題案例
7.3.2 資源訪問沖突分析測試發(fā)現(xiàn)問題案例
7.3.3 堆棧分析發(fā)現(xiàn)問題案例
7.4 國外航天軟件典型故障案例
7.4.1 火星極地登陸器軟件故障案例
7.4.2 太陽神火箭軟件故障案例
7.4.3 DART航天器軟件故障案例
附錄A 測試文檔模板
A.1 (單元、組裝、確認(rèn))測試計(jì)劃模板
A.2 (單元、組裝、確認(rèn))測試說明模板
A.3 (單元、組裝、確認(rèn))測試報(bào)告模板
A.4 組裝測試說明模板
A.5 組裝測試報(bào)告模板
A.6 確認(rèn)測試說明模板
附錄 B測**例表
參考文獻(xiàn)