买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜杭州电子科技大学申请的专利一种Bug修复后网站后端的检验方法及其装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116257447B 。

龙图腾网通过国家知识产权局官网在2025-05-13发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310210845.2，技术领域涉及：G06F11/3668；该发明授权一种Bug修复后网站后端的检验方法及其装置是由王兴起;周旋;邵艳利;方景龙;魏丹设计研发完成，并于2023-03-07向国家知识产权局提交的专利申请。

本一种Bug修复后网站后端的检验方法及其装置在说明书摘要公布了：本发明公开一种Bug修复后网站后端的检验方法及其装置。对Bug修复后的网站后端代码寻找最大可疑度snapshot，识别过拟合补丁并对过拟合补丁进行分类。通过的测试用例在bug程序和正确补丁程序的程序动态行为是相同的，失败的测试用例在bug程序和正确补丁程序的程序动态行为是不同的。从bug程序和测试集中构造导致程序发生错误的snapshot，从补丁程序中读取相同的snapshot，根据snapshot的值是否随着使用补丁而变化来判断补丁是否过拟合。本发明从程序不变量和程序表达式的角度重新诠释了补丁相似性，提出了一种用于计算补丁相似性的五元组表示方法，用于自动补丁生成的过拟合补丁识别与细分。

本发明授权一种Bug修复后网站后端的检验方法及其装置在权利要求书中公布了：1.一种Bug修复后网站后端的检验方法，其特征在于所述方法包括以下步骤：步骤1：对Bug修复后的网站后端代码寻找最大可疑度的动态行为表达式snapshot；步骤1-1：获取每个测试用例的动态行为表达式snapshot；运行Bug修复前的后端网站，以及该后端网站对应的测试集to，首先构建snapshot所需的布尔表达式，得到布尔表达式集合Bbug，收集每一个测试用例运行期间的程序抽象状态；然后计算布尔表达式集合Bbug中每个布尔表达式的值，生成测试集中每个测试用例的动态行为表达式snapshot；所述动态行为表达式snapshot基于补丁相似性原理采用五元组进行表达： 其中表示每一条语句的唯一位置标识，b表示布尔表达式，？表示b的值，i表示测试集中每一个测试用例的唯一序号，vi表示测试用例ti在bug程序执行过程中b的实际值；步骤1-2：计算每一个动态行为表达式snapshot的可疑度，计算公式定义如下： 其中eds表示依赖性变量，dys表示动态分析变量；步骤1-3：筛选最大可疑度的动态行为表达式snapshot，记为smax；最大可疑度的动态行为表达式snapshot即为Bug的动态行为表达式snapshot，进而得到测试集to对应的snapshot集合sbug；步骤2：对测试集to进行数据增强，得到数据增强后的测试集te：通过Evosuite软件随机生成多个新测试用例，将步骤1-1中测试集替换成上述新测试用例，然后重复步骤1-1计算得到这些测试用例的动态行为表达式snapshot，记为snew；如果snew与smax相同，则将snew对应的测试用例添加到测试集to，反之则丢弃snew对应的测试用例，最终得到数据增强后的测试集te；步骤3：识别过拟合补丁并对识别出的过拟合补丁进行分类；具体如下：步骤3-1：在Bug修复采用的补丁中获取需要监听的位置由于网站后端修复前bug的位置不能直接在补丁中监听，需要重新选择补丁中的某个位置去监听Bug的动态行为表达式相同的布尔表达式b；无论哪一种修复操作，程序只有在修复操作结束后，才可能有正确的程序行为，故定义bug和补丁第一次不同的语句记为starts，最后不同的语句记为ends，采用以下的规则进行监听位置选择：1如果starts采用块语句，且ends在starts内部，那么在块语句结束的下一条语句；所述块语句为for、while或if；2如果starts不采用块语句，判断ends是否为最后一条语句，若否则在ends的下一条语句，若是则步骤3-2：运行Bug修复后的后端网站和数据增强后的测试集te，获取测试集te中每个测试用例在上的程序抽象状态，进而得到动态行为表达式snapshot，最后获得测试集te对应的snapshot集合spatch；其中spatch与sbug的布尔表达式b和？相同；步骤3-3：将两个集合sbug、spatch按照测试集te中测试用例的序号进行对比，获得集合sbug、spatch中测试失败的测试用例间v相同的数量Nf，以及集合sbug、spatch中测试通过的测试用例间v不同的数量Np；根据以下公式3，识别补丁的类型： 其中correct表示正确的补丁，A表示A类型的过拟合补丁，即补丁既没有完全修复不正确的行为也没有破坏原来正确的行为；B表示B类型的过拟合补丁，即补丁修复了原来不正确的行为但是破坏了原来正确的行为，被称为回归错误；AB表示AB类型的过拟合补丁，即补丁不但没有修复不正确的行为还破坏了原来正确的行为。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州电子科技大学，其通讯地址为：310018 浙江省杭州市下沙高教园区2号大街；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。