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