公开(公告)号：CN101714119B

公开(公告)日：2011-11-02

申请号：CN200910250422.3

申请日：2009-12-09

Applicant: 北京邮电大学

Inventor： 崔宝江 ,  王禹 ,  洪海

IPC: G06F11/36

Abstract: 一种基于二进制程序的测试数据生成器和方法，其主要技术是对所述引导路径和初始测试数据对应的二进制程序的状态信息，运行动态符号执行程序，根据运行结果获得相应的条件跳转地址信息；基于所获得的条件跳转地址信息，将初始测试数据对应的实际运行路径与引导路径进行匹配；生成与所述引导路径相匹配的实际运行路径对应的测试数据。本发明结合静态分析与动态分析的优点，能提高符号执行的有效性和准确性，提高生成测试数据的准确度；还能生成用于对关键代码段进行路径敏感分析的测试数据，从而能有效缓解符号执行中遇到的路径爆炸问题。

公开(公告)号：CN101714119A

公开(公告)日：2010-05-26

申请号：CN200910250422.3

申请日：2009-12-09

Applicant: 北京邮电大学

Inventor： 崔宝江 ,  王禹 ,  洪海

IPC: G06F11/36

Abstract: 一种基于二进制程序的测试数据生成器和方法，其主要技术是对所述引导路径和初始测试数据对应的二进制程序的状态信息，运行动态符号执行程序，根据运行结果获得相应的条件跳转地址信息；基于所获得的条件跳转地址信息，将初始测试数据对应的实际运行路径与引导路径进行匹配；生成与所述引导路径相匹配的实际运行路径对应的测试数据。本发明结合静态分析与动态分析的优点，能提高符号执行的有效性和准确性，提高生成测试数据的准确度；还能生成用于对关键代码段进行路径敏感分析的测试数据，从而能有效缓解符号执行中遇到的路径爆炸问题。