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

龙图腾网恭喜杭州电子科技大学申请的专利一种基于频谱技术和断言切换技术的缺陷定位方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114153735B 。

龙图腾网通过国家知识产权局官网在2025-04-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111480144.8，技术领域涉及：G06F11/3668；该发明授权一种基于频谱技术和断言切换技术的缺陷定位方法是由方景龙;谢世豪;魏丹;陈滨;王兴起设计研发完成，并于2021-12-06向国家知识产权局提交的专利申请。

本一种基于频谱技术和断言切换技术的缺陷定位方法在说明书摘要公布了：本发明涉及一种基于频谱技术和断言切换技术的缺陷定位方法。本发明主要考虑如何获得更准确的切片以及如何将切片与可疑列表相结合，首先对程序的失败测试使用断言切换技术找出所有的关键断言；然后对该失败测试进行切片，获取到切片；接着，采用频谱技术对程序分析，即执行程序的所有测试用例收集到频谱信息，利用频谱信息计算出所有可疑元素以及对应的怀疑度分数；最后基于所获得的切片以及怀疑度分数重新计算出新的可疑列表对缺陷进行定位。本发明增强了切片和频谱组合技术对于一些遗漏型缺陷的定位，并进一步提高了切片与频谱技术结合后的定位准确率和效率。

本发明授权一种基于频谱技术和断言切换技术的缺陷定位方法在权利要求书中公布了：1.一种基于频谱技术和断言切换技术的缺陷定位方法，其特征在于，包括如下步骤：步骤1：基于断言切换技术的切片获取；1-1.统计失败测试用例1-1-1.在提供的测试用例中，将所有的失败测试用例统计并筛选出来；1-2.寻找关键断言对要进行的切换断言缩小，使用多断言同时切换策略进行切换以便找到更多的关键断言；其中断言缩小，具体为：首先通过追溯程序的执行过程记录下所有的断言，接着计算所有断言控制的语句，判断控制的语句中是否存在执行过的语句，如果存在则去除该断言，该断言不再进行切换；其中多断言同时切换策略，具体为：在找出所有需要切换的断言后进行排序，依据断言与输出错误的距离远近排名，距离越近的断言排名越高，得出所有的排名后进行切换，由整个排名列表从高到低分别进行单断言切换、双断言切换、三断言切换，其中双断言切换固定排名第一的断言，三断言切换需要固定排名一、二的断言；1-3.获取切片判断该程序是否有关键断言，对之前筛选出的失败测试用例进行切片，如果有则将所有的关键断言在切片过程中放进切片，否则直接进行切片；1-4.融合切片在得到所有程序的失败测试用例的切片后进行进一步处理，对程序具有多个失败测试用例也就有多个切片，则需要对这些切片进行取并集处理，而只有单独切片不需要进行处理；步骤2：基于频谱技术获取可疑列表；2-1.获取频谱信息2-1-1.首先要保证程序至少要有一个失败测试用例；2-1-2.接着执行程序的所有测试用例并记录执行过程收集相应的数据，收集的数据包括：测试用例、执行的语句、执行的结果，这些数据就是覆盖信息和输出信息；2-1-3.通过解释器形成一个频谱矩阵：行对应每个测试用例，列对应每条语句，并利用单独列向量表示执行结果信息；2-2.中间变量计算2-2-1.将上一步收集到的频谱信息输入到分析器中，进行四个中间变量的计算，公式如下：apqj＝|{i|xij＝pΛei＝q}|a00j表示语句j不在成功的测试用例中的个数；a01j表示语句j在不在失败的测试用例中的个数；a10j表示语句j在成功的测试用例中的个数；a11j表示语句j在失败的测试用例中的个数，xij为语句j在测试用例i的覆盖结果，ei为测试用例i的执行结果；2-3.可疑列表获取2-3-1.计算得出每条语句的中间变量后便利用公式计算出该条语句的怀疑度，这里使用的是公式： 得到每条语句的怀疑度后便以怀疑度进行排名得到可疑语句列表；步骤3：组合计算新可疑列表；3-1.确认语句3-1-1.根据怀疑列表中的语句依次确认其是否在该程序的切片中，如果在则该语句的切片分数为1，否则为0；3-2.重新计算怀疑度3-2-1.根据语句的怀疑度分数以及得到的切片分数重新计算怀疑度，公式如下：newsocre＝α*oriscore+β*sliscore其中，oriscore即ochiai分数，sliscore即切片分数，α和β为系数，α+β＝1；获得了重新计算怀疑度的可疑列表；3-2-1.基于重新计算怀疑度的可疑列表进一步地定位缺陷。

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