CN119396705A 模糊测试的方法及装置 （支付宝(杭州)信息技术有限公司）_第1页
CN119396705A 模糊测试的方法及装置 （支付宝(杭州)信息技术有限公司）_第2页
CN119396705A 模糊测试的方法及装置 （支付宝(杭州)信息技术有限公司）_第3页
CN119396705A 模糊测试的方法及装置 （支付宝(杭州)信息技术有限公司）_第4页
CN119396705A 模糊测试的方法及装置 （支付宝(杭州)信息技术有限公司）_第5页
已阅读5页，还剩21页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

本说明书实施例提供一种模糊测试的方法前种子输入集合中各个种子输入对应的各条执2从用于对目标程序进行模糊测试的当前种子输入集合中，选取从该目标种子输入独有的定制词典中选取第一标记值，并基于该第若判断结果指示所述第二执行路径不属于所述各条执行路径之一对于所述第一执行路径上任意的第一节点，在对应的第一基本代若所述目标跳转关系的跳转条件是所述目标等式约束被满足判断所述第二执行路径中是否存在未涵盖在所述各条执行路径中任一执行路径中的若判断结果指示存在所述第一有向边，则确定所述第二执行6.根据权利要求1所述的方法，其中，所述判断所述变异种子输入对应的第二执行路将所述第二节点集合与所述各条执行路径对应的各个节点集若所述第二节点集合与所述各个节点集合均不相等，则确定所述从所述第二执行路径上的节点中提取与等式约束相关的常量值，并将其3选取单元，用于从用于对目标程序进行模糊测试的当前种子输入集合中，变形单元，用于从该目标种子输入独有的定制词典中选取第一标记值所述确定子模块，还用于对于所述第一执行路径上任意的第一节点，在获取子模块，用于若所述目标跳转关系的跳转条件是所述目标等式判断所述第二执行路径中是否存在未涵盖在所述各条执行路径中任一执行路径中的若判断结果指示存在所述第一有向边，则确定所述第二执行将所述第二节点集合与所述各条执行路径对应的各个节点集若所述第二节点集合与所述各个节点集合均不相等，则确定所述提取单元，用于从所述第二执行路径上的节点中提取与等式约束相关的45述目标程序对应具有以基本代码块为节点的干标记值包括，从所述目标种子输入在所述控制流图中的第一执行路径上的节点中提取[0014]添加单元，用于若判断结果指示所述第二执行路径不属于所述各条执行路径之6[0017]本说明书一个或多个实施例提供的模糊测试的方法及装7(seedCorpus)中随机选取某种子输入(seed)。对于该种子输入，从其独有的定制词典中的目标跳转关系，并判断该目标跳转关系8支(即右侧跳转关系)的跳转条件为等式约束不这里放弃标记值10的原因在于与其对应的程序分支已涵盖在执[0044]也就是说，本方案是将那些对应程序分支未涵盖在执行路径的常量值作为标记[0046]图4示出根据本说明书一个实施例的模糊测试的方法流程图。该方法可以通过任[0049]上述初始种子输入集合中的种子输入可以是根据特定上下文环境或领域知识精[0050]在一个实施例中，上述目标种子输入可以是从当前种子输入集合中随机选取得9[0088]判断第二执行路径中是否存在未涵盖在各条执行路径中任一执行路径中的第一[0089]若判断结果指示存在第一有向边，则确定第二执行路径不属于各条执行路径之存储在计算机可读介质中或者作为计算机可读介质上的一个或多个指令或代码进行传输。[0103]上述对本说明书特定实施例进行了描述。其它实施例在所附权利要求书的范围

人人文库> 全部分类> 行业资料 > 信息产业

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论