技術(shù)編號：6464308
提示：您尚未登錄，請點(diǎn) 登 陸 后下載，如果您還沒有賬戶請點(diǎn) 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明涉及軟件測試技術(shù)，尤其涉及一種基于軟件缺陷模式的測試方法及 系統(tǒng)。背景技術(shù)程序靜態(tài)分析是當(dāng)前軟件工程的一個(gè)研究熱點(diǎn)，該類方法的一個(gè)主要優(yōu)勢 就是在軟件測試中，可以快速對大量程序源碼進(jìn)行自動掃描并找到潛在的故障。靜態(tài)分析方法有很多，如符號執(zhí)行、定理證明、抽象解釋、類型推導(dǎo)、模型 檢查、基于程序風(fēng)格和注釋的檢測等。但是，這些方法在實(shí)現(xiàn)上有的過于復(fù)雜 使得難以對大型程序進(jìn)行測試，有的方法雖然相對簡單但會造成過多的誤報(bào)， 很難實(shí)用。基于模式的軟件測試技術(shù)也是...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。