Технология программирования. - 41 стр.

UptoLike

Рубрика:

- 43 -

Содержание каждого неформального обобщённого оператора должно быть де-

тализировано с помощью отдельного описания, выражающего логику его работы и

состоящего из совокупности основных конструкций структурного программирова-

ния и других обобщённых операторов. В качестве рекомендации можно посовето-

вать создавать достаточно содержательные описания объёмом в одну страницу.

Последнее пожелание делает описания наглядными и легко

обозримыми. Кроме

того, расположение вложенных конструкций со сдвигом влево повышает нагляд-

ность описаний (рис. 7).

Удаление записей файла по заданному условию

Установить начало файла

ПОКА не конец файла ДЕЛАТЬ

читать очередную запись

ЕСЛИ очередная запись удовлетворяет условию ТО

выйти

ИНАЧЕ

удалить очередную запись

ВСЁ ЕСЛИ

ВСЁ ПОКА

ЕСЛИ записи не удалены ТО

печать «Записи не удалены»

ИНАЧЕ

печать «Удалено N записей»

ВСЁ ЕСЛИ

Рис. 7. Пример некоторого шага детализации на псевдокоде

Представленный выше подход позволяет получить описание логики рабо-

ты модуля, по наглядности конкурирующий с блок–схемами, но обладающим

важным преимуществом – линейностью описания.

8.3. Методы контроля ПМ

1. Статическая проверка текста.

2. Сквозное прослеживание.

3. Доказательство свойств ПМ.