Back to results
US 2014/0157052 A1Published application
Modifiers that customize presentation of tested values to constraints
AssigneeThe MathWorks, Inc.
InventorsAndrew T. CAMPBELL, David M. SAXE
Life of this patent
Estimating the term…
Abstract
A device receives code generated via a technical computing environment (TCE), the code including a value to be tested, and receives a value modifier, a test case, and a constraint. The value modifier customizes a manner in which the value of the code is presented to the constraint for verification. The device also generates a test based on the value modifier, the test case, and the constraint, performs the test on the value of the code to generate a result, and outputs or stores the result.
Claims20
A device comprising:
- one or more processors to:
- receive code generated via a technical computing environment (TCE), the code including a value to be tested,
- receive a value modifier, a test case, and a constraint, the value modifier customizing a manner in which the value of the code is presented to the constraint for verification,
- generate a test based on the value modifier, the test case, and the constraint,
- perform the test on the value of the code to generate a result, and
- output or store the result.
3 more elements
A method, comprising:
- receiving code generated via a technical computing environment (TCE), the code including a value to be tested, the receiving the code being performed by one or more devices;
- receiving a value modifier, a test case, and a constraint, the value modifier customizing a manner in which the value of the code is presented to the constraint for verification, the receiving the value modifier, the test case, and the constraint being performed by the one or more devices;
- generating a test based on the value modifier, the test case, and the constraint, the generating being performed by the one or more devices;
- performing the test on the value of the code to generate a result, the perfoming the test being performed by the one or more devices;
- and
- outputting or storing the result, the outputting or the storing being performed by the one or more devices.
3 more elements
One or more computer-readable media, comprising:
- one or more instructions that, when executed by a processor of a device, cause the processor to:
- receive code generated via a technical computing environment (TCE), the code including a value to be tested,
- receive a value modifier, a test case, and a constraint, the value modifier customizing a manner in which the value of the code is presented to the constraint for verification,
- generate a test based on the value modifier, the test case, and the constraint,
- perform the test on the value of the code to generate a result, and
- output or store the result.
3 more elements
Dependencies are inferred from the claim text.