A system and method including a simulation model with at least one flexible constraint on a data structure. The term "flexible constraint" indicates that the constraint is not limited to any one type of data structures, but instead can be used for any type of data structure. The preferred data structures include an object, a list of objects and a list of scalars. An object includes at least one data element and optionally a function for operating on the data element. The data element in turn could be a scalar or another object, for example. Preferably, the data structure is not a single scalar The method of the present invention determines the constraint which should be applied to data structure, and then applies the constraint during the test generation process.

Un sistema y un método incluyendo una simulación modelan con por lo menos un constreñimiento flexible en una estructura de datos. El término "constreñimiento flexible" indica que el constreñimiento no está limitado a ningún un tipo de estructuras de datos, sino que por el contrario se puede utilizar para cualquier tipo de estructura de datos. Las estructuras de datos preferidas incluyen un objeto, una lista de objetos y una lista de escalares. Un objeto incluye por lo menos un elemento de datos y opcionalmente una función para funcionar en el elemento de datos. El elemento de datos alternadamente podía ser un escalar u otro objeto, por ejemplo. Preferiblemente, la estructura de datos no es un solo escalar que el método de la actual invención determina el constreñimiento que se debe aplicar a la estructura de datos, y después que aplica el constreñimiento durante el proceso de generación de la prueba.