Test entities for evaluation and validation of a model

摘要

Methods, mediums, and systems are presented herein for evaluating points of observation in a model by validating conditions in the model. A condition is a location in a model which may be either satisfied or unsatisfied by underlying data associated with the condition. Conditions may be placed in an enforced satisfied status or enforced unsatisfied status in order to instruct a verification tool to assume that the condition is satisfied regardless of whether the condition would actually be satisfied by underlying data. A first condition in an enforced satisfied status or an enforced unsatisfied status may be used to determine whether a second condition is satisfied, or whether a second condition satisfiable.

主权项

1. A non-transitory electronic device readable medium storing instructions that, when executed by a processor, cause the processor to:
access a model in a graphical modeling environment, the model including: a first condition that is either satisfied or unsatisfied depending on data that is associated with the first condition, a point of observation, the point of observation generating an output that is at least partially dependent on the data associated with the first condition, and a second condition that is either satisfied or unsatisfied depending, at least partially, on the output of the point of observation; and validate at least a portion of the model, the validating comprising: placing the first condition in an enforced satisfied status, wherein a verification tool is forced to assume that the first condition is satisfied regardless of whether the condition would actually be satisfied by underlying data, generating the output from the point of observation based on the enforced satisfied status of the first condition, and verifying that the second condition is in a satisfied status based at least in part on the output of the point of observation.