公开(公告)号：US20170010956A1

公开(公告)日：2017-01-12

申请号：US15112689

申请日：2014-07-30

Applicant: UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA

Inventor： Ting Chen ,  Xiaosong Zhang ,  Dong Wang ,  Ruidong Chen ,  Weina Niu ,  Xiaofen Wang

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F11/36 ,  G06F11/3664 ,  G06F11/3688

Abstract: A device and a method are provided to automatically generate test case for embedded software. This invention is in software test field, including symbolic execution kernel module, path selection module, solver, debugger, concrete execution kernel module and debugger agent module. The tested software and test cases are uploaded from the host system to the embedded system through debugger and debugger agent. The concrete execution kernel module starts the tested software. The symbolic execution kernel module captures the run-time information of the tested software through the debugger. When the tested software operates on the symbol source, the symbolic execution kernel module marks the symbol source, tracks the symbol propagation, generates path condition and sends the path condition to path selection module. This invention can automatically generate test cases for embedded software, which doesn't need the source code of the tested software and can be conveniently used for commercial software.

Abstract translation: 提供了一种设备和方法来自动生成嵌入式软件的测试用例。 本发明在软件测试领域，包括符号执行内核模块，路径选择模块，求解器，调试器，具体执行内核模块和调试器代理模块。 测试的软件和测试用例通过调试器和调试器代理从主机系统上传到嵌入式系统。 具体执行内核模块启动测试软件。 符号执行内核模块通过调试器捕获测试软件的运行时信息。 当测试软件在符号源上运行时，符号执行内核模块标记符号源，跟踪符号传播，生成路径条件，并将路径条件发送到路径选择模块。 本发明可以自动生成嵌入式软件测试用例，不需要测试软件的源代码，便于商业软件使用。

公开(公告)号：US10180899B2

公开(公告)日：2019-01-15

申请号：US15112689

申请日：2014-07-30

Applicant: UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA

Inventor： Ting Chen ,  Xiaosong Zhang ,  Dong Wang ,  Ruidong Chen ,  Weina Niu ,  Xiaofen Wang

IPC: G06F11/00 ,  G06F11/36

Abstract: A device and a method are provided to automatically generate test case for embedded software. This invention is in software test field, including symbolic execution kernel module, path selection module, solver, debugger, concrete execution kernel module and debugger agent module. The tested software and test cases are uploaded from the host system to the embedded system through debugger and debugger agent. The concrete execution kernel module starts the tested software. The symbolic execution kernel module captures the run-time information of the tested software through the debugger. When the tested software operates on the symbol source, the symbolic execution kernel module marks the symbol source, tracks the symbol propagation, generates path condition and sends the path condition to path selection module. This invention can automatically generate test cases for embedded software, which doesn't need the source code of the tested software and can be conveniently used for commercial software.