Las pruebas dinámicas tienen expectativas determinadas para la estructura necesaria de los de conjuntos de reglas de resumen en cuanto a las clases de reglas y a 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 resumen cumplen estas expectativas, las restricciones que se les aplican son las siguientes:
- Los conjuntos de reglas de resumen deben contener una clase de regla concreta que se extienda a partir de la clase de regla DefaultEvidenceSummary de EvidenceSummaryRuleSet.
- 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 resumen para este tipo de pruebas dinámicas debe contener un atributo denominado "evidence" cuyo tipo es la clase de regla "Alien" de "AlienRuleSet".