Zander-Nowicka et al., 2010 - Google Patents
Model driven testing of real-time embedded systems-from object oriented towards function oriented developmentZander-Nowicka et al., 2010
- Document ID
- 17682421821304673073
- Author
- Zander-Nowicka J
- Dai Z
- Schieferdecker I
- Publication year
- Publication venue
- Preliminary Proceedings
External Links
- 230000018109 developmental process 0 title abstract description 32
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
- 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/5022—Logic simulation, e.g. for logic circuit operation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences; with adaptation of the tested hardware for testability with external testers
-
- 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/362—Software debugging
-
- 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/5045—Circuit design
-
- 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/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformations of program code
-
- 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
-
- 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
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
- G01R31/318342—Generation of test inputs, e.g. test vectors, patterns or sequence by preliminary fault modelling, e.g. analysis, simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2217/00—Indexing scheme relating to computer aided design [CAD]
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
- G01R31/318385—Random or pseudo-random test pattern
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Bringmann et al. | Model-based testing of automotive systems | |
| CN112084113B (en) | Configurable automatic test method and system based on embedded simulation verification software | |
| US8150673B1 (en) | Partitioning a model in modeling environments | |
| US6385765B1 (en) | Specification and verification for concurrent systems with graphical and textual editors | |
| JP5004566B2 (en) | System to verify the design | |
| US8265918B1 (en) | Simulation and emulation of a circuit design | |
| US20230030253A1 (en) | Method for analyzing a programmable logic controller program | |
| CN119272674B (en) | Software and hardware debugging method, system, equipment and storage medium for generating RISC-V SoC | |
| Bombieri et al. | Functional qualification of TLM verification | |
| US20070220338A1 (en) | Method and system for generating checkpoints of hardware description language simulations that include a specific model state together with a software testcase state | |
| Haberl et al. | Model-level debugging of embedded real-time systems | |
| Shaout et al. | Model based approach for automotive embedded systems | |
| Park et al. | Test methods of the AUTOSAR application software components | |
| Zander-Nowicka et al. | Model driven testing of real-time embedded systems-from object oriented towards function oriented development | |
| Gautam et al. | Design reuse framework: a perspective for lean development | |
| Chaaban et al. | A partially automated HiL test environment for model-based development using Simulink® and OPC technology | |
| Babić et al. | Introducing model-based techniques into development of real-time embedded applications | |
| Yang et al. | An effective model-based development process using simulink/stateflow for automotive body control electronics | |
| Silva Filho et al. | An integrated model-driven approach for mechatronic systems testing | |
| Vuli et al. | Maximizing test asset re-use across MIL, SIL, and HIL development platforms | |
| Sadvandi et al. | Real time and interactive co-execution platform for the validation of embedded systems | |
| CN109800155B (en) | Method and device for testing QTE interlocking application software based on Probe | |
| Shin et al. | Automated test case generation for automotive embedded software testing using XMI-based UML model transformations | |
| Steininger et al. | Built-in fault injectors-the logical continuation of bist? | |
| Chaaban et al. | A hil test bench for verification and validation purposes of model-based developed applications using simulink® and opc da technology |