Robert Boschgmbh

Simon Greiner

Christopher Huth

Anupam Sarkar

Hans Loehr

Rakshith Amarnath

Joachim Graf

Juergen Klarmann

Franziska Wiemer

Claudia Loderhose

Johann Kobelski

A computer-implemented method for performing a test for a program code. The method includes the following steps: providing a modified program code, which includes the program code to be tested and at least one code segment, the at least one code segment monitoring an execution sequence of execution segments, and the code segment being developed to induce a program termination when an impermissible execution sequence is detected; performing a fuzz test for the modified program code; signaling a program termination when an impermissible execution sequence is detected.

Method and device for operating fuzz testing of a program code

A computer-implemented method for selecting a fuzzing method for carrying out fuzzing testing of a predefined program code. The method includes: providing one or multiple reference performance metrics that characterize the result of reference fuzzing testing of the program code to be tested, using a reference fuzzing method; carrying out fuzzing tests, based on various fuzzing methods, on the predefined program code in order to ascertain one or multiple performance metrics in each case; selecting one or multiple fuzzing methods corresponding to the associated performance metrics, as a function of the reference performance metric; and carrying out fuzzing testing corresponding to the one or multiple selected fuzzing methods.

Computer-implemented method and device for selecting a fuzzing method for testing a program code

A computer-implemented method for carrying out an update management for updating application software on data processing units. The method includes: providing an error model, which indicates a number of errors across software versions of the application software; determining an update sequence for data processing units, depending on their particular software version; and updating the application software or providing an update prompt to update the application software in the data processing units according to the update sequence.

Computer-implemented method and device for the update management of different versions of distributed software with the aid of machine learning methods

A computer-implemented method for testing a system, the tested system being a computer program, a hardware system, or an embedded system. In the method, using a static analysis, a first part of an execution structure for the system is examined to see if the system runs corresponding execution paths without errors when the first part of the execution structure is executed. If in the static analysis error-free execution is determined for the first part of the execution structure, the system is examined using a dynamic analysis which leaves out execution paths which correspond to the first part of the execution structure.

Method for testing a system

A method for operating a control unit in a network of control units, including the following features: a request to change a mode of the network is received, the request is subjected to a check, which provides a check result; a communication is disseminated to the remaining control units and a response is received in each case with respect to the check result and to a status of the network known to the control unit; and the request is complied with or rejected as a function of the responses.

Growing community of inventors

Leonberg, Germany

Simon Greiner