太空飛行器軟體測試技術與實踐

《太空飛行器軟體測試技術與實踐》是國防工業出版社2017年出版的圖書，作者是候成傑、江雲松。

基本介紹

• 中文名：太空飛行器軟體測試技術與實踐
• 作者：候成傑、江雲松
• 出版時間：2017年6月1日
• 出版社：國防工業出版社
• 頁數：106 頁
• ISBN：9787118113822
• 定價：50.00
• 開本：16 開
• 裝幀：平裝

內容簡介

本書系統地闡述了軟體測試的基本概念，講解了太空飛行器軟體測試的各種基本方法和技術。在此基礎上，介紹了太空飛行器軟體工程概況和研製技術流程，重點講解了測試覆蓋性分析技術、太空飛行器軟體測試環境搭建技術、資源訪問衝突分析技術、代碼更動影響域分析技術等太空飛行器軟體測試的幾項關鍵技術，並介紹了這些技術和方法在太空飛行器軟體各階段測試過程中的套用。

此外書中還對一些太空飛行器軟體典型故障案例進行了分析，希望可以幫助測試人員積累經驗，提高技術水平。本書適合具有一定測試經驗的人員使用，也可供從事太空飛行器等領域的軟體研製和管理工作人員參考。

目錄

第1章軟體測試定義1

1.1概述1

1.2軟體測試的基本原則1

1.2.1獨立性原則1

1.2.2儘早開始原則1

1.2.3正常異常組合原則2

1.2.4可復現原則2

1.2.580-20原則2

1.2.6有序原則2

1.3基礎概念2

1.3.1測試目標2

1.3.2測試對象2

1.3.3測試依據3

1.3.4軟體缺陷3

1.4軟體測試的分類4

1.5幾個容易混淆的概念4

1.5.1測試級別4

1.5.2測試類型4

1.5.3測試項5

第2章太空飛行器軟體工程概況6

2.1太空飛行器軟體工程概況6

2.1.1概況6

2.1.2載人航天工程的軟體工程6

2.1.3太空飛行器軟體分級分類管理6

2.1.4軟體安全關鍵等級6

2.1.5太空飛行器軟體分類7

2.2太空飛行器軟體研製技術流程的劃分7

2.2.1沿用軟體定義7

2.2.2參數修改軟體定義7

2.2.3少量功能修改軟體定義7

2.2.4新研軟體定義7

2.2.5新研軟體技術流程8

2.2.6沿用軟體技術流程8

2.2.7參數修改軟體技術流程8

2.2.8適應性修改軟體技術流程9

2.2.9確定軟體研製技術流程的基本條件9

2.2.10針對不同研製技術流程的測試要求10

第3章太空飛行器軟體測試的基本技術12

3.1太空飛行器軟體的靜態測試12

3.1.1自動化靜態分析技術12

3.1.2代碼審查15

3.1.3代碼走查17

3.1.4文檔審查17

3.2太空飛行器軟體的動態測試21

3.2.1概述21

3.2.2黑盒測試21

3.2.3白盒測試29

第4章太空飛行器軟體測試的幾項關鍵技術32

4.1概述32

4.2測試覆蓋率分析技術32

4.2.1基於代碼插樁的原始碼級測試覆蓋率分析技術及實踐32

4.2.2非插樁的測試覆蓋率分析技術及實踐33

4.3太空飛行器軟體測試環境搭建技術34

4.3.1基於目標環境的聯試環境35

4.3.2半實物仿真環境35

4.3.3全數字仿真測試環境35

4.4堆疊分析技術37

4.4.1針對高級語言軟體的堆疊分析38

4.4.2針對彙編語言軟體的堆疊分析38

4.4.3堆疊分析工具38

4.5資源訪問衝突分析技術38

4.5.1基本技術及分析方法38

4.5.2資源訪問衝突分析技術要點39

4.5.3資源訪問衝突分析輔助工具40

4.6代碼更動影響域分析技術41

4.6.1基於代碼對需求覆蓋的分析技術41

4.6.2對代碼更動影響分析的技術42

第5章太空飛行器軟體測試常用工具43

5.1測試工具套件LDRA Testbed43

5.1.1Testbed43

5.1.2TBRUN43

5.1.3TBvision43

5.1.4TBreq44

5.1.5RT INSIGHT PRO44

5.2靜態代碼檢查工具SpecChecker44

5.2.1SpecChecker採用的核心技術44

5.2.2SpecChecker的主要功能44

5.2.3SpecChecker的性能指標45

5.2.4SpecChecker與同類產品對比分析45

5.3單元測試工具SunwiseAUnit46

5.3.1SunwiseAUnit的主要功能46

5.3.2SunwiseAUnit與同類產品的對比分析47

5.3.3SunwiseAUnit的主要技術指標48

5.4靜態代碼檢查工具QAC48

5.4.1代碼自動審查49

5.4.2代碼質量度量49

5.4.3QAC支持的代碼標準50

5.4.4測試管理功能50

5.4.5結構分析能力50

5.4.6工具集成50

5.5其他測試工具51

5.5.1CANTATA++51

5.5.2COVERITY和KLOCWORK51

5.5.3CODETEST51

5.5.4OCCoverage51

第6章太空飛行器軟體測試過程與實踐52

6.1軟體測試基本流程52

6.2單元測試52

6.2.1單元測試過程52

6.2.2單元測試計畫54

6.2.3單元測試設計54

6.2.4單元測試執行55

6.2.5單元測試結果分析55

6.2.6單元測試實踐56

6.3組裝測試57

6.3.1組裝測試過程57

6.3.2組裝測試計畫59

6.3.3組裝測試設計59

6.3.4組裝測試執行59

6.3.5組裝測試結果分析59

6.3.6組裝測試實踐60

6.4確認測試60

6.4.1確認測試策略60

6.4.2確認測試過程62

6.4.3確認測試策劃63

6.4.4確認測試設計和實現63

6.4.5確認測試執行65

6.4.6確認測試總結和分析66

6.4.7確認測試實踐67

6.5第三方獨立測試70

6.5.1概述70

6.5.2第三方獨立測試的技術要求71

6.5.3第三方獨立測試流程71

6.6系統測試72

6.7回歸測試72

6.7.1回歸測試的方法73

6.7.2回歸測試的步驟73

6.7.3回歸測試的測試範圍要求73

6.8測試發現問題處理流程73

第7章太空飛行器軟體典型故障案例分析75

7.1概述75

7.2測試遺漏問題案例75

7.2.1彙編語言功能相似指令使用錯誤案例75

7.2.2C語言操作符優先權錯誤案例76

7.2.3中斷使用資源訪問衝突案例77

7.2.4協處理器堆疊溢出案例78

7.2.5時序衝突案例79

7.2.6編譯器及運行環境錯誤案例80

7.3測試發現問題案例82

7.3.1靜態分析發現問題案例82

7.3.2資源訪問衝突分析測試發現問題案例85

7.3.3堆疊分析發現問題案例88

7.4國外航天軟體典型故障案例89

7.4.1火星極地登入器軟體故障案例89

7.4.2太陽神火箭軟體故障案例89

7.4.3DART太空飛行器軟體故障案例90

附錄A測試文檔模板91

A.1 （單元、組裝、確認）測試計畫模板91

A.2 （單元、組裝、確認）測試說明模板92

A.3 （單元、組裝、確認）測試報告模板93

A.4組裝測試說明模板95

A.5組裝測試報告模板97

A.6確認測試說明模板98

附錄B測試用例表105

參考文獻106