OPTIMIZED INSTRUMENTATION BASED ON FUNCTIONAL COVERAGE
First Claim
1. A computer-implemented method performed by a computerized device, comprising:
- receiving a set of states, the set of states defining required coverage of a program under test, at least one state of the set of states comprising a value of at least one controllable parameter and a value of at least one incontrollable parameter;
executing the program under test and obtaining at least one runtime trace;
comparing a value of the at least one incontrollable parameter in the runtime trace to a value of the at least one incontrollable parameter in the at least one state; and
responsive to the value of at least one incontrollable parameter in the runtime trace, being equal to a value of the at least one incontrollable parameter in the at least one state, setting a value of at least one controllable parameter to the value of at least one controllable parameter in the at least one state.
1 Assignment
0 Petitions
Accused Products
Abstract
A method, apparatus, and computer-implemented method for optimized instrumentation based on functional coverage, the method comprising: receiving a set of states, the set of states defining required coverage of a program under test, each state of the set of states comprising a value of one or more controllable parameters and a value of one or more incontrollable parameters; executing the program under test and obtaining one or more runtime traces; comparing a value of the incontrollable parameters in the runtime trace to a value of the incontrollable parameters in one or more of the states; and responsive to the values of the incontrollable parameters in the runtime trace being equal to the values of the incontrollable parameters in any of the states, setting a value of one or more controllable parameters to the value of the one or more controllable parameters in the state.
10 Citations
10 Claims
-
1. A computer-implemented method performed by a computerized device, comprising:
-
receiving a set of states, the set of states defining required coverage of a program under test, at least one state of the set of states comprising a value of at least one controllable parameter and a value of at least one incontrollable parameter; executing the program under test and obtaining at least one runtime trace; comparing a value of the at least one incontrollable parameter in the runtime trace to a value of the at least one incontrollable parameter in the at least one state; and responsive to the value of at least one incontrollable parameter in the runtime trace, being equal to a value of the at least one incontrollable parameter in the at least one state, setting a value of at least one controllable parameter to the value of at least one controllable parameter in the at least one state. - View Dependent Claims (2, 3, 4, 5)
-
-
6. An apparatus having a processing unit and a storage device, the apparatus comprising:
-
a coverage analysis component for generating a set of states providing coverage of a program under test for which it is required to determine if a coverage goal is met, at least one state of the set of states comprising a value of at least one controllable parameter and a value of at least one incontrollable parameter; a program execution component for executing the program under test; a trace comparison component for comparing a value of the at least one incontrollable parameter in a trace obtained from executing the program under test to a value of the at least one incontrollable parameter in the at least one state; and a controllable parameter setting component for setting a value of the at least one controllable parameter to the value of at least one controllable parameter in the at least one state. - View Dependent Claims (7, 8, 9)
-
-
10. A computer program product comprising:
-
a non-transitory computer readable medium; a first program instruction for receiving a set of states, the set of states defining required coverage of a program under test, at least one state of the set of states comprising a value of at least one controllable parameter and a value of at least one incontrollable parameter; a second program instruction for executing the program under test and obtaining at least one runtime trace ; a third program instruction for comparing a value of the at least one incontrollable parameter in the runtime trace to a value of the at least one incontrollable parameter in the at least one state; and a fourth program instruction for responsive to the value of at least one incontrollable parameter in the runtime trace, being equal to a value of the at least one incontrollable parameter in the at least one state, setting a value of at least one controllable parameter to the value of at least one controllable parameter in the at least one state, wherein said first, second third and fourth program instructions are stored on said non-transitory computer readable medium.
-
Specification