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

龍圖騰網(wǎng)恭喜杭州電子科技大學(xué)申請的專利一種Bug修復(fù)后網(wǎng)站后端的檢驗(yàn)方法及其裝置獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識(shí)產(chǎn)權(quán)局授予，授權(quán)公告號為：CN116257447B 。

龍圖騰網(wǎng)通過國家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-05-13發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請?zhí)?專利號為：202310210845.2，技術(shù)領(lǐng)域涉及：G06F11/3668；該發(fā)明授權(quán)一種Bug修復(fù)后網(wǎng)站后端的檢驗(yàn)方法及其裝置是由王興起;周旋;邵艷利;方景龍;魏丹設(shè)計(jì)研發(fā)完成，并于2023-03-07向國家知識(shí)產(chǎn)權(quán)局提交的專利申請。

本一種Bug修復(fù)后網(wǎng)站后端的檢驗(yàn)方法及其裝置在說明書摘要公布了：本發(fā)明公開一種Bug修復(fù)后網(wǎng)站后端的檢驗(yàn)方法及其裝置。對Bug修復(fù)后的網(wǎng)站后端代碼尋找最大可疑度snapshot，識(shí)別過擬合補(bǔ)丁并對過擬合補(bǔ)丁進(jìn)行分類。通過的測試用例在bug程序和正確補(bǔ)丁程序的程序動(dòng)態(tài)行為是相同的，失敗的測試用例在bug程序和正確補(bǔ)丁程序的程序動(dòng)態(tài)行為是不同的。從bug程序和測試集中構(gòu)造導(dǎo)致程序發(fā)生錯(cuò)誤的snapshot，從補(bǔ)丁程序中讀取相同的snapshot，根據(jù)snapshot的值是否隨著使用補(bǔ)丁而變化來判斷補(bǔ)丁是否過擬合。本發(fā)明從程序不變量和程序表達(dá)式的角度重新詮釋了補(bǔ)丁相似性，提出了一種用于計(jì)算補(bǔ)丁相似性的五元組表示方法，用于自動(dòng)補(bǔ)丁生成的過擬合補(bǔ)丁識(shí)別與細(xì)分。

本發(fā)明授權(quán)一種Bug修復(fù)后網(wǎng)站后端的檢驗(yàn)方法及其裝置在權(quán)利要求書中公布了：1.一種Bug修復(fù)后網(wǎng)站后端的檢驗(yàn)方法，其特征在于所述方法包括以下步驟：步驟1：對Bug修復(fù)后的網(wǎng)站后端代碼尋找最大可疑度的動(dòng)態(tài)行為表達(dá)式snapshot；步驟1-1：獲取每個(gè)測試用例的動(dòng)態(tài)行為表達(dá)式snapshot；運(yùn)行Bug修復(fù)前的后端網(wǎng)站，以及該后端網(wǎng)站對應(yīng)的測試集to，首先構(gòu)建snapshot所需的布爾表達(dá)式，得到布爾表達(dá)式集合Bbug，收集每一個(gè)測試用例運(yùn)行期間的程序抽象狀態(tài)；然后計(jì)算布爾表達(dá)式集合Bbug中每個(gè)布爾表達(dá)式的值，生成測試集中每個(gè)測試用例的動(dòng)態(tài)行為表達(dá)式snapshot；所述動(dòng)態(tài)行為表達(dá)式snapshot基于補(bǔ)丁相似性原理采用五元組進(jìn)行表達(dá)： 其中表示每一條語句的唯一位置標(biāo)識(shí)，b表示布爾表達(dá)式，？表示b的值，i表示測試集中每一個(gè)測試用例的唯一序號，vi表示測試用例ti在bug程序執(zhí)行過程中b的實(shí)際值；步驟1-2：計(jì)算每一個(gè)動(dòng)態(tài)行為表達(dá)式snapshot的可疑度，計(jì)算公式定義如下： 其中eds表示依賴性變量，dys表示動(dòng)態(tài)分析變量；步驟1-3：篩選最大可疑度的動(dòng)態(tài)行為表達(dá)式snapshot，記為smax；最大可疑度的動(dòng)態(tài)行為表達(dá)式snapshot即為Bug的動(dòng)態(tài)行為表達(dá)式snapshot，進(jìn)而得到測試集to對應(yīng)的snapshot集合sbug；步驟2：對測試集to進(jìn)行數(shù)據(jù)增強(qiáng)，得到數(shù)據(jù)增強(qiáng)后的測試集te：通過Evosuite軟件隨機(jī)生成多個(gè)新測試用例，將步驟1-1中測試集替換成上述新測試用例，然后重復(fù)步驟1-1計(jì)算得到這些測試用例的動(dòng)態(tài)行為表達(dá)式snapshot，記為snew；如果snew與smax相同，則將snew對應(yīng)的測試用例添加到測試集to，反之則丟棄snew對應(yīng)的測試用例，最終得到數(shù)據(jù)增強(qiáng)后的測試集te；步驟3：識(shí)別過擬合補(bǔ)丁并對識(shí)別出的過擬合補(bǔ)丁進(jìn)行分類；具體如下：步驟3-1：在Bug修復(fù)采用的補(bǔ)丁中獲取需要監(jiān)聽的位置由于網(wǎng)站后端修復(fù)前bug的位置不能直接在補(bǔ)丁中監(jiān)聽，需要重新選擇補(bǔ)丁中的某個(gè)位置去監(jiān)聽Bug的動(dòng)態(tài)行為表達(dá)式相同的布爾表達(dá)式b；無論哪一種修復(fù)操作，程序只有在修復(fù)操作結(jié)束后，才可能有正確的程序行為，故定義bug和補(bǔ)丁第一次不同的語句記為starts，最后不同的語句記為ends，采用以下的規(guī)則進(jìn)行監(jiān)聽位置選擇：1如果starts采用塊語句，且ends在starts內(nèi)部，那么在塊語句結(jié)束的下一條語句；所述塊語句為for、while或if；2如果starts不采用塊語句，判斷ends是否為最后一條語句，若否則在ends的下一條語句，若是則步驟3-2：運(yùn)行Bug修復(fù)后的后端網(wǎng)站和數(shù)據(jù)增強(qiáng)后的測試集te，獲取測試集te中每個(gè)測試用例在上的程序抽象狀態(tài)，進(jìn)而得到動(dòng)態(tài)行為表達(dá)式snapshot，最后獲得測試集te對應(yīng)的snapshot集合spatch；其中spatch與sbug的布爾表達(dá)式b和？相同；步驟3-3：將兩個(gè)集合sbug、spatch按照測試集te中測試用例的序號進(jìn)行對比，獲得集合sbug、spatch中測試失敗的測試用例間v相同的數(shù)量Nf，以及集合sbug、spatch中測試通過的測試用例間v不同的數(shù)量Np；根據(jù)以下公式3，識(shí)別補(bǔ)丁的類型： 其中correct表示正確的補(bǔ)丁，A表示A類型的過擬合補(bǔ)丁，即補(bǔ)丁既沒有完全修復(fù)不正確的行為也沒有破壞原來正確的行為；B表示B類型的過擬合補(bǔ)丁，即補(bǔ)丁修復(fù)了原來不正確的行為但是破壞了原來正確的行為，被稱為回歸錯(cuò)誤；AB表示AB類型的過擬合補(bǔ)丁，即補(bǔ)丁不但沒有修復(fù)不正確的行為還破壞了原來正確的行為。

如需購買、轉(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)”。