Kapular et al., 2021 - Google Patents
Testing of Model Verifier within Software Development in Automotive IndustryKapular et al., 2021
- Document ID
- 1882172531501773306
- Author
- Kapular B
- Vranješ M
- Kaštelan I
- Kovačević J
- Publication year
- Publication venue
- 2021 Zooming Innovation in Consumer Technologies Conference (ZINC)
External Links
Snippet
Modern vehicles are becoming more equipped every day with an increasing number of Advanced Driver-Assistance Systems (ADASs), and thus the amount of complex software on which these ADASs are based is growing. Although the introduction of standardization and …
- 238000010200 validation analysis 0 abstract description 24
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
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- 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
- G06F11/368—Test management for test version control, e.g. updating test cases to a new software version
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
-
- 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
-
- 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/60—Software deployment
- G06F8/65—Update
-
- 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
- G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7917895B2 (en) | Automated software testing and validation system | |
| US7093238B2 (en) | Automated software testing and validation system | |
| US9032371B2 (en) | Method and apparatus for automatic diagnosis of software failures | |
| US5812436A (en) | Method and apparatus for testing and analyzing the conformance of a proposed set of requirements for a proposed network management application | |
| CN108763076A (en) | A kind of Software Automatic Testing Method, device, equipment and medium | |
| US5715373A (en) | Method and apparatus for preparing a suite of test scripts for testing a proposed network management application | |
| JP2009087354A (en) | Web application automatic test generation system and method | |
| EP3443460B1 (en) | Method, apparatus, and computer-readable medium for performing functional testing of software | |
| CN112241370B (en) | API interface class checking method, system and device | |
| CN113742215A (en) | Method and system for automatically configuring and calling test tool to perform test analysis | |
| CN112181854A (en) | Method, device, equipment and storage medium for generating flow automation script | |
| Silva et al. | A field study on root cause analysis of defects in space software | |
| EP2883134A1 (en) | Executable software specification generation | |
| CN113094281B (en) | Test method and device for hybrid App | |
| CN107480050A (en) | A kind of method of testing of automatic test renewal bag | |
| CN119415069A (en) | A method and device for automatic configuration of business processes based on large language model | |
| CN108267968B (en) | Collaborative semi-physical simulation optical fiber data interaction security verification method | |
| US10528689B1 (en) | Verification process for IJTAG based test pattern migration | |
| Kapular et al. | Testing of Model Verifier within Software Development in Automotive Industry | |
| CN112463633A (en) | Method, device, equipment and medium for checking address decoding of on-chip memory | |
| Flemström et al. | Exploring test overlap in system integration: An industrial case study | |
| CN105653445A (en) | Implementation method capable of meeting DO-178C test result | |
| KR20120111618A (en) | Apparatus and method for testing plc command | |
| CN114185772A (en) | Software testing method, device, storage medium and computer equipment | |
| Kacimi et al. | Creating a reference technology platform: Performing model-based safety analysis in a heterogeneous development environment |