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.


    Access

    Download


    Export, share and cite



    Title :

    Computer-implementiertes Verfahren und System zum Generieren von Testdaten für Computer-implementierte automatisierte Fahrfunktionen


    Contributors:

    Publication date :

    2024-06-13


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    German


    Classification :

    IPC:    B60W CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION , Gemeinsame Steuerung oder Regelung von Fahrzeug-Unteraggregaten verschiedenen Typs oder verschiedener Funktion / G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung




    Entwicklungswerkzeug fuer automatisierte Fahrfunktionen

    Elektrobit,Erlangen,DE | Automotive engineering | 2016


    Luftstromablenkvorrichtung, computer-implementiertes Verfahren und Fahrzeug

    GÜRLICH CHRISTIAN / DEMMERER STEPHAN | European Patent Office | 2023

    Free access

    Entwicklungswerkzeug fuer automatisierte Fahrfunktionen

    Elektrobit,Erlangen,DE | Automotive engineering | 2016