Es wird ein Computer-implementiertes Verfahren zum Generieren von Testdaten für Computer-implementierte automatisierte Fahrfunktionen mit den folgenden Schritten vorgeschlagen:• Bereitstellen einer Computer-implementierten automatisierten Fahrfunktion in Form einer Softwarekomponente,• Vorgeben eines Umfeldmodells mit Randbedingungen, die den Zustandsraum der Softwarekomponente beschränken,• Bereitstellen einer Model-Checker-Repräsentation der Softwarekomponente, die durch das Umfeldmodell beschränkt ist,• Vorgeben einer formalen Anforderung als Eingabe für ein Model Checking Verfahren und• Anwenden des Model Checking Verfahrens auf die Model-Checker-Repräsentation zur Analyse der Softwarekomponente im Hinblick auf die Einhaltung der vorgegebenen formalen Anforderung.Bei Nicht-Einhaltung der vorgegebenen formalen Anforderung liefert das Model Checking Verfahren die zur Nicht-Einhaltung beitragenden Zustände und Zustandsübergänge der Softwarekomponente als Edge Case-Parameter. Auf Basis dieser Edge Case-Parameter werden dann erfindungsgemäß Testdaten generiert.
A computer-implemented method for generating test data for computer-implemented automated driving functions. The method includes: provision of a computer-implemented automated driving function in the form of a software component; specification of an environment model with boundary conditions that limit the state space of the software component; provision of a model checker representation of the software component that is limited by the environment model; specification of a formal requirement as an input for a model checking method; and application of the model checking method to the model checker representation to analyze the software component with respect to compliance with the specified formal requirement. If the specified formal requirement is not complied with, the model checking method provides the states and state transitions of the software component that contribute to non-compliance as edge case parameters. Based on the edge case parameters, test data are then generated.
Computer-implementiertes Verfahren und System zum Generieren von Testdaten für Computer-implementierte automatisierte Fahrfunktionen
2024-06-13
Patent
Electronic Resource
German
European Patent Office | 2023
|Entwicklungswerkzeug fuer automatisierte Fahrfunktionen
Automotive engineering | 2016
|Luftstromablenkvorrichtung, computer-implementiertes Verfahren und Fahrzeug
European Patent Office | 2023
|Entwicklungswerkzeug fuer automatisierte Fahrfunktionen
Automotive engineering | 2016
|European Patent Office | 2024
|