資料介紹
安全攸關(guān)軟件的可信性關(guān)乎生命安全和財產(chǎn)保全,因此,分析評價軟件可信性是否符合用戶的預(yù)期(即軟件可信評估)至關(guān)重要.軟件可信評估從主觀和客觀兩個方面度量軟件的質(zhì)量,對軟件生產(chǎn)和應(yīng)用有著重要的意義.綜述了可信評估管理中涉及到的標準、模型和工具,而非關(guān)注軟件度量本身.首先分析對比了軟件可信性、可信評估的定義,并在研究了與可信性密切相關(guān)的軟件質(zhì)量的聯(lián)系與區(qū)別之后,從相關(guān)國際標準、評估涉及的模型(包括質(zhì)量屬性模型、證據(jù)模型、分級規(guī)范等)以及軟件工具支持等方面綜述了軟件可信評估研究工作.并且區(qū)分了這些方面中領(lǐng)域相關(guān)、領(lǐng)域無關(guān)的不同之處.目前軟件可信評估已取得了一定的理論成果,并開發(fā)了若干工具輔助進行可信評估,但仍需在通用性、可伸縮性等方面有所加強。
- 開關(guān)電源醫(yī)療認證綜述 19次下載
- 大功率LED正向電壓與溫度變化研究綜述 5次下載
- 機器人操作系統(tǒng)EtherCAT技術(shù)研究綜述 1次下載
- 導(dǎo)航衛(wèi)星載荷自主健康管理研究綜述 14次下載
- 智能農(nóng)業(yè)除草機器人研究分析綜述 17次下載
- 高速視覺測量系統(tǒng)關(guān)鍵技術(shù)及研究綜述 15次下載
- 系統(tǒng)仿真模型可信度評估方法研究綜述 11次下載
- 軟件無線電在短波通信中的應(yīng)用綜述 16次下載
- USB 3.0存儲發(fā)展歷史及展望綜述 42次下載
- MEMS陀螺儀姿態(tài)算法研究綜述 39次下載
- 軟件無線電的研究現(xiàn)狀的綜述 14次下載
- 基于多媒體社會事件的分析研究綜述 19次下載
- 手語識別、翻譯及生成研究綜述 25次下載
- 可信編譯理論及其核心實現(xiàn)技術(shù):研究綜述 23次下載
- AUV半實物仿真系統(tǒng)的可信度研究
- 硅基波導(dǎo)集成的片上光譜儀綜述 137次閱讀
- 如何使用DS185xEVKIT評估DS1856 797次閱讀
- 綜述:基于柔性致動器的跳躍運動 513次閱讀
- 國內(nèi)智能換相裝置研究綜述 1475次閱讀
- SiC MOSFET的溫度特性及結(jié)溫評估研究進展 3904次閱讀
- 綜述:用于生命健康領(lǐng)域的模塊化微流控系統(tǒng) 939次閱讀
- 基于PSIM軟件的BUCK仿真研究 5483次閱讀
- 在Vitis中調(diào)試ARM可信固件和U-boot 3722次閱讀
- 可信增強的Flask訪問控制框架的總體應(yīng)用設(shè)計和實施方法 2789次閱讀
- 鋰電池SOH電池健康狀態(tài)到底是什么 6.1w次閱讀
- 鋰離子電池預(yù)鋰化技術(shù)的研究進展 1.3w次閱讀
- 圖神經(jīng)網(wǎng)絡(luò)概述第三彈:來自IEEE Fellow的GNN綜述 1.2w次閱讀
- 基于RFID產(chǎn)品的可信計算平臺的完整性、安全性研究 717次閱讀
- 大型軟件的功能測試流程及性能測試流程 1.3w次閱讀
- 軟件無線電基礎(chǔ)知識概述 4570次閱讀
下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料(電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環(huán)心率計步器體溫顯示設(shè)計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現(xiàn)七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數(shù)發(fā)生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評論