軟體可信性（software trustworthiness）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：軟體可信性
- 外文名：software trustworthiness
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
用戶基於對軟體的觀察而獲得的一種主觀感受，反映軟體實際行為對用戶主觀期望的滿足程度。可信性也是一種軟體質量屬性，關注軟體產品用於特定使用環境和條件時實際服務質量及其綜合。
出處
《計算機科學技術名詞 》第三版。
軟體可信性
相關詞條
- 軟體可信性
軟體可信性（software trustworthiness）是2018年公布的計算機科學技術名詞。定義用戶基於對軟體的觀察而獲得的一種主觀感受，反映軟體實際行為對用戶主觀期望的滿足程度。可信性也是一種軟體質量屬性，關注...
- 基於多維屬性的軟體可信性度量模型的研究
《基於多維屬性的軟體可信性度量模型的研究》是依託華東師範大學，由陳儀香擔任項目負責人的重大研究計畫。項目摘要 軟體可信性的研究是計算機科學發展的前沿性和前瞻性研究。軟體的正確性、可靠性、安全性以及可控性等軟體性質構成了軟體可信...
- 面向威脅的軟體可信性分析模型
《面向威脅的軟體可信性分析模型》是依託武漢大學，由傅建明擔任項目負責人的重大研究計畫。項目摘要 軟體內部存在缺陷、錯誤、故障、失效，軟體外部存在病毒、木馬、蠕蟲等惡意代碼的攻擊。軟體的可信性不僅依賴於軟體本身，也依賴於軟體所在...
- 面向軟體可信性演進的軟體測試技術研究
《面向軟體可信性演進的軟體測試技術研究》是依託東南大學，由徐寶文擔任項目負責人的重大研究計畫。中文摘要 針對高可信軟體的特點和要求，在結合最佳化已有研究成果的基礎上，研究面向軟體可信性演進的軟體測試技術並進行實驗驗證。為保證軟體...
- 軟體可信性度量評估與增強規範
《軟體可信性度量評估與增強規範》是2019年11月科學出版社出版的圖書，作 者是陳儀香、陶紅偉。圖書簡介 軟體可信性度量評估與增強規範是目前計算機科學與軟體工程的一個重要研究領域，其研究成果對可信軟體開發等方向有重大的理論價值和實際...
- 軟體可信性定量評估:模型、方法與實施
《軟體可信性定量評估：模型、方法與實施》是2015年清華大學出版社出版的書籍，作者是張衛祥、劉文紅、吳欣。前言 本書把軟體可信性與軟體評價技術相結合，以跨越整個軟體開發生存周期的軟體可信性定量評估為主線，闡述了軟體可信性定量評估...
- 信息物理融合系統軟體可信性驗證方法研究
《信息物理融合系統軟體可信性驗證方法研究》是依託大連理工大學,由侯剛擔任項目負責人的青年科學基金項目。項目摘要 信息物理融合系統（Cyber Physical Systems，CPS）作為當今世界信息技術制高點，將廣泛套用於電力系統、醫療儀器設備、航空航天...
- 環境知識驅動的軟體可信性需求工程方法與技術研究
《環境知識驅動的軟體可信性需求工程方法與技術研究》是依託北京大學，由金芝擔任負責人的重大研究計畫。項目摘要 軟體的可信性問題已經受到軟體領域包括研究者、開發者和用戶等各方面人員的日益關注，但系統地識別、分析、建模軟體的可信性...
- 基於軟體缺陷預測的軟體可信性度量方法研究
《基於軟體缺陷預測的軟體可信性度量方法研究》是依託西安交通大學，由宋擒豹擔任項目負責人的重大研究計畫。中文摘要 隨著信息技術套用範圍的不斷擴大和套用層次的持續深入，相關軟體系統變得越來越複雜，使得本來就棘手的軟體質量問題雪上加霜...
- 航天嵌入式軟體可信性度量方法與系統
《航天嵌入式軟體可信性度量方法與系統》是依託大連理工大學,由周寬久擔任項目負責人的重大研究計畫。項目摘要 規模龐大的航天工程具有大量的嵌入式軟體，而嵌入式軟體本身由於需要處理大量中斷，並具有實時和並發特性而導致系統測試複雜困難。...
- 基於行為聲明的套用軟體可信性驗證
《基於行為聲明的套用軟體可信性驗證》是2018年10月1日實施的一項中國國家標準。編制進程 2018年3月15日，《基於行為聲明的套用軟體可信性驗證》發布。2018年10月1日，《基於行為聲明的套用軟體可信性驗證》實施。起草工作 主要起草單位：...
- 基於核函式回歸估計理論的軟體可靠性建模研究
本項目前期研究已取得重要進展，其最終研究成果有望建立一套較完整的軟體可靠性建模的理論體系，形成具有創新性的科學研究方法，豐富研究手段，對國民經濟建設中軟體系統的可信性評估具有重要的理論意義和廣泛的套用價值。結題摘要 本項目建立...
- 基於虛擬可信平台的軟體可信性研究
《基於虛擬可信平台的軟體可信性研究》是2017年5月1日武漢大學出版社出版的圖書，作者是郝瑞。內容簡介 本文對基於虛擬可信平台軟體可信性度量模型進行了研究，並提出兩階段層次化虛擬可信系統度量模型—TSVTMM，基於該模型提出基於軟體可信...
- 基於編譯的高可信嵌入式軟體開發與驗證方法研究
提高嵌入式軟體的可信性是保證嵌入式系統可信的核心環節。通用的軟體開發框架難以滿足嵌入式軟體對安全性、可靠性、容錯性、實時性的要求，研究針對嵌入式軟體特點的開發與驗證框架、可信性驗證、安全性加強與可靠性保障機制具有非常重要意義...
- 基於行為認證碼的軟體動態可信認證機制研究
經過3年的研究，本課題取得了如下一些研究成果：（1）從安全性角度對軟體的可信需求進行了分析，剖析並提煉了PC與移動智慧型終端兩類平台目前面臨的主要安全威脅特徵，獲取了軟體可信性論證的具體判定因素，給出軟體高可信需求的形式化定義，...
- 可信軟體測度理論與方法
4.2軟體產品可信性屬性及評價指標體系 5可信軟體過程和可信軟體產品相關性研究 5.1過程可信與產品可信映射關係模型選擇 5.2軟體過程可信與軟體產品可信結構方程模型 5.3案例研究 6軟體過程可信評價模型研究 6.1軟體過程可信評價 6.2...
- 軟體可靠工程
1.5.1軟體可靠性工程內涵 1.5.2軟體可靠性工程模型 1.5.3軟體可靠性工程過程 1.6一些相關概念 1.6.1軟體質量與軟體可靠性 1.6.2軟體工程、軟體質量工程、軟體可靠性工程 1.6.3可信性和軟體可靠性 1.6.4軟體可靠性...
- 可信網路軟體的形式驗證
該項研究對於提高網路軟體的可信性和質量有重大意義。研究成果可以廣泛套用到網路軟體的開發過程中。結題摘要 以網路軟體為研究對象，針對軟體可信性質中的正確性和安全性，研究了確保軟體行為一致性和安全性驗證的理論和方法。提出了一種...
- 可信軟體基礎研究
《可信軟體基礎研究》是2019年浙江大學出版社出版的圖書。本書系自然科學基金重大研究計畫“可信軟體基礎研究”的出版成果。內容簡介 本書系自然科學基金重大研究計畫“可信軟體基礎研究”的出版成果。本書以關鍵套用領域中軟體可信性問題為...
