Patents by Inventor Ruidong Chen

Ruidong Chen has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Device for automatically generating test cases for embedded software using symbolic and concrete execution
    Patent number: 10180899
    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.
    Type: Grant
    Filed: July 30, 2014
    Date of Patent: January 15, 2019
    Assignee: UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA
    Inventors: Ting Chen, Xiaosong Zhang, Dong Wang, Ruidong Chen, Weina Niu, Xiaofen Wang
  • Device for automatically generating test cases for embedded software and method thereof
    Publication number: 20170010956
    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.
    Type: Application
    Filed: July 30, 2014
    Publication date: January 12, 2017
    Inventors: Ting Chen, Xiaosong Zhang, Dong Wang, Ruidong Chen, Weina Niu, Xiaofen Wang