《可信軟體及服務的度量、評估、認證體系標準研究》是依託北京郵電大學,由袁玉宇擔任項目負責人的重大研究計畫。
基本介紹
- 中文名:可信軟體及服務的度量、評估、認證體系標準研究
- 項目類別:重大研究計畫
- 項目負責人:袁玉宇
- 依託單位:北京郵電大學
《可信軟體及服務的度量、評估、認證體系標準研究》是依託北京郵電大學,由袁玉宇擔任項目負責人的重大研究計畫。
《可信軟體及服務的度量、評估、認證體系標準研究》是依託北京郵電大學,由袁玉宇擔任項目負責人的重大研究計畫。項目摘要本項目針對如何建立可信軟體及服務標準體系的科學問題,研究可信軟體及服務的度量、評估、認證的技術標準,並最終...
《可信軟體度量的標準研究和標準化》是依託北京郵電大學,由袁玉宇擔任項目負責人的重大研究計畫。項目摘要 可信計算目前已經成為計算機學科的一個熱點研究領域,軟體的可信性作為可信計算的一個分支,也越來越受到重視。為了全面、客觀的度量軟體產品的可信性,本研究擬以現有可信軟體度量科研成果為基礎,結合標準化技術,...
通過軟體度量可以改進軟體開發過程,促進項目成功,開發高質量的軟體產品。度量取向是軟體開發諸多事項的橫斷面,包括顧客滿意度度量、質量度量、項目度量、以及品牌資產度量、智慧財產權價值度量,等。度量取向要依靠事實、數據、原理、法則;其方法是測試、審核、調查;其工具是統計、圖表、數字、模型;其標準是量化的指標。...
《可信雲服務度量與評估》是科學出版社出版的圖書,作者是姜茸 。內容簡介 雲服務的特點及其可信服務機制的有待健全制約了雲服務的發展和套用,為此本書從風險度量和服務評價兩個方面研究雲服務可信性度量與評估問題。主要內容包括:①從雲服務隱私風險、雲服務技術風險、雲服務商業及運營管理風險三個維度建立了雲服務...
《軟體可信性度量評估與增強規範》是2019年11月科學出版社出版的圖書,作 者是陳儀香、陶紅偉。圖書簡介 軟體可信性度量評估與增強規範是目前計算機科學與軟體工程的一個重要研究領域,其研究成果對可信軟體開發等方向有重大的理論價值和實際意義。《軟體可信性度量評估與增強規範》融入了作者及其研究團隊近十年來承擔完成...
第4章軟體質量標準 4.1軟體質量指標和因素 4.2軟體質量模型 4.3軟體質量標準概述 4.4ISO標準質量體系 第5章軟體質量保證方法分析 5.1軟體開發環境的創建 5.2軟體生命過程的度量 5.3軟體質量的度量 5.4軟體開發的估算 第6章軟體質量保證技術 6.1文檔編制 6.2質量保證 6.3驗證 6.4確認 6.5聯合評審 6...
軟體可信性已成為綜合反映軟體質量狀態的新度量。本項目研究了面向高可信嵌入式軟體可信屬性的定義方法,建立了層次化的嵌入式軟體可信屬性指標體系,給出了各子屬性的可信度量項及度量方法,可為嵌入式軟體可信屬性建模與驗證提供依據;項目組擴展了Z語言的元模型,提出了一種可擴展的可信嵌入式軟體模型 Z-MARTE,包括...
本項目將在已有研究成果的基礎上,從網路軟體可信的主體屬性和服務屬性出發,在系統生態演化模型、服務主體可信、客戶行為可信分析及非可信行為防範等方面,重點研究可信的指標體系、度量方法和顯示集成。建立可信指標的完備集和基於實變的最佳化度量算法,通過研究電子商務系統的歷史數據分析和語義挖掘技術,構建交易行為可信...
“交通運輸部科學研究院信息系統測評中心”(簡稱:交科院測評中心),成立於2012年,是經交通運輸部認可並在交通運輸部科學研究院設立的國家級第三方信息系統和軟體產品檢驗檢測機構。交科院測評中心已獲得了中國國家認證認可監督管理委員會頒發的(CMA)計量認證證書及中國合格評定國家認可委員會頒發的(CNAS)實驗室...
在國家工業和信息化部軟體服務業司領導下,從2010年開始啟動我國軟體成本度量標準體系的研製工作。中國軟體行業協會系統與軟體過程改進分會(以下簡稱 “過程改進分會”)和中國電子技術標準化研究院(以下簡稱“電子四所”)圍繞軟體研發成本度量標準體系建設開展了基礎性研究工作,梳理了標準體系。核心標準《軟體研發成本...
本實驗室正在圍繞什麼是可信及可信軟體、如何構造高可信的軟體產品、以及如何度量和驗證軟體產品的可信等核心問題展開研究。主要研究內容概述如下:軟體基礎理論方面:探討將各類計算機基礎理論,從傳統的形式系統(如邏輯系統,代數系統等)到Petri網理論以及時段演算等基礎理論,用於可信軟體的形式化建模、描述和驗證;並從...
計量基標準、標準物質與社會公用計量標準基本覆蓋重點領域、重點產業和重要項目。三是誠信計量體系更加完善。強化經營者主體責任,培養自律意識,培育誠信計量示範單位。加強計量技術機構誠信建設,增強計量檢測數據的可信度和可靠性。建設三大平台。一是建設公共檢測平台。構建以國家級計量檢測中...
項目組在軟體構建和形式化技術方面進行了大量基礎研究工作,能夠保證項目順利進行。預期成果包括:提出領域軟體形式化程度的度量方法,建立形式化評估模型和等級體系,建立基於該方法的領域軟體可信構建和演化機制。項目研究能夠清晰有效地描述領域軟體的形式化程度,基於評估結果分析制約領域軟體質量的瓶頸因素,為形式化地構建...