《可信軟體與開發方法》是2016年科學出版社出版的圖書，作者是崔夢天、趙翠新、王玉紅。
《可信軟體與開發方法》是2016年科學出版社出版的圖書，作者是崔夢天、趙翠新、王玉紅。內容簡介本書以可信軟體開發為主線，從軟體實際開發過程出發，對可信軟體開發的技術、方法和過程進行分析和研究，系統地介紹了基於B方法完成軟...
最早的軟體開發方法是由D．Parnas在1972年提出的。由於當時軟體在可維護性和可靠性方面存在著嚴重問題，因此Parnas提出的方法是針對這兩個問題的。首先，Parnas提出了信息隱蔽原則：在概要設計時列出將來可能發生變化的因素，並在模組劃分時...
提高嵌入式軟體的可信性是保證嵌入式系統可信的核心環節。通用的軟體開發框架難以滿足嵌入式軟體對安全性、可靠性、容錯性、實時性的要求，研究針對嵌入式軟體特點的開發與驗證框架、可信性驗證、安全性加強與可靠性保障機制具有非常重要意義...
主要研究成果如下： 1、提出了一個基於可信鏈的可信軟體開發過程模型，並提出了一整套可信軟體構造方法和技術，研發了相應的開發工具，形成了較為完整的可信軟體開發技術體系和套用平台。 2、在需求建模與驗證階段，提出了一種基於多視點和...
我國自然科學基金委和“863”計畫分別把軟體可信性相關研究列為重大研究計畫和重點研究項目，美國國家軟體發展戰略（NationalSoftwareStrategytoEnsureU.S.SecurityandCompetitiveness,2006—2015）更是將開發高可信軟體放在首位，並提出下一代軟體...
第一部分 當今軟體開發過程與不足之處，以及可信軟體的挑戰 第1章 當今軟體開發方法論 1 1.1 軟體開發：需要一種新模式 2 1.2 軟體開發策略和生命周期模型 5 1.2.1 構建–修復模型 6 1.2.2 瀑布模型 7 1.2.3 ...
軟體差錯是軟體開發各階段潛入的人為錯誤：1.需求分析定義錯誤。如用戶提出的需求不完整，用戶需求的變更未及時消化，軟體開發者和用戶對需求的理解不同等等。2.設計錯誤。如處理的結構和算法錯誤，缺乏對特殊情況和錯誤處理的考慮等。3....
可信軟體（dependable software）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 其可信性能夠符合用戶期望的軟體。即在特定套用環境中，其實際服務質量能夠滿足用戶主觀所期望服務質量的軟體。出處 《計算機科學...
《可信的航天嵌入式控制軟體開發技術》是2017年國防工業出版社出版的圖書，作者是楊孟飛。內容簡介 本書主要介紹航天嵌入式控制軟體可信保障技術體系及其關鍵技術。首先 從近年來的實際案例提煉出影響航天嵌入式軟體可信性的十大可信問題，針對...
提出並詮釋了基於環境的可信軟體的基本含義；構建了可信軟體需求概念框架和本體知識庫；提出並系統地構建了一種基於控制論的軟體可信性需求捕獲方法，以及結合環境建模的軟體可信性需求分析和驗證方法，制定了可信軟體需求工程過程及其指南以及...
執行緒管理和通信等主要功能的實現原理, 使讀者對TEE OS的架構設計有進一步的認識; 第四篇介紹基於OP-TEE在加密、解密、安全存儲、線上支付等方面的實際套用, 以及如何開發基於OP-TEE的可信應用程式和安全驅動軟體。
《面向電子商務服務的可信軟體關鍵技術及集成方案研究》是依託山東科技大學，由龐善臣擔任項目負責人的重大研究計畫。項目摘要 網路軟體涉及的社會、法律和算法技術等規則（協定），運行時多方參與和計算的行為隨機性和並發性，對網路軟體的...
同時，針對軟體開發過程，開展面向新型軟體開發方式的可信保障研究，基於對開源社區項目的過程數據及其質量分析，探索開發者行為模式和可信性間的關聯與規律。課題在實施過程中已形成了一套體系結構驅動的可信軟體構造方法及其支撐技術，並開發...
《可信軟體測度理論與方法》是2014年科學出版社出版的圖書，作者是於本海。內容簡介 《可信軟體測度理論與方法》從軟體開發的工程過程和管理過程入手，定義了可信軟體過程，建立基於可信原則的可信軟體過程改進模型；為正確評價可信軟體水平，...
所述的“平台”可表示任何類型的計算裝置，包括硬體、固件和軟體的組合。截至2009年9月，為提高平台的可信性，所採取的措施主要有“安裝防護軟體”、“作業系統安全增強”和“增加安全協處理器”等幾種方式：1.安裝的防護軟體主要有反...
《支持演化的可信軟體過程研究》是依託雲南大學，由張璇擔任負責人的國家自然科學基金專項基金項目。項目摘要 可信軟體基於軟體過程在開發和演化條件下的方法論是當前可信軟體及軟體工程領域國內外的關注重點。鑒於可信軟體及其演化的複雜性和...
可信性的評價應包含在系統開發過程的需求、設計、實現、集成等各個階段中，且作為各階段中的一個重要的必不可少的步驟。根據評價目標的不同，可採用不同的定性/定量和模型/試驗的評價方法。需求階段 需求階段是系統開發的開始階段；主要...
《軟體可信性度量評估與增強規範》是2019年11月科學出版社出版的圖書，作 者是陳儀香、陶紅偉。圖書簡介 軟體可信性度量評估與增強規範是目前計算機科學與軟體工程的一個重要研究領域，其研究成果對可信軟體開發等方向有重大的理論價值和實際...
面向性質的可信軟體建模與時序性質驗證及支持工具具有重要的研究價值。本課題以抽象解釋理論中的逼近計算作為抽象複雜計算的理論工具，結合軟體測試和軟體驗證方法中的路徑條件、偏序消減、符號化執行、約束求解、惰性計算等多種技術，以驗證...
1.5.1軟體可靠性工程內涵 1.5.2軟體可靠性工程模型 1.5.3軟體可靠性工程過程 1.6一些相關概念 1.6.1軟體質量與軟體可靠性 1.6.2軟體工程、軟體質量工程、軟體可靠性工程 1.6.3可信性和軟體可靠性 1.6.4軟體可靠性...
本項目的研究旨在為基於構件的可信軟體系統的構造和開發提供相應的理論支持和借鑑作用。結題摘要 本項目以基於構件的可信軟體構造及其關鍵理論和技術為主要內容開展研究工作，完成的具體內容如下： 1、提出一種基於構件的可信軟體模型和表示...
軟體驗證程式 軟體驗證程式（software verifier）是2018年公布的計算機科學技術名詞。定義 用來驗證軟體正確性等性質的程式。出處 《計算機科學技術名詞 》第三版。
6. 5. 3 分散式系統的開發 131 6. 5. 4 失效停止概念 131 6. 5. 5 失效停止計算機的實現 132 6. 5. 6 失效停止計算機的軟體編程 133 習題 135 第七章 軟體可信性 137 7. 1 故障和軟體生命周期 137 7. 1. 1 軟體...
如中國國家密碼管理委員會組織了可信密碼模組的標準制定，並在其官方網站上提供了部分標準。中國科技部的863計畫開展了可信計算技術的項目專題研究，自然基金委開展了“可信軟體”的重大專項研究計畫支持。在學術領域，中國工程科學院沈昌祥院士...
