公开(公告)号：CN109086215A

公开(公告)日：2018-12-25

申请号：CN201811216675.4

申请日：2018-10-18

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  杨帆 ,  江云松 ,  王政 ,  高栋栋 ,  高猛 ,  贾春鹏 ,  陈华南 ,  张璐 ,  孙民

IPC: G06F11/36

Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。

公开(公告)号：CN109086215B

公开(公告)日：2021-11-16

申请号：CN201811216675.4

申请日：2018-10-18

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  杨帆 ,  江云松 ,  王政 ,  高栋栋 ,  高猛 ,  贾春鹏 ,  陈华南 ,  张璐 ,  孙民

IPC: G06F11/36

Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。