[go: up one dir, main page]

Lastra et al., 2024 - Google Patents

TEST CASE GENERATION FOR EMBED-DED CONTROL SYSTEM

Lastra et al., 2024

View PDF
Document ID
3298852342120733576
Author
Lastra J
Moctezuma L
Publication year

External Links

Snippet

Software is arguably one of the most important parts of any embedded control system, as microcontrollers or computers function as the brain of the system. Therefore, ensuring correct operation and quality of the software needs to be verified throughout the …
Continue reading at trepo.tuni.fi (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3696—Methods or tools to render software testable
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5018—Computer-aided design using simulation using finite difference methods or finite element methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5086—Mechanical design, e.g. parametric or variational design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Model driven
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric

Similar Documents

Publication Publication Date Title
Wang et al. A cooperative game for automated learning of elasto-plasticity knowledge graphs and models with AI-guided experimentation
Abbaspour Asadollah et al. A survey on testing for cyber physical system
Sinha et al. A survey of static formal methods for building dependable industrial automation systems
Mohan et al. A survey of search-based refactoring for software maintenance
Santos et al. Static-time extraction and analysis of the ROS computation graph
US20180357201A1 (en) Ability-providing-data generation apparatus
Nabuco et al. Model-based test case generation for web applications
Akpinar et al. Web application testing with model based testing method: case study
Chowdhury et al. CyFuzz: A differential testing framework for cyber-physical systems development environments
Bravo-Montes et al. A methodology to select and adjust quantum noise models through emulators: benchmarking against real backends
Dos Santos et al. AAT4IRS: Automated acceptance testing for industrial robotic systems
Buzhinsky et al. Evolutionary approach to coverage testing of IEC 61499 function block applications
EP4148584A1 (en) Method and system for generating and optimizing test cases for an engineering program
Larsen et al. Integrated tool chain for model-based design of cyber-physical systems
Lastra et al. TEST CASE GENERATION FOR EMBED-DED CONTROL SYSTEM
Gauthier et al. A SysML formal framework to combine discrete and continuous simulation for testing
AU2024310242A1 (en) Automated data-driven domain model synthesis
Hartsell et al. Workflow automation for cyber physical system development processes
Venugopal et al. Use of genetic algorithms in software testing models
Wehrmeister et al. Support for early verification of embedded real-time systems through UML models simulation
Wu et al. Automated Code Development for PDE Solvers Using Large Language Models
Karlsson et al. Automation of the creation and execution of system level hardware-in-loop tests through model-based testing
Ghasemi et al. Simulation model selection process using complexity measurement
CN118112987B (en) Automatic generation device and method for ladder diagram based on control target quantization index
Ferreira et al. Verifying integrated designs of UML state machines and activities using CSP