Method and System for Automatic Test-Case Generation for Distributed Embedded Systems
First Claim
1. An automatic test-case generation system for in-vehicle distributed embedded systems, the automatic test-case generation system generating test-cases for validating a test specification for timing constraints, fault tolerances, distributed deadlocks and synchronization at a system integration level of the in-vehicle distributed embedded system, the automatic test-case generation system comprising:
- a model transformer for integrating a functional model and a platform specification, the functional model relating to an abstract model of at least one controller, and the platform specification corresponding to a distributed architecture of the in-vehicle distributed embedded system and a mapping of software components to the distributed architecture;
a test specification transformer for integrating the platform specification, real-time requirements and structural coverage criteria for generating an enhanced test specification for testing the in-vehicle distributed embedded system;
a requirements transformer for integrating real-time requirements and functional requirements of the in-vehicle distributed embedded system; and
an automatic test-case generator for generating a set of test-cases that validate the enhanced test specification of the in-vehicle distributed embedded system, the test-cases being generated as a function of the outputs of the model transformer, the test specification transformer, and the requirements transformer.
7 Assignments
0 Petitions
Accused Products
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.
-
Citations
22 Claims
-
1. An automatic test-case generation system for in-vehicle distributed embedded systems, the automatic test-case generation system generating test-cases for validating a test specification for timing constraints, fault tolerances, distributed deadlocks and synchronization at a system integration level of the in-vehicle distributed embedded system, the automatic test-case generation system comprising:
-
a model transformer for integrating a functional model and a platform specification, the functional model relating to an abstract model of at least one controller, and the platform specification corresponding to a distributed architecture of the in-vehicle distributed embedded system and a mapping of software components to the distributed architecture; a test specification transformer for integrating the platform specification, real-time requirements and structural coverage criteria for generating an enhanced test specification for testing the in-vehicle distributed embedded system; a requirements transformer for integrating real-time requirements and functional requirements of the in-vehicle distributed embedded system; and an automatic test-case generator for generating a set of test-cases that validate the enhanced test specification of the in-vehicle distributed embedded system, the test-cases being generated as a function of the outputs of the model transformer, the test specification transformer, and the requirements transformer. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
-
12. A method for automatically generating test-cases for in-vehicle distributed embedded systems, the test-cases being generated for validating a test specification for timing constraints, fault tolerances, distributed deadlocks, and synchronization at a system integration level of the in-vehicle distributed embedded system, the method comprising the steps of:
-
integrating a functional model relating to an abstract model of at least one controller with a platform specification, the platform specification corresponding to a distributed architecture of the in-vehicle distributed embedded system and a mapping of software components to the distributed architecture; integrating platform specification, real-time requirements, and structural coverage criteria for generating an enhanced test specification for testing the in-vehicle distributed embedded system; integrating real-time requirements and functional requirements for the in-vehicle distributed embedded system; and automatically generating a set of test-cases that validate the enhanced test specifications of the in-vehicle distributed embedded system, the test-cases being generated as a function of outputs of the model transformer, test specification transformer, and requirements transformer. - View Dependent Claims (13, 14, 15, 16, 17, 18, 19, 20, 21, 22)
-
Specification