買專利賣專利找龍圖騰，真高效！ 查專利查商標(biāo)用IPTOP,全免費(fèi)！專利年費(fèi)監(jiān)控用IP管家,真方便！

龍圖騰網(wǎng)獲悉杭州電子科技大學(xué)申請(qǐng)的專利一種基于頻譜技術(shù)和斷言切換技術(shù)的缺陷定位方法獲國(guó)家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國(guó)家知識(shí)產(chǎn)權(quán)局授予，授權(quán)公告號(hào)為：CN114153735B 。

龍圖騰網(wǎng)通過國(guó)家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-04-29發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請(qǐng)?zhí)?專利號(hào)為：202111480144.8，技術(shù)領(lǐng)域涉及：G06F11/3668；該發(fā)明授權(quán)一種基于頻譜技術(shù)和斷言切換技術(shù)的缺陷定位方法是由方景龍;謝世豪;魏丹;陳濱;王興起設(shè)計(jì)研發(fā)完成，并于2021-12-06向國(guó)家知識(shí)產(chǎn)權(quán)局提交的專利申請(qǐng)。

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

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

如需購(gòu)買、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請(qǐng)人或?qū)＠麢?quán)人杭州電子科技大學(xué)，其通訊地址為：310018 浙江省杭州市下沙高教園區(qū)2號(hào)大街；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。