Este procedimiento describe cómo añadir una aserción.
Las aserciones se pueden añadir a puntos finales y políticas. En el formulario desplegable Opciones de aserción, se proporcionan cinco categorías de aserciones.
Para añadir una aserción
- Pulse Añadir.
- Seleccione la aserción en el diálogo Selección de árbol filtrado en la ventana emergente Seleccionar tipo de aserción.
- Cuando haya seleccionado el tipo de aserción, verá un diálogo del editor de aserciones. Seleccione Necesaria si desea que la aserción sea verdadera siempre y Bloqueada si no desea que se pueda modificar el valor de la aserción.
- Especifique los valores de propiedad deseados. Esto añadirá la aserción como un registro a la tabla de la categoría.
- Repita el proceso para añadir más aserciones.
Navegación
Vaya al editor de la política/punto final y acceda a la pestaña Contrato/Aserciones, situada en la parte inferior del editor.