Back to results
US 8,301,423 B1Granted
Verification and validation system for a graphical model
AssigneeThe MathWorks, Inc.
InventorsWilliam J. Aldrich, Gregoire Hamon
Life of this patent
Estimating the term…
Abstract
A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.
Claims20
A computing device-implemented method comprising:
- presenting a graphical interface, where:
- the graphical interface facilitates design of a model that includes a plurality of graphical blocks,
- the model includes at least a first sub-model and a second sub-model constructed from two or more of the plurality of graphical blocks, and
- presenting the graphical interface is performed by the computing device;
- receiving an association of blocks that include one or more of the plurality of graphical blocks that differ from the two or more graphical blocks that construct the first sub-model and the second sub-model, where:
- the association of blocks is received using a verification subsystem associated with a desired behavior of the first sub-model, and
- the association of blocks includes a subset of the plurality of graphical blocks;
- performing a first operation, where the first operation:
- verifies the desired behavior of the first sub-model, is associated with a complexity value or a completeness value, and is performed by the computing device based on the verification subsystem;
- automatically disabling one or more blocks, of the association of blocks, based on at least one of a complexity or a completeness of the first operation, where automatically disabling the one or more of the association of blocks is performed by the computing device;
- and
- performing a second operation to verify that the association of blocks do not affect operation of the first sub-model, where performing the second operation is performed by the computing device.
9 more elements
A non-transitory computer-readable medium that stores computer-executable instructions comprising:
- one or more instructions for presenting a graphical interface, where the graphical interface is to facilitate design, by a user, of a model that includes a sub-model, where the sub-model is constructed from two or more of a plurality of graphical blocks;
- one or more instructions for grouping a plurality of blocks, of the plurality of graphical blocks, to define a verification subsystem that specifies a desired behavior of the sub-model, the plurality of blocks differing from one or more blocks, of the plurality of graphical blocks, designed specifically for at least one of verification or validation of the sub-model;
- one or more instructions for performing, based on the verification subsystem, a first operation to verify the desired behavior of the sub-model;
- one or more instructions for disabling one or more of the plurality of blocks, in the verification subsystem, based on at least one of a complexity or a completeness of the first operation;
- and
- one or more instructions for performing a second operation to verify that the plurality of blocks in the verification subsystem do not affect operation of the sub-model.
3 more elements
A system, comprising:
- a processor to:
- facilitate graphical construction of a first model that includes a plurality of second models, where each of the plurality of second models is defined by a first plurality of blocks and connections among the first plurality of blocks;
- provide for graphical selection of a second plurality of blocks, by a user, to specify a desired behavior of one of the plurality of second models, where the second plurality of blocks forms a verification subsystem;
- perform a first operation to verify the desired behavior of the one of the plurality of second models;
- disable one or more of the second plurality of blocks, that form the verification subsystem, based on at least one of a complexity or a completeness of the first operation;
- and
- perform a second operation to verify that the second plurality of blocks, in the verification subsystem, do not affect operation of the one of the plurality of second models.
4 more elements
Dependencies are inferred from the claim text.