Al igual que con los otros tiops de conjuntos de reglas de pruebas dinámicas, las pruebas dinámicas tienen determinadas expectativas en cuanto a la estructura necesaria de los conjuntos de reglas de atributos calculados en relación con las clases de reglas y los atributos que deben contener. Por lo tanto, se aplican las siguientes restricciones a dichos conjuntos de reglas:
- Los conjuntos de reglas de atributos calculados deben contener una clase de regla concreta que se extienda a partir de la clase de reglas del conjunto de reglas EvidenceCalculatedAttributesRuleSet.
- Esta clase de reglas debe contener un atributo de regla denominado "evidence". El tipo de este atributo de regla debe ser la clase de reglas de proceso generada y la derivación de este atributo debe utilizar la expresión especificada. La expresión especificada es la derivación predeterminada cuando se define un atributo en el editor CER. Así, por ejemplo, si el nombre lógico de un tipo de pruebas dinámicas es "Alien", se generará un conjunto de reglas denominado "AlienRuleSet" con una clase de reglas denominada "Alien". Por lo tanto, la clase de regla concreta del conjunto de reglas calculadas para este tipo de pruebas dinámicas debe contener un atributo denominado "evidence" cuyo tipo es la clase de regla "Alien" de "AlienRuleSet".
- Esta clase de reglas debe contener un atributo de regla correspondiente para cada atributo calculado definido en la versión de tipo de pruebas dinámicas. El nombre y el tipo de estos atributos de reglas deben coincidir con los del atributo calculado correspondiente.