Techniken zum Überprüfen von Übersetztem Programmcode

Details

Veröffentlichungs-Nr.

EP4718236

Anmeldetag

8. September 2025

Veröffentlichung

1. April 2026

Rechtsraum

EP

IPC

(CLEMENT COLIN BRUCE et al.)

Abstract

Ein allgemeiner Aspekt der vorliegenden Offenbarung betrifft ein Verfahren zum Überprüfen von übersetztem Programmcode. Das Verfahren umfasst Zugreifen auf einen Original-Programmcode, der in einer ersten Programmiersprache abgefasst ist und Zugreifen auf einen übersetzten Programmcode, der in einer zweiten Programmiersprache abgefasst ist. Der übersetzte Programmierode ist mittels eines Maschinenlern-Systems aus dem Original-Programmcode übersetzt. Das Verfahren umfasst weiter Zugreifen auf ein oder mehrere Anpassungsfunktionen. Jede der ein oder mehreren Anpassungsfunktionen ist dazu ausgelegt ist, eine oder mehrere durch strukturelle Unterschiede zwischen der ersten und der zweiten Programmiersprache erzeugte Auswirkungen auf das Verhalten von in der ersten Programmiersprache und in der zweiten Programmiersprache abgefassten Programmcodes in einem Vergleich des Verhaltens der Programmcodes zu berücksichtigen. Das Verfahren umfasst zudem Durchführen eines Vergleichs des Verhaltens des Original-Programmcodes und des übersetzten Programmcodes unter Verwendung der ein oder mehreren Anpassungsfunktionen, um eine Äquivalenz des Original-Programmcodes und des übersetzten Programmcodes zu prüfen.

Anmelder

Firma

Robert Bosch GmbH

Land

🇩🇪 Deutschland