Adición de aserciones

Este procedimiento describe cómo añadir una aserción.

Por qué y cuándo se efectúa esta tarea

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, siga estos pasos:

  1. Pulse Añadir.
  2. Seleccione la aserción en el recuadro 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. Seleccione Bloqueada si no desea que se pueda modificar el valor de la aserción.
  4. Especifique los valores de propiedad adecuados. 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.
Resultados

Navegación

Vaya al editor de políticas o punto final y acceda a la pestaña Contrato/Aserciones, situada en la parte inferior del editor.

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