本發(fā)明公開了一種基于失效軌跡的程序錯誤定位方法,其通過挑選一個合適的失效測試用例的執(zhí)行譜即失效軌跡,再根據(jù)已有SFL方法的特定模型計(jì)算出的語句可疑度序列在失效軌跡中投影,按語句可疑度大小從大到小依次排查錯誤語句。本發(fā)明通過失效軌跡效用函數(shù)來評測失效軌跡,從所有的失效軌跡中選取函數(shù)值最小的失效軌跡作為關(guān)鍵失效軌跡,將傳統(tǒng)錯誤定位報(bào)告中的語句可疑度排序序列投影到關(guān)鍵失效軌跡上,重構(gòu)新的程序?qū)嶓w可疑排查序列,并根據(jù)新的程序?qū)嶓w序列按可疑度從高到低來檢查程序?qū)嶓w,最終提高錯誤定位的效果。實(shí)驗(yàn)結(jié)果表明,相較于傳統(tǒng)的基于程序頻譜軟件錯誤定位方法,本發(fā)明方法在錯誤定位效率方面有顯著的提高。
聲明:
“基于失效軌跡的程序錯誤定位方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)