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

同類熱銷排行榜

最近瀏覽的商品

軟體保證舉證方法及其應用

  • 作者：編者:曾福萍|責編:劉盛平
  • 出版社：人民郵電
  • ISBN：9787115624727
  • 出版日期：2024/04/01
  • 裝幀：平裝
  • 頁數：279
人民幣：RMB 89.8 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書介紹了ISO/IEC 15026系列標準中的系統和軟體保證方法——軟體保證舉證。全書共6章，首先概述了軟體保證舉證的相關知識，接著詳細介紹了軟體安全性舉證、軟體可靠性舉證、軟體保密性舉證和軟體可信性舉證的基礎知識、舉證框架、論證模式及應用實例，最後給出了基於非形式邏輯理論的軟體保證舉證信心評定方法。
    本書適合從事軟體安全性、軟體可靠性、軟體保密性及軟體可信性舉證理論與技術研究的科技人員和實際應用的工程人員閱讀，也可作為高等院校質量和可靠性工程專業的教師、高年級本科生和研究生的參考書。
作者介紹
編者:曾福萍|責編:劉盛平
目錄
第1章  軟體保證舉證概述
  1.1  軟體保證舉證的由來及意義
  1.2  軟體保證舉證的研究現狀
  1.3  軟體保證舉證的基本知識
    1.3.1  軟體保證舉證的概念
    1.3.2  軟體保證舉證的結構
    1.3.3  軟體保證舉證的表述方法
  1.4  GSN
    1.4.1  GSN的基本符號
    1.4.2  GSN的模式符號
    1.4.3  GSN的模塊符號
    1.4.4  GSN軟體保證舉證的構建流程
    1.4.5  GSN軟體保證舉證的構建工具
  本章小結
  參考文獻
第2章  軟體安全性舉證方法
  2.1  軟體安全性舉證的基礎知識
    2.1.1  軟體安全性的概念
    2.1.2  軟體安全性舉證的概念
  2.2  軟體安全性舉證框架的構建原理
  2.3  軟體安全性舉證框架
    2.3.1  軟體安全性過程因素包
    2.3.2  軟體安全性需求分析包
    2.3.3  危險軟體失效分析包
    2.3.4  危險軟體失效的消除或緩解實現包
    2.3.5  危險軟體失效的消除或緩解驗證包
    2.3.6  軟體安全性證據包
  2.4  基於GSN的軟體安全性舉證的論證模式
    2.4.1  系統級別的安全性的論證模式
    2.4.2  軟體對系統危險貢獻的緩解的論證模式
    2.4.3  軟體安全性頂層的論證模式
    2.4.4  軟體安全性需求實現的論證模式
    2.4.5  危險軟體失效已被消除或緩解的論證模式
    2.4.6  軟體失效改進措施實現的論證模式
  2.5  應用實例
    2.5.1  剎車系統介紹
    2.5.2  應用過程
    2.5.3  應用結果
  本章小結
  參考文獻
第3章  軟體可靠性舉證方法
  3.1  軟體可靠性舉證的基礎知識
    3.1.1  幾個基本概念
    3.1.2  軟體可靠性工程
    3.1.3  軟體可靠性相關標準
  3.2  軟體可靠性舉證框架
    3.2.1  基於軟體可靠性特性度量模型的軟體可靠性舉證框架
    3.2.2  基於缺陷防控模型的軟體可靠性舉證框架
    3.2.3  基於「4+1」準則的軟體可靠性舉證框架
    3.2.4  幾種框架的分析比較

  3.3  基於GSN的軟體可靠性舉證的論證模式
    3.3.1  基於軟體可靠性特性度量模型的軟體可靠性舉證的論證模式
    3.3.2  基於缺陷防控模型的軟體可靠性舉證的論證模式
    3.3.3  基於「4+1」準則的軟體可靠性舉證的論證模式
  3.4  應用實例
    3.4.1  實例軟體簡介
    3.4.2  基於軟體可靠性特性度量模型的軟體可靠性舉證的應用過程
    3.4.3  基於缺陷防控模型的軟體可靠性舉證的應用過程
    3.4.4  基於「4+1」準則的軟體可靠性舉證的應用過程
  本章小結
  參考文獻
第4章  軟體保密性舉證方法
  4.1  軟體保密性舉證的基礎知識
    4.1.1  軟體保密性的相關概念
    4.1.2  軟體保密性舉證的概念
  4.2  軟體保密性舉證框架及基於GSN的軟體保密性舉證的論證模式
    4.2.1  軟體保密性舉證框架的結構
    4.2.2  軟體保密性舉證框架的基本論證原理
    4.2.3  軟體保密性舉證框架的論證結構
    4.2.4  軟體保密性舉證框架的實例化方法
  4.3  應用實例
  本章小結
  參考文獻
第5章  軟體可信性舉證方法
  5.1  軟體可信性舉證的基礎知識
    5.1.1  軟體可信性的相關概念
    5.1.2  軟體可信性舉證的相關研究
  5.2  基於GSN的軟體可信性舉證框架及論證模式
    5.2.1  基於GSN的軟體可信性舉證框架
    5.2.2  基於GSN的軟體可信性舉證的論證模式
    5.2.3  軟體可信性舉證框架的實例化規則
  5.3  應用實例
    5.3.1  實例軟體簡介
    5.3.2  舉證實例構建方案
    5.3.3  舉證實例構建過程
  本章小結
  參考文獻
第6章  基於非形式邏輯理論的軟體保證舉證信心評定方法
  6.1  軟體保證舉證信心評定方法的理論基礎
    6.1.1  非形式邏輯
    6.1.2  圖爾敏論證模型的論證評價
    6.1.3  貝葉斯網路
  6.2  軟體保證舉證信心評定方法
    6.2.1  保證舉證樹形結構到圖爾敏論證模型的轉化
    6.2.2  圖爾敏論證模型的軟體保證舉證定性評價
    6.2.3  圖爾敏論證模型的軟體保證舉證定量評價
  6.3  應用實例
    6.3.1  應用過程
    6.3.2  應用分析
  本章小結

  參考文獻

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