Verfahren zum Generieren wenigstens einer Fehlerauslösenden Eingabe zur Fehlersuche in einem Software-Programm

Details

Veröffentlichungs-Nr.

EP4783014

Anmeldetag

27. Januar 2025

Veröffentlichung

29. Juli 2026

Rechtsraum

EP

Abstract

Die Erfindung betrifft ein Verfahren (100) zum Generieren wenigstens einer fehlerauslösenden Eingabe zur Fehlersuche in einem Software-Programm (1), umfassend:- Bereitstellen (101) einer Eingabe, die zu einem Fehler während einer Ausführung des Software-Programms (1) führt,- Ermitteln (102) von einzelnen logischen Bedingungen innerhalb des Software-Programms (1), die erfüllt sind, wenn es zu dem Fehler während der Ausführung des Software-Programms (1) kommt,- Bereitstellen (103) einer weiteren logischen Bedingung, gemäß welcher eine Ungleichheit einer generierten Eingabe mit der bereitgestellten Eingabe erforderlich ist,- Generieren (104) wenigstens einer Eingabe, die die ermittelten einzelnen logischen Bedingungen sowie die bereitgestellte weitere logische Bedingung erfüllt,- Überprüfen (105), ob die wenigstens eine generierte Eingabe zu dem Fehler während der Ausführung des Software-Programms (1) führt,- Bereitstellen (106) der wenigstens einen überprüften Eingabe als die wenigstens eine fehlerauslösende Eingabe zur Fehlersuche in dem Software-Programm (1), wenn diese zu dem Fehler während der Ausführung des Software-Programms (1) führt.Ferner betrifft die Erfindung ein Computerprogramm, eine Vorrichtung sowie ein Speichermedium zu diesem Zweck.

Anmelder

Firma

Robert Bosch GmbH

Land

🇩🇪 Deutschland