国产精品天干天干在线播放,大尺度揉捏胸床戏视频,樱花草www日本在线观看,狠狠躁夜夜躁人人爽天天天天97

Document
拖動(dòng)滑塊完成拼圖
個(gè)人中心

預(yù)訂訂單
服務(wù)訂單
發(fā)布專利 發(fā)布成果 人才入駐 發(fā)布商標(biāo) 發(fā)布需求

在線咨詢

聯(lián)系我們

龍圖騰公眾號
首頁 專利交易 IP管家助手 科技果 科技人才 科技服務(wù) 國際服務(wù) 商標(biāo)交易 會(huì)員權(quán)益 需求市場 關(guān)于龍圖騰
 /  免費(fèi)注冊
到頂部 到底部
清空 搜索
當(dāng)前位置 : 首頁 > 專利喜報(bào) > 杭州電子科技大學(xué)方景龍獲國家專利權(quán)

杭州電子科技大學(xué)方景龍獲國家專利權(quán)

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

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

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

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

本發(fā)明授權(quán)一種基于頻譜技術(shù)和斷言切換技術(shù)的缺陷定位方法在權(quán)利要求書中公布了:1.一種基于頻譜技術(shù)和斷言切換技術(shù)的缺陷定位方法,其特征在于,包括如下步驟:步驟1:基于斷言切換技術(shù)的切片獲取;1-1.統(tǒng)計(jì)失敗測試用例1-1-1.在提供的測試用例中,將所有的失敗測試用例統(tǒng)計(jì)并篩選出來;1-2.尋找關(guān)鍵斷言對要進(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)鍵斷言,對之前篩選出的失敗測試用例進(jìn)行切片,如果有則將所有的關(guān)鍵斷言在切片過程中放進(jìn)切片,否則直接進(jìn)行切片;1-4.融合切片在得到所有程序的失敗測試用例的切片后進(jìn)行進(jìn)一步處理,對程序具有多個(gè)失敗測試用例也就有多個(gè)切片,則需要對這些切片進(jìn)行取并集處理,而只有單獨(dú)切片不需要進(jìn)行處理;步驟2:基于頻譜技術(shù)獲取可疑列表;2-1.獲取頻譜信息2-1-1.首先要保證程序至少要有一個(gè)失敗測試用例;2-1-2.接著執(zhí)行程序的所有測試用例并記錄執(zhí)行過程收集相應(yīng)的數(shù)據(jù),收集的數(shù)據(jù)包括:測試用例、執(zhí)行的語句、執(zhí)行的結(jié)果,這些數(shù)據(jù)就是覆蓋信息和輸出信息;2-1-3.通過解釋器形成一個(gè)頻譜矩陣:行對應(yīng)每個(gè)測試用例,列對應(yīng)每條語句,并利用單獨(dú)列向量表示執(zhí)行結(jié)果信息;2-2.中間變量計(jì)算2-2-1.將上一步收集到的頻譜信息輸入到分析器中,進(jìn)行四個(gè)中間變量的計(jì)算,公式如下:apqj=|{i|xij=pΛei=q}|a00j表示語句j不在成功的測試用例中的個(gè)數(shù);a01j表示語句j在不在失敗的測試用例中的個(gè)數(shù);a10j表示語句j在成功的測試用例中的個(gè)數(shù);a11j表示語句j在失敗的測試用例中的個(gè)數(shù),xij為語句j在測試用例i的覆蓋結(jié)果,ei為測試用例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)一步地定位缺陷。

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

免責(zé)聲明
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ù)或者憑證。
主站蜘蛛池模板: 武功县| 尼木县| 博乐市| 建宁县| 寻甸| 寻乌县| 平武县| 白朗县| 醴陵市| 达拉特旗| 自贡市| 微山县| 塘沽区| 嘉定区| 兴山县| 陇南市| 固安县| 巢湖市| 博爱县| 普安县| 湾仔区| 防城港市| 西城区| 上高县| 綦江县| 定州市| 杭州市| 明溪县| 娄底市| 乐安县| 鹤峰县| 桃园市| 和田市| 高阳县| 额尔古纳市| 旺苍县| 昌黎县| 施甸县| 徐州市| 屏东县| 开阳县|