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