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