SYSTEM AND METHODS OF USING TEST POINTS AND SIGNAL OVERRIDES IN REQUIREMENTS-BASED TEST GENERATION
First Claim
1. An electronic system for test generation, comprising:
- a design model, the design model comprising functional requirements of a system under test;
a source code generator that takes the functional requirements of the design model as input, the source code generator operable to generate source code from the design model;
a test generator that takes the functional requirements of the design model as input, the test generator operable to generate test cases for a first test set and a second test set, the first test set comprising a target source code without references to test points in the source code and the second test set comprising a test equivalent source code that references the test points of the source code; and
a code and test equivalence indicator communicatively coupled to the source code generator and the test generator, the code and test equivalence indicator operable to;
generate test metrics for the first and the second test sets, andcomparatively determine whether the target source code is functionally identical to the test equivalent source code based on an analysis of the test metrics and a comparison of the target and the test equivalent source codes.
1 Assignment
0 Petitions
Accused Products
Abstract
An electronic system for test generation is disclosed. The system comprises a source code generator, a test generator, and a code and test equivalence indicator, each of which take functional requirements of a design model as input. The test generator generates test cases for a first test set and a second test set, where the first test set comprises a target source code without references to test points in the source code and the second test set comprises a test equivalent source code that references the test points of the source code. The code and test equivalency indicator generates test metrics for the first and second test sets and comparatively determines whether the target source code is functionally identical to the test equivalent source code based on an analysis of the test metrics and a comparison of the target and the test equivalent source codes.
80 Citations
20 Claims
-
1. An electronic system for test generation, comprising:
-
a design model, the design model comprising functional requirements of a system under test; a source code generator that takes the functional requirements of the design model as input, the source code generator operable to generate source code from the design model; a test generator that takes the functional requirements of the design model as input, the test generator operable to generate test cases for a first test set and a second test set, the first test set comprising a target source code without references to test points in the source code and the second test set comprising a test equivalent source code that references the test points of the source code; and a code and test equivalence indicator communicatively coupled to the source code generator and the test generator, the code and test equivalence indicator operable to; generate test metrics for the first and the second test sets, and comparatively determine whether the target source code is functionally identical to the test equivalent source code based on an analysis of the test metrics and a comparison of the target and the test equivalent source codes. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A method of using test points for requirements-based test generation, the method comprising:
-
generating test cases for a first test set and a second test set, the first test set comprising a first source code and the second test set comprising a second source code, each of the first and the second source codes further including test points; specifying that the test points be disabled in at least the source code of the first test set; performing the test cases for the first and the second source codes on a test executor; and based on the performance of the test cases of the first and the second test sets, analyzing test metrics of the executed first and the second test sets and comparing the source code of the second test set with the source code of the first test set to determine whether the source code in the second test set is functionally equivalent to the source code in the first test set. - View Dependent Claims (12, 13, 14, 15, 16)
-
-
17. A method of using signal overrides for requirements-based test generation, the method comprising:
-
generating test cases for a first test set and a second test set, the first test set comprising a first source code and the second test set comprising a second source code, each of the first and the second source codes further including signal overrides; enabling the signal overrides in at least the source code of the second test set; performing the test cases for the first and the second source codes on a test executor; and based on the performance of the test cases of the first and the second test sets, analyzing test metrics of the executed first and the second test sets and comparing the source code of the second test set with the source code of the first test set to determine whether the source code in the second test set is functionally equivalent to the source code in the first test set. - View Dependent Claims (18, 19, 20)
-
Specification