軟體可信性度量評估與增強規範

軟體可信性度量評估與增強規範

《軟體可信性度量評估與增強規範》是2019年11月科學出版社出版的圖書,作者是陳儀香、陶紅偉。

基本介紹

  • 中文名:軟體可信性度量評估與增強規範
  • 作者:陳儀香、陶紅偉
  • 類別:計算機科學技術
  • 出版社:科學出版社
  • 出版時間:2019年11月
  • ISBN:9787030625649
圖書簡介,圖書目錄,

圖書簡介

軟體可信性度量評估與增強規範是目前計算機科學與軟體工程的一個重要研究領域,其研究成果對可信軟體開發等方向有重大的理論價值和實際意義。《軟體可信性度量評估與增強規範》融入了作者及其研究團隊近十年來承擔完成國家重要研發任務的研究與套用成果,深入系統地論述了軟體可信性層次化度量模型構建、分級評估體系設計以及增強規範制定等最新研究成果。《軟體可信性度量評估與增強規範》共分為7章,包括:軟體可信性概論、軟體可信性層次化模型、基於屬性的軟體可信性度量模型、面向原始碼的軟體可信性度量模型與規範、軟體可信性量化分級評估方法、軟體可信性增強方法、基於出廠報告的軟體可信性度量評估與增強規範。

圖書目錄

  • 前言
  • 第1章軟體可信性概論
  • 第2章軟體可信性層次化模型
  • 第3章基於屬性的軟體可信性度量模型
  • 第4章面向原始碼的軟體可信性度量模型與規範
  • 第5章軟體可信性量化分級評估方法
  • 第6章軟體可信性增強方法
  • 第7章基於出廠報告的軟體可信性度量評估與增強規範
  • 參考文獻
  • 索引

相關詞條

熱門詞條

聯絡我們