Al igual que con la información de resumen, las pruebas dinámicas tienen determinadas expectativas en cuanto a la estructura necesaria de los conjuntos de reglas de validación en relación con las clases de reglas y los atributos que deben contener. Dicho esto, la infraestructura de CER genérica no tiene ningún concepto de proceso de pruebas. Por lo tanto para asegurarse de que los conjuntos de reglas de validación cumplen estas expectativas, las restricciones que se les aplican son las siguientes:
- Los conjuntos de reglas de validación deben contener una clase de regla concreta que se extienda a partir de la clase de regla DefaultEvidenceValidationResult de EvidenceValidationRuleSet.
- 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". En este caso, la clase de regla concreta del conjunto de reglas de validación para este tipo de pruebas debe contener un atributo denominado "evidence" cuyo tipo es la clase de regla "Alien" de "AlienRuleSet".