技術編號：12120569
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。本發(fā)明是一種嵌入式軟件安全性自動化驗證系統及其驗證方法，屬于軟件安全性分析領域。背景技術嵌入式軟件在航空航天等領域廣泛應用，越來越多的功能采用軟件實現。近年來，隨著軟件復雜性的提高，軟件失效導致的故障頻繁發(fā)生，因此保障嵌入式軟件的安全性已成為近年來軟件工程領域的研究熱點。歐美成熟經驗表明，開展軟件安全性分析工作是提升軟件質量的有效方法，主要工作包括嵌入式軟件安全需求的提取與規(guī)約、面向標準的嵌入式軟件開發(fā)、嵌入式軟件安全需求驗證三部分內容。嵌入式軟件需求驗證是安全性分析中的關鍵環(huán)節(jié)，形式化驗證和軟...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。