Baidu Online Network Technology (beijing) Co., Ltd.

Baidu.com Times Technology (beijing) Co. Ltd.

Shengjian Guo

Peng Li

Kang Li

Tao Wei

Yulong Zhang

Minghua Wang

Qian Feng

Zhenyu Zhong

Zhisheng Hu

A method for processing autonomous driving simulation data. The method includes: determining a type of a message transmitted between a simulation system and an auto driving system (ADS); determining a data acquisition mode based on the type of the message; obtaining a data stream transmitted between the simulation system and the ADS based on the data acquisition mode; and determining performance of the ADS based on the data stream.

Method and apparatus for processing autonomous driving simulation data, and electronic device

The present disclosure provides a method, apparatus, device and computer-readable storage medium for guiding symbolic execution. According to embodiments of the present disclosure, it is possible to determine the specific code region of the program, and obtain the program loop output of the program corresponding to the specific code region of the program by using the program inverse analysis method, so that it is possible to obtain the program loop input of the program corresponding to the specific code region by using the program loop predictor according to the program loop output of the program. In this way, the obtained program loop input of the program corresponding to the specific code region may be used to guide the symbolic execution to filter out impossible execution paths and jump out of the program code and reach the specific code region, thereby improving the reliability of the symbolic execution.

Method, device and computer-readable storage medium for guiding symbolic execution

Growing community of inventors

Beijing, China

Shengjian Guo