技術(shù)編號(hào):6543139
提示:您尚未登錄,請點(diǎn) 登 陸 后下載,如果您還沒有賬戶請點(diǎn) 注 冊 ,登陸完成后,請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明涉及,包括S1將待檢測的缺陷模式屬性狀態(tài)機(jī)集合置于待測函數(shù)控制流入口;S2程序通過路徑由前置位置執(zhí)行到目標(biāo)位置;S3屬性狀態(tài)機(jī)的狀態(tài)沿程序路徑進(jìn)行傳遞以及變化,在目標(biāo)位置處到達(dá)預(yù)設(shè)狀態(tài);S4取控制流當(dāng)前節(jié)點(diǎn),判斷是否為控制流最后節(jié)點(diǎn);S5如果不為控制流最后節(jié)點(diǎn),則根據(jù)當(dāng)前節(jié)點(diǎn)信息更新屬性狀態(tài)條件以及屬性狀態(tài)分區(qū)集合信息。本發(fā)明提供的基于狀態(tài)分區(qū)技術(shù)的缺陷檢測求精方法,給出了缺陷模式的定義,缺陷模式狀態(tài)機(jī)的定義,路徑條件的定義,狀態(tài)條件的定義,狀態(tài)分區(qū)...
注意:該技術(shù)已申請專利,請尊重研發(fā)人員的辛勤研發(fā)付出,在未取得專利權(quán)人授權(quán)前,僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán),增加技術(shù)思路,做技術(shù)知識(shí)儲(chǔ)備,不適合論文引用。
請注意,此類技術(shù)沒有源代碼,用于學(xué)習(xí)研究技術(shù)思路。