幫助中心 | 我的帳號 | 關於我們

複雜軟體系統可靠性技術/可靠性新技術叢書

  • 作者:編者:王軼辰//黃撫群//王軼昆|責編:周敏文//白天明
  • 出版社:國防工業
  • ISBN:9787118124316
  • 出版日期:2022/09/01
  • 裝幀:平裝
  • 頁數:310
人民幣:RMB 125 元      售價:
放入購物車
加入收藏夾

內容大鋼
    全書內容圍繞複雜軟體系統的可靠性技術展開,從複雜軟體系統的基本概念入手,對複雜軟體系統的故障原理進行了分析,並介紹了可靠性模型的建立,重點介紹了基於體系結構和基於數據的可靠性評估方法,以及基於模型的測試方法和人因方法。
    本書不僅包含了一些基本概念和理論的介紹,同時也包含了豐富的案例,可作為可靠性專業工科碩士研究生的基礎教材,也可以作為對複雜軟體系統感興趣的相關專業高年級本科生的參考書,還可以作為從事裝備軟體研製和質量管理等工作的科研人員的參考讀物。

作者介紹
編者:王軼辰//黃撫群//王軼昆|責編:周敏文//白天明

目錄
第1章  複雜軟體系統概述
  1.1  認識軟體的複雜性
    1.1.1  軟體規模無限膨脹
    1.1.2  軟體失效行為的複雜
    1.1.3  軟體工程過程的複雜
  1.2  複雜軟體系統的基本概念
    1.2.1  複雜軟體系統的定義
    1.2.2  複雜軟體系統的分類
    1.2.3  複雜軟體系統的特徵
  1.3  幾類典型的複雜軟體系統
    1.3.1  超大規模系統
    1.3.2  大規模複雜IT系統
    1.3.3  信息物理系統
    1.3.4  軟體密集型系統
    1.3.5  物聯網系統
  1.4  複雜軟體系統的相關研究領域
    1.4.1  系統工程
    1.4.2  人因工程
    1.4.3  社會一技術工程
    1.4.4  軟體工程
  1.5  複雜軟體系統的挑戰
    1.5.1  傳統還原論的局限
    1.5.2  系統的異構性
    1.5.3  構造性開發過程帶來的影響
    1.5.4  持續演化性帶來的影響
    1.5.5  失效常態性帶來的影響
    1.5.6  系統邊界腐蝕性
  1.6  典型的裝備複雜軟體系統
    1.6.1  複雜航電體系結構——IMA結構
    1.6.2  IMA軟體體系結構
    1.6.3  IMA應用程序對比分析
  1.7  本章小結
第2章  複雜軟體系統的故障機理
  2.1  軟體故障的複雜性
  2.2  故障傳播的相關研究
    2.2.1  故障傳播的概念
    2.2.2  基於體系結構的故障傳播模型
    2.2.3  基於類型的故障傳播模型
    2.2.4  考慮故障傳播的體系結構可靠性預測
    2.2.5  基於故障傳播的故障定位
  2.3  基於體系結構的故障傳播模型研究
    2.3.1  元胞自動機與故障傳播
    2.3.2  基於體系結構的故障傳播模型
  2.4  引入相關故障的故障傳播模型研究
    2.4.1  相關故障
    2.4.2  考慮相關故障的故障率
    2.4.3  考慮相關故障的故障傳播模型
  2.5  一個實例系統分析
    2.5.1  基於體系結構的故障傳播模型實例分析
    2.5.2  考慮相關故障的故障傳播模型實例分析

  2.6  本章小結
第3章  複雜軟體系統的可靠性模型
  3.1  軟體的質量模型
    3.1.1  軟體質量模型的概念
    3.1.2  軟體質量模型的發展
    3.1.3  ISO/IEC 25010:2010軟體質量模型簡介
  3.2  複雜軟體系統的質量
    3.2.1  複雜軟體系統的質量形成過程
    3.2.2  影響複雜軟體系統質量的複雜性因素
    3.2.3  複雜軟體系統的新質量特性
  3.3  軟體的可靠性模型
    3.3.1  隨機微分方程模型
    3.3.2  離散NHPP建模
    3.3.3  面向質量的軟體管理分析
    3.3.4  考慮人因的可靠性分析模型
第4章  基於體系結構的複雜軟體可靠性評估
  4.1  基於體系結構的可靠性評估
    4.1.1  評估過程
    4.1.2  基於體系結構評估的主要方法
    4.1.3  複雜軟體系統面臨的問題
  4.2  軟體體系結構的描述
    4.2.1  軟體體系結構
    4.2.2  馬爾可夫鏈簡介
    4.2.3  吸收離散時間馬爾可夫鏈
  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  Cheung模型
    4.5.4  基於故障傳播的系統可靠度評估模型
    4.5.5  利用模擬實驗進行對比
  4.6  本章小結
第5章  基於數據的複雜軟體可靠性評估
  5.1  基於數據的評估模型框架
  5.2  影響可靠性評估的軟體度量
    5.2.1  軟體度量集建立
    5.2.2  代碼度量以及相關工具
    5.2.3  軟體過程度量
    5.2.4  一種分析過程度量的方法——GQM
  5.3  數據訓練與驗證——基於數據的評估演算法
    5.3.1  度量數據聚合
    5.3.2  度量數據標準化
    5.3.3  數據降維方法

    5.3.4  幾種數據擬合演算法
  5.4  一個具體的案例
    5.4.1  數據收集
    5.4.2  軟體代碼度量數據的聚合
    5.4.3  數據預處理
    5.4.4  數據訓練方法對比
    5.4.5  案例成果
  5.5  本章小結
第6章  基於模型的測試技術
  6.1  認識基於模型的測試
    6.1.1  MDA與MBT
    6.1.2  MBT框架
  6.2  建模語言與測試模型
    6.2.1  建模語言
    6.2.2  測試模型
    6.2.3  建模小案例
  6.3  模型檢驗技術
    6.3.1  模型檢驗概述
    6.3.2  建立系統模型
    6.3.3  性質規約
    6.3.4  模型檢驗演算法與實現
    6.3.5  模型檢驗工具
  6.4  覆蓋準則
    6.4.1  基於模型的測試覆蓋準則
    6.4.2  覆蓋準則評估
  6.5  基於模型的測試用例生成
    6.5.1  基於模型的邏輯測試用例生成方法
    6.5.2  測試用例的可執行分析方法
    6.5.3  基於模型的測試數據生成方法
    6.5.4  基於模型的測試用例生成演算法
    6.5.5  演算法優化方法
  6.6  實例系統分析
    6.6.1  車庫門控制系統的模型檢驗
    6.6.2  基於模型的發射平台控制軟體測試
  6.7  本章小節
第7章  基於人因失誤機理的軟體故障主動防禦技術
  7.1  軟體故障主動防禦的意義
    7.1.1  軟體故障主動防禦的必要性
    7.1.2  軟體及軟體故障的人因本質
  7.2  傳統故障預防研究進展和不足
    7.2.1  故障數據的收集
    7.2.2  故障樣本的選取
    7.2.3  故障根源分析
  7.3  程序設計的認知理論基礎
    7.3.1  相關認知科學概念
    7.3.2  程序設計認知活動的特徵
    7.3.3  程序設計綜合認知模型
  7.4  軟體故障的人因失誤理論基礎
    7.4.1  故障主體的行為模型
    7.4.2  通用人因失誤動態模型

    7.4.3  通用人因失誤模式
    7.4.4  軟體故障的人因失誤模式庫
  7.5  基於人因失誤機理的軟體故障主動防禦方法
    7.5.1  DPeHE理念
    7.5.2  元認知框架
    7.5.3  DPeHE過程模型
    7.5.4  DPeHE元認知知識
    7.5.5  DPeHE元認知調節
  7.6  本章小結
附錄
  附錄1  基於故障傳播的軟體可靠度評估演算法的代碼實現
  附錄2  軟體質量評價調查問卷
  附錄3  軟體質量評價目標評分表
  附錄4  相關性分析結果
參考文獻

  • 商品搜索:
  • | 高級搜索
首頁新手上路客服中心關於我們聯絡我們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