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.
AUTOMATED DATA ENTRY AND ERROR CHECKING METHODOLOGY FOR GENERATING STATE TRANSITION TABLES
21.11.2024
Patent
Elektronische Ressource
Englisch
An automated testing methodology based on self-checking software
Tema Archiv | 1998
|An Automated Testing Methodology Based on Self-Checking Software
British Library Conference Proceedings | 1998
|Automated Traffic Accident Data Entry
NTIS | 2000
|Automated statechart model checking
NTRS | 2002
|Equilibrium Radiative Heating Tables for Earth Entry
NTIS | 1990
|