資料介紹
安全攸關(guān)軟件的可信性關(guān)乎生命安全和財(cái)產(chǎn)保全,因此,分析評(píng)價(jià)軟件可信性是否符合用戶的預(yù)期(即軟件可信評(píng)估)至關(guān)重要.軟件可信評(píng)估從主觀和客觀兩個(gè)方面度量軟件的質(zhì)量,對(duì)軟件生產(chǎn)和應(yīng)用有著重要的意義.綜述了可信評(píng)估管理中涉及到的標(biāo)準(zhǔn)、模型和工具,而非關(guān)注軟件度量本身.首先分析對(duì)比了軟件可信性、可信評(píng)估的定義,并在研究了與可信性密切相關(guān)的軟件質(zhì)量的聯(lián)系與區(qū)別之后,從相關(guān)國際標(biāo)準(zhǔn)、評(píng)估涉及的模型(包括質(zhì)量屬性模型、證據(jù)模型、分級(jí)規(guī)范等)以及軟件工具支持等方面綜述了軟件可信評(píng)估研究工作.并且區(qū)分了這些方面中領(lǐng)域相關(guān)、領(lǐng)域無關(guān)的不同之處.目前軟件可信評(píng)估已取得了一定的理論成果,并開發(fā)了若干工具輔助進(jìn)行可信評(píng)估,但仍需在通用性、可伸縮性等方面有所加強(qiáng)。
- 開關(guān)電源醫(yī)療認(rèn)證綜述 19次下載
- 大功率LED正向電壓與溫度變化研究綜述 5次下載
- 機(jī)器人操作系統(tǒng)EtherCAT技術(shù)研究綜述 1次下載
- 導(dǎo)航衛(wèi)星載荷自主健康管理研究綜述 14次下載
- 智能農(nóng)業(yè)除草機(jī)器人研究分析綜述 17次下載
- 高速視覺測(cè)量系統(tǒng)關(guān)鍵技術(shù)及研究綜述 15次下載
- 系統(tǒng)仿真模型可信度評(píng)估方法研究綜述 11次下載
- 軟件無線電在短波通信中的應(yīng)用綜述 16次下載
- USB 3.0存儲(chǔ)發(fā)展歷史及展望綜述 42次下載
- MEMS陀螺儀姿態(tài)算法研究綜述 39次下載
- 軟件無線電的研究現(xiàn)狀的綜述 14次下載
- 基于多媒體社會(huì)事件的分析研究綜述 19次下載
- 手語識(shí)別、翻譯及生成研究綜述 25次下載
- 可信編譯理論及其核心實(shí)現(xiàn)技術(shù):研究綜述 23次下載
- AUV半實(shí)物仿真系統(tǒng)的可信度研究
- 硅基波導(dǎo)集成的片上光譜儀綜述 137次閱讀
- 如何使用DS185xEVKIT評(píng)估DS1856 797次閱讀
- 綜述:基于柔性致動(dòng)器的跳躍運(yùn)動(dòng) 513次閱讀
- 國內(nèi)智能換相裝置研究綜述 1475次閱讀
- SiC MOSFET的溫度特性及結(jié)溫評(píng)估研究進(jìn)展 3904次閱讀
- 綜述:用于生命健康領(lǐng)域的模塊化微流控系統(tǒng) 939次閱讀
- 基于PSIM軟件的BUCK仿真研究 5483次閱讀
- 在Vitis中調(diào)試ARM可信固件和U-boot 3722次閱讀
- 可信增強(qiáng)的Flask訪問控制框架的總體應(yīng)用設(shè)計(jì)和實(shí)施方法 2789次閱讀
- 鋰電池SOH電池健康狀態(tài)到底是什么 6.1w次閱讀
- 鋰離子電池預(yù)鋰化技術(shù)的研究進(jìn)展 1.3w次閱讀
- 圖神經(jīng)網(wǎng)絡(luò)概述第三彈:來自IEEE Fellow的GNN綜述 1.2w次閱讀
- 基于RFID產(chǎn)品的可信計(jì)算平臺(tái)的完整性、安全性研究 717次閱讀
- 大型軟件的功能測(cè)試流程及性能測(cè)試流程 1.3w次閱讀
- 軟件無線電基礎(chǔ)知識(shí)概述 4570次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論