技術(shù)編號：6541862
提示：您尚未登錄，請點(diǎn) 登 陸 后下載，如果您還沒有賬戶請點(diǎn) 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明涉及一種，包括判定被測程序中時(shí)序安全屬性類的缺陷模式，并生成時(shí)序安全屬性類缺陷模式的描述文件；根據(jù)所述描述文件獲取所述時(shí)序安全屬性類缺陷模式的有限自動狀態(tài)機(jī)；根據(jù)所述有限自動狀態(tài)機(jī)為所述被測程序中的函數(shù)生成函數(shù)摘要信息。本發(fā)明根據(jù)描述時(shí)序安全屬性類缺陷模式的有限自動狀態(tài)機(jī)為被測程序中的函數(shù)生成函數(shù)摘要信息，通過所述函數(shù)摘要信息進(jìn)行軟件靜態(tài)測試，從而提高軟件靜態(tài)缺陷的檢測效率。專利說明[0001]本發(fā)明涉及軟件靜態(tài)測試，尤其涉及一種。背景技術(shù)[0002...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。