Контрольная работа: Базис стандартной и рекурсивной схемы. Верификация программы

Событиями для этой системы являются:

1.Запрос поступил.

2. Банкомат начинает обработку запроса.

3. Банкомат заканчивает обработку запроса.

4. Результат обработки выдаются деньги клиенту.

Для перечисленных событий можно составить следующую таблицу их пред- и постусловий (рис. 8).

Событие	Предусловия	Постусловия
1 2 3 4	нет а, б в г	б в г, а нет

а

Рис. 8

Предусловие выполняется для события 2.