Предусловия и постусловия

Предусловия и постусловия – это ограничения.
• Предусловия ограничивают состояние системы, необходимое для запуска прецедента. Они как привратники, которые не дают актеру инициировать прецедент до тех пор, пока не будут выполнены все их условия.
• Постусловия ограничивают состояние системы после выполнения прецедента.
На это можно посмотреть поодругому. Предусловия определяют условия, которые должны быть истинными для того, чтобы прецедент мог быть инициирован. Постусловия определяют, какие условия будут истинными после выполнения прецедента. Предусловия и постусловия помогают спроектировать правильно функционирующую систему.
Предусловия и постусловия должны быть простыми выражениями о состоянии системы, которые затем определяются как истинные или ложные. Их называют логическими условиями.
Если прецедент не имеет предусловий или постусловий, хорошим стилем считается надпись «Нет» в соответствующих разделах спецификации прецедента. Это показывает, что данный вопрос был рассмотрен, иначе незаполненный раздел указывает на некоторую двусмысленность.

Запись опубликована в рубрике Компьютеры и интернет с метками . Добавьте в закладки постоянную ссылку.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

code