掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養秘籍)
-
>
晶體管電路設計(下)
-
>
基于個性化設計策略的智能交通系統關鍵技術
-
>
花樣百出:貴州少數民族圖案填色
-
>
山東教育出版社有限公司技術轉移與技術創新歷史叢書中國高等技術教育的蘇化(1949—1961)以北京地區為中心
-
>
鐵路機車概要.交流傳動內燃.電力機車
-
>
利維坦的道德困境:早期現代政治哲學的問題與脈絡
航天器軟件測試技術與實踐 版權信息
- ISBN：9787118113822
- 條形碼：9787118113822 ; 978-7-118-11382-2
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
航天器軟件測試技術與實踐 內容簡介
候成杰、江云松編著的《航天器軟件測試技術與實踐》系統地闡述了軟件測試的基本概念，講解了航天器軟件測試的各種基本方法和技術。在此基礎上，介紹了航天器軟件工程概況和研制技術流程，重點講解了測試覆蓋性分析技術、航天器軟件測試環境搭建技術、資源訪問沖突分析技術、代碼更動影響域分析技術等航天器軟件測試的幾項關鍵技術，并介紹了這些技術和方法在航天器軟件各階段測試過程中的應用。此外書中還對一些航天器軟件典型故障案例進行了分析，希望可以幫助測試人員積累經驗，提高技術水平。本書適合具有一定測試經驗的人員使用，也可供從事航天器等領域的軟件研制和管理工作人員參考。
航天器軟件測試技術與實踐 目錄
**章 軟件測試定義
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測**例表
參考文獻
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測**例表
參考文獻
展開全部
書友推薦
- >
唐代進士錄
- >
伯納黛特,你要去哪(2021新版)
- >
伊索寓言-世界文學名著典藏-全譯本
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
苦雨齋序跋文-周作人自編集
- >
月亮與六便士
- >
自卑與超越
- >
中國歷史的瞬間
本類暢銷
