軟件保證舉證方法及其應用 曾福萍 9787115624727 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：人民郵電
物品所在地：中國大陸
原出版社：人民郵電
NT$571
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202404*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：軟件保證舉證方法及其應用 ISBN：9787115624727 出版社：人民郵電 著編譯者：曾福萍 頁數：279 所在地：中國大陸 *此為代購商品 書號：1632270 可大量預訂，請先連絡。 內容簡介 本書介紹了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 應用分析 本章小結 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
