Adición de aserciones

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

  1. Pulse Añadir.
  2. Seleccione la aserción en el diálogo Selección de árbol filtrado en la ventana emergente Seleccionar tipo de aserción.
  3. 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.
  4. Especifique los valores de propiedad deseados. Esto añadirá la aserción como un registro a la tabla de la categoría.
  5. 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.

Conceptos relacionados
Implementación de un distintivo de aserción
Cómo trabajar con el editor de tipos de aserciones
Referencia relacionada
Configuración de un listado de aserciones