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