A method for generating a populated state transition table for a finite-state machine (FSM)-modeled system includes receiving system traits via a host computer of a modeling system. The system traits include states, state transitions, and events of the FSM-modeled system. The method includes generating an initial state transition table in response to receipt of the system traits, the table being partially-populated by the system traits. The method additionally includes populating the table in response to user inputs to thereby auto-generate a populated state transition table, and error-checking the populated table using predetermined error-checking criteria, including searching the populated table via error-checking logic of the host computer for an omitted critical trait of the FSM-modeled system. The method also includes communicating an alert to the user in response to the omitted critical trait.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    AUTOMATED DATA ENTRY AND ERROR CHECKING METHODOLOGY FOR GENERATING STATE TRANSITION TABLES


    Beteiligte:
    SHMUELI FRIEDLAND YAEL (Autor:in) / AVNET SHANI (Autor:in) / RUBIN DANIEL Y (Autor:in) / DEGANI ASAF (Autor:in)

    Erscheinungsdatum :

    21.11.2024


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    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



    An automated testing methodology based on self-checking software

    Reinhart, T. / Boettcher, C. / Wasserman, H. | Tema Archiv | 1998


    An Automated Testing Methodology Based on Self-Checking Software

    Reinhart, T. / Boettcher, C. / Wasserman, H. et al. | British Library Conference Proceedings | 1998


    Automated Traffic Accident Data Entry

    S. B. Johnson / K. Hofer | NTIS | 2000


    Automated statechart model checking

    Mikk, E. / Pingree, P. J. | NTRS | 2002


    Equilibrium Radiative Heating Tables for Earth Entry

    K. Sutton / L. C. Hartung | NTIS | 1990