Добавление утверждений

В этом разделе описана процедура добавления утверждения.

Об этой задаче

Добавить утверждение можно в конечные точки и стратегии. В выпадающем списке Варианты утверждений показаны пять категорий утверждений.

Для того чтобы добавить утверждение, выполните следующие действия:

  1. Нажмите Добавить.
  2. Выберите утверждение в окне Выберите тип утверждения.
  3. Выбранный тип утверждения откроется в окне редактора утверждений. Выберите Обязательное, если утверждение всегда должно быть истинным. Выберите Заблокировано, если утверждение нельзя изменять.
  4. Укажите требуемые значения свойств. При этом утверждение будет добавлено в таблицу в соответствующей категории.
  5. Повторите эти действия для добавления других утверждений.
Результат

Навигация

Перейдите в редактор и откройте вкладку Контракт/Утверждения в нижней части окна рабочей среды.