幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

航天型號嵌入式軟體驗證技術與實踐

  • 作者：編者:祝宇//張幼春//楊波//王新穎|責編:侯麗平
  • 出版社：中國宇航
  • ISBN：9787515919683
  • 出版日期：2022/03/01
  • 裝幀：平裝
  • 頁數：178
人民幣：RMB 88 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    經過多年的研究與工程實踐，針對航天型號嵌入式軟體形成了一套不斷完善的驗證技術，有效地提高了航天型號嵌入式軟體的質量。本書分別從航天型號嵌入式軟體概述、軟體開發通用要求、軟體測試要求、軟體測試技術、軟體驗證實踐與經驗、軟體驗證展望等角度描述航天型號嵌入式軟體的驗證現狀。
    在本書撰寫過程中，參考了大量的相關資料，並結合多年的實踐經驗，力求內容具有實用性、針對性和可操作性。全書論述了航天嵌入式軟體的驗證過程和理論，並緊密結合實踐，為了幫助讀者更好地了解工程實踐，書中詳細列舉了大量的豐富示例，給予讀者一定的啟發和幫助。
作者介紹
編者:祝宇//張幼春//楊波//王新穎|責編:侯麗平
目錄
第1章  航天型號嵌入式軟體概述
  1.1  嵌入式軟體工作原理
  1.2  嵌入式軟體在航天型號中的應用和特點
    1.2.1  安全性要求嚴
    1.2.2  可靠性要求高
    1.2.3  實時性要求強
    1.2.4  資源約束多
    1.2.5  軟體規模大
  1.3  典型運行環境和典型開發環境
    1.3.1  嵌入式微處理器
    1.3.2  嵌入式微控制器
    1.3.3  嵌入式DSP
    1.3.4  嵌入式片上系統（SoC）
    1.3.5  典型開發環境
  1.4  典型介面
第2章  航天型號嵌入式軟體開發通用要求
  2.1  軟體研製流程
    2.1.1  總體設計
    2.1.2  分系統設計
    2.1.3  軟體開發
    2.1.4  系統聯調
    2.1.5  軟體驗收
    2.1.6  軟體維護
  2.2  軟體工程化管理
    2.2.1  評審
    2.2.2  配置管理
    2.2.3  軟體測試與驗證要求
    2.2.4  質量保證
    2.2.5  風險管理
    2.2.6  質量問題歸零
第3章  航天型號嵌入式軟體測試要求
  3.1  一般要求
    3.1.1  軟體測試目的
    3.1.2  軟體測試階段
    3.1.3  第三方測試
    3.1.4  軟體測試方法和類型
    3.1.5  軟體測試活動
  3.2  詳細要求
    3.2.1  單元測試階段
    3.2.2  部件測試階段
    3.2.3  配置項測試階段
    3.2.4  軟硬體集成測試階段
    3.2.5  系統測試階段
  3.3  測試文檔的技術要點
    3.3.1  單元測試報告
    3.3.2  部件測試報告
    3.3.3  軟體配置項測試計劃
    3.3.4  軟體配置項測試說明
    3.3.5  軟體配置項測試報告
    3.3.6  軟硬體集成測試報告

    3.3.7  系統測試報告
第4章  航天型號嵌入式軟體測試技術
  4.1  靜態測試方法
    4.1.1  文檔審查
    4.1.2  代碼審查
    4.1.3  代碼走查
    4.1.4  靜態分析
  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  實裝測試環境
第5章  航天型號嵌入式軟體驗證實踐與經驗
  5.1  軟體測試標準與規範
  5.2  項目測試流程
    5.2.1  項目建立
    5.2.2  測試需求分析
    5.2.3  測試策劃
    5.2.4  測試設計和實現
    5.2.5  測試執行
    5.2.6  回歸測試
    5.2.7  測試總結
    5.2.8  交付
  5.3  典型處理器的軟體測試設計
    5.3.1  要求的測試類型
    5.3.2  測試用例設計方法
    5.3.3  測試項示例
    5.3.4  測試用例示例
  5.4  典型介面的測試經驗
    5.4.1  GJB289A（MIL-STD-1553B）通信匯流排測試經驗
    5.4.2  CAN匯流排測試經驗
    5.4.3  RS-485通信匯流排測試經驗
    5.4.4  RS-422匯流排測試經驗
  5.5  嵌入式軟體中斷分析
  5.6  安全性分析
    5.6.1  軟體故障樹分析
    5.6.2  軟體失效模式影響和關鍵性分析
  5.7  可靠性測試
    5.7.1  可靠性度量參數
    5.7.2  可靠性參數選擇
    5.7.3  可靠性測試環境
    5.7.4  可靠性驗證測試
    5.7.5  小結
第6章  航天型號嵌入式軟體驗證展望
  6.1  智能化軟體的測試

  6.2  軟體的智能化測試
附錄A  典型軟體缺陷
附錄B  航天型號軟體第三方測評的由來
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032