Softwarearchitektur zur Validierung von C++ Programmen unter Verwendung von symbolischer Ausführung

Details

Veröffentlichungs-Nr.

EP2479673

Aktenzeichen

EP12150574

Anmeldetag

10. Januar 2012

Veröffentlichung

16. August 2017

Erteilung

16. August 2017

Rechtsraum

EP

IPC

G06F11/36

Abstract

Particular embodiment compile a C++ program having one or more input variables to obtain bytecode of the C++ program; compile a C++ library to obtain bytecode of the C++ library; symbolically execute the bytecode of the C++ program and the bytecode of the C++ library, comprising assign a symbolic input to each input variable of the C++ program; determine one or more execution paths in the C++ program; and for each execution path, construct a symbolic expression that if satisfied, causes the C++ program to proceed down the execution path; and generate one or more test cases for the C++ program by solving the symbolic expressions.

Anmelder

Firma

Fujitsu Limited

Land

🇯🇵 Japan

Fachgebiete