MODIFIERS THAT CUSTOMIZE PRESENTATION OF TESTED VALUES TO CONSTRAINTS

摘要

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.

主权项

1. 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, andoutput or store the result.