資料介紹
軟件安全性測試是保證軟件安全性的重要手段。本文論述了軟件安全性測試的特點
和主要內容,重點研究了國內外軟件安全性測試的主要方法,最后總結了當前研究工作并指出了未來軟件安全性測試技術的研究重點與發展方向。
關鍵詞:安全性測試;安全功能測試;語法測試;模糊測試
安全性是軟件質量的一個重要屬性。傳統上國內學者較多關注軟件的失效安全性
(Safety),即軟件運行不引起系統事故的能力,強調的是一類安全關鍵軟件的安全性失效可能造成重大人員傷亡、財產損失、環境污染等危險事故。對失效安全性的度量主要有建立在可靠性理論基礎上的安全度、失效度、平均事故間隔時間、軟件事故率等。對于失效安全性測試(Safety Testing),常用的測試方法目前有基于故障樹的測試和基于最小割集的測試。
對保密安全性(Security),ISO9126 質量模型將其定義為與防止對程序和數據進行非法存取的預防能力有關的質量屬性。軟件安全性是軟件在受到惡意攻擊時仍提供所需功能的能力[1]。對于保密安全性測試(Security testing),目前主要有靜態分析、形式化方法、故障注入、基于模型的測試、基于屬性的測試、語法測試、模糊測試(Fuzz Testing)等測試方法。本文將重點關注安全性測試(Security Testing)的主要方法和技術。
和主要內容,重點研究了國內外軟件安全性測試的主要方法,最后總結了當前研究工作并指出了未來軟件安全性測試技術的研究重點與發展方向。
關鍵詞:安全性測試;安全功能測試;語法測試;模糊測試
安全性是軟件質量的一個重要屬性。傳統上國內學者較多關注軟件的失效安全性
(Safety),即軟件運行不引起系統事故的能力,強調的是一類安全關鍵軟件的安全性失效可能造成重大人員傷亡、財產損失、環境污染等危險事故。對失效安全性的度量主要有建立在可靠性理論基礎上的安全度、失效度、平均事故間隔時間、軟件事故率等。對于失效安全性測試(Safety Testing),常用的測試方法目前有基于故障樹的測試和基于最小割集的測試。
對保密安全性(Security),ISO9126 質量模型將其定義為與防止對程序和數據進行非法存取的預防能力有關的質量屬性。軟件安全性是軟件在受到惡意攻擊時仍提供所需功能的能力[1]。對于保密安全性測試(Security testing),目前主要有靜態分析、形式化方法、故障注入、基于模型的測試、基于屬性的測試、語法測試、模糊測試(Fuzz Testing)等測試方法。本文將重點關注安全性測試(Security Testing)的主要方法和技術。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 云系統的安全性增強算法及其研究 4次下載
- 基于安全性的成對約束擴充方法PCES 2次下載
- 什么是數據庫安全性數據庫安全性的詳細資料總結 6次下載
- 智能連接物聯網邊緣節點的安全性分析
- 安全儀表系統的安全性與可用性研究_王偉 0次下載
- 批判性分析和聯網RFID系統安全性的比較研究 0次下載
- LED燈光輻射安全性測試評價研究 33次下載
- 電力生產安全性評價研究 17次下載
- 復功率注入空間的電力系統概率安全性指標研究
- 基于虛擬儀器技術的引信軟件安全性測試系統
- 可證明安全性自動化證明方法研究
- 智能客戶端應用程序的安全性研究與應用
- 基于OpenSSL的VNC安全性研究及實現
- 引信軟件安全性和可靠性仿真測試系統研究
- 憑證型代理簽名體制的安全性研究
- 動態追溯方法:徹底革新軟件測試 259次閱讀
- 仿真測試與軟件測試的區別 520次閱讀
- 基于功能安全的汽車嵌入式軟件單元驗證技術研究 847次閱讀
- ECU的安全車輛網絡有效測試解決方案 351次閱讀
- 可靠性與安全性 5017次閱讀
- 網絡安全滲透測試的7種主要類型 1406次閱讀
- 不折不扣的安全性 537次閱讀
- NCM化學配比和SOC如何影響NCM電芯的安全性 6183次閱讀
- 軟件測試的方法有哪些有什么的規范 8622次閱讀
- 軟件測試的定義及如何進行分類 8701次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設計 2665次閱讀
- 一文看懂軟件測試方法和規范 7098次閱讀
- 影響鋰離子動力電池安全性因素分析 7306次閱讀
- 分享一些相對簡單的方法來提升自己的數據安全性 6812次閱讀
- DES算法的應用誤區及安全性分析 1.6w次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多