杭州電子科技大學(xué)方景龍獲國(guó)家專利權(quán)
買專利賣專利找龍圖騰,真高效! 查專利查商標(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)”。
1、本報(bào)告根據(jù)公開、合法渠道獲得相關(guān)數(shù)據(jù)和信息,力求客觀、公正,但并不保證數(shù)據(jù)的最終完整性和準(zhǔn)確性。
2、報(bào)告中的分析和結(jié)論僅反映本公司于發(fā)布本報(bào)告當(dāng)日的職業(yè)理解,僅供參考使用,不能作為本公司承擔(dān)任何法律責(zé)任的依據(jù)或者憑證。
- 長(zhǎng)興金潤(rùn)大正機(jī)械有限公司吳建豐獲國(guó)家專利權(quán)
- 內(nèi)蒙古拉鎖式新型建材科技有限公司姚井祥獲國(guó)家專利權(quán)
- 洛陽方晨智能裝備有限公司馬永奇獲國(guó)家專利權(quán)
- 冷王公司瑞安·韋恩·舒馬赫獲國(guó)家專利權(quán)
- 中冶天工集團(tuán)有限公司王海量獲國(guó)家專利權(quán)
- 鋒利刀具制造(深圳)有限公司呂小燕獲國(guó)家專利權(quán)
- 中交上海航道勘察設(shè)計(jì)研究院有限公司丁潔獲國(guó)家專利權(quán)
- 深圳東方鍋爐控制有限公司羅輝國(guó)獲國(guó)家專利權(quán)
- 三星顯示有限公司全祐奭獲國(guó)家專利權(quán)
- 武漢大學(xué)陳志文獲國(guó)家專利權(quán)


熱門推薦
- 北京時(shí)代全芯存儲(chǔ)技術(shù)股份有限公司廖昱程獲國(guó)家專利權(quán)
- 河北藝能鍋爐有限責(zé)任公司牟春濤獲國(guó)家專利權(quán)
- 沈陽硅基科技有限公司賈文博獲國(guó)家專利權(quán)
- 瑞典愛立信有限公司P·哈加獲國(guó)家專利權(quán)
- 偉創(chuàng)力電子技術(shù)(蘇州)有限公司康健獲國(guó)家專利權(quán)
- 廣東聯(lián)大光電有限公司饒欽和獲國(guó)家專利權(quán)
- 杭州老板電器股份有限公司任富佳獲國(guó)家專利權(quán)
- 張振華獲國(guó)家專利權(quán)
- 高露潔-棕欖公司納丁·德夫德尼獲國(guó)家專利權(quán)
- 中國(guó)人民解放軍陸軍工程大學(xué)熊飛獲國(guó)家專利權(quán)