買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網獲悉杭州電子科技大學申請的專利一種基于頻譜技術和斷言切換技術的缺陷定位方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN114153735B 。

龍圖騰網通過國家知識產權局官網在2025-04-29發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202111480144.8，技術領域涉及：G06F11/3668；該發明授權一種基于頻譜技術和斷言切換技術的缺陷定位方法是由方景龍;謝世豪;魏丹;陳濱;王興起設計研發完成，并于2021-12-06向國家知識產權局提交的專利申請。

本一種基于頻譜技術和斷言切換技術的缺陷定位方法在說明書摘要公布了：本發明涉及一種基于頻譜技術和斷言切換技術的缺陷定位方法。本發明主要考慮如何獲得更準確的切片以及如何將切片與可疑列表相結合，首先對程序的失敗測試使用斷言切換技術找出所有的關鍵斷言；然后對該失敗測試進行切片，獲取到切片；接著，采用頻譜技術對程序分析，即執行程序的所有測試用例收集到頻譜信息，利用頻譜信息計算出所有可疑元素以及對應的懷疑度分數；最后基于所獲得的切片以及懷疑度分數重新計算出新的可疑列表對缺陷進行定位。本發明增強了切片和頻譜組合技術對于一些遺漏型缺陷的定位，并進一步提高了切片與頻譜技術結合后的定位準確率和效率。

本發明授權一種基于頻譜技術和斷言切換技術的缺陷定位方法在權利要求書中公布了：1.一種基于頻譜技術和斷言切換技術的缺陷定位方法，其特征在于，包括如下步驟：步驟1：基于斷言切換技術的切片獲取；1-1.統計失敗測試用例1-1-1.在提供的測試用例中，將所有的失敗測試用例統計并篩選出來；1-2.尋找關鍵斷言對要進行的切換斷言縮小，使用多斷言同時切換策略進行切換以便找到更多的關鍵斷言；其中斷言縮小，具體為：首先通過追溯程序的執行過程記錄下所有的斷言，接著計算所有斷言控制的語句，判斷控制的語句中是否存在執行過的語句，如果存在則去除該斷言，該斷言不再進行切換；其中多斷言同時切換策略，具體為：在找出所有需要切換的斷言后進行排序，依據斷言與輸出錯誤的距離遠近排名，距離越近的斷言排名越高，得出所有的排名后進行切換，由整個排名列表從高到低分別進行單斷言切換、雙斷言切換、三斷言切換，其中雙斷言切換固定排名第一的斷言，三斷言切換需要固定排名一、二的斷言；1-3.獲取切片判斷該程序是否有關鍵斷言，對之前篩選出的失敗測試用例進行切片，如果有則將所有的關鍵斷言在切片過程中放進切片，否則直接進行切片；1-4.融合切片在得到所有程序的失敗測試用例的切片后進行進一步處理，對程序具有多個失敗測試用例也就有多個切片，則需要對這些切片進行取并集處理，而只有單獨切片不需要進行處理；步驟2：基于頻譜技術獲取可疑列表；2-1.獲取頻譜信息2-1-1.首先要保證程序至少要有一個失敗測試用例；2-1-2.接著執行程序的所有測試用例并記錄執行過程收集相應的數據，收集的數據包括：測試用例、執行的語句、執行的結果，這些數據就是覆蓋信息和輸出信息；2-1-3.通過解釋器形成一個頻譜矩陣：行對應每個測試用例，列對應每條語句，并利用單獨列向量表示執行結果信息；2-2.中間變量計算2-2-1.將上一步收集到的頻譜信息輸入到分析器中，進行四個中間變量的計算，公式如下：apqj＝|{i|xij＝pΛei＝q}|a00j表示語句j不在成功的測試用例中的個數；a01j表示語句j在不在失敗的測試用例中的個數；a10j表示語句j在成功的測試用例中的個數；a11j表示語句j在失敗的測試用例中的個數，xij為語句j在測試用例i的覆蓋結果，ei為測試用例i的執行結果；2-3.可疑列表獲取2-3-1.計算得出每條語句的中間變量后便利用公式計算出該條語句的懷疑度，這里使用的是公式： 得到每條語句的懷疑度后便以懷疑度進行排名得到可疑語句列表；步驟3：組合計算新可疑列表；3-1.確認語句3-1-1.根據懷疑列表中的語句依次確認其是否在該程序的切片中，如果在則該語句的切片分數為1，否則為0；3-2.重新計算懷疑度3-2-1.根據語句的懷疑度分數以及得到的切片分數重新計算懷疑度，公式如下：newsocre＝α*oriscore+β*sliscore其中，oriscore即ochiai分數，sliscore即切片分數，α和β為系數，α+β＝1；獲得了重新計算懷疑度的可疑列表；3-2-1.基于重新計算懷疑度的可疑列表進一步地定位缺陷。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人杭州電子科技大學，其通訊地址為：310018 浙江省杭州市下沙高教園區2號大街；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。