Method and system for automatic test-case generation for distributed embedded systems

A technology of automatic testing and test cases, applied in electrical testing/monitoring, error detection/correction, instruments, etc., can solve problems such as high cost, time-consuming, labor-intensive, etc.

Inactive Publication Date: 2011-04-27
GM GLOBAL TECH OPERATIONS LLC
View PDF3 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Moreover, manual inspection, monitoring, and changes to physical devices or software are labor-intensive, time-consuming, and costly

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method and system for automatic test-case generation for distributed embedded systems
  • Method and system for automatic test-case generation for distributed embedded systems
  • Method and system for automatic test-case generation for distributed embedded systems

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] exist figure 1A block diagram of an automatic test generation system 10 for generating a set of test cases satisfying the validity of test specifications and requirements is shown generally in . A number of inputs are provided to the automatic test generation module 12 . These multiple inputs include, but are not limited to, functional models 14 of vehicle features (eg, systems, subsystems, or devices), platform specifications 16 , structured coverage criteria 18 , implementation requirements 20 , and functional requirements 22 .

[0044] Automatic test generation module 12 includes a plurality of transformer modules for integrating two or more inputs. The plurality of transformer modules includes a model transformer 24 , a test specification transformer 26 , and a requirements transformer 28 . Each of the transformers processes an input and produces an output that is provided to an automatic test generator 30 . The corresponding outputs from the transformer include ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

An automatic test-case generation system generates test-cases for validating a test specification for timing constraints, fault tolerances, distributed deadlocks, and synchronization at a system integration level of a distributed system. The automatic test-case generation system includes a model transformer for integrating functional model and platform specification. The functional model relates to an abstract model of at least one controller and the platform specification relates to details of platform components. A test specification transformer integrates platform specification, real-time requirements, and structural coverage criteria for generating an enhanced test specification for testing the distributed system. A requirements transformer integrates real-time requirements and functional requirements for the distributed system. An automatic test-case generator generates a set of test-cases that validate the test specifications of the distributed system as a function of the outputs of the model transformer, test specification transformer, and requirements transformer.

Description

technical field [0001] Embodiments generally relate to testing in-vehicle distributed embedded systems. Background technique [0002] In automobiles, some of the vehicle's characteristic functions are handled by electronics and control software applications. Such systems are distributed real-time embedded software systems that require a high integrity development and verification process. Ensuring model consistency and correctness across the various design steps is critical in the development methodology. Automotive software is typically produced as an initial abstract model of the controller, which is then validated using physical testing or formal inspection, and iteratively improved. A test sequence generated for testing software is a series of commands or instructions that are applied to the device, subsystem or system under test. Physical testing typically requires the use of physical components in an actual vehicle or the setup of a test bench to test or validate th...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G05B23/02
CPCG06F11/3684
Inventor M·G·迪克西特A·A·加德卡里R·艾斯R·塞图S·H·南杜古迪
Owner GM GLOBAL TECH OPERATIONS LLC
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap