Пошаговая детализация

Структурное программирование дает рекомендации о том, каким должен быть текст модуля, но остается вопрос «как построить такой текст?». В некоторых случаях программирование модуля начинают с построения блок-схемы, однако, их использование не рекомендуется. С одной стороны, блок-схема наглядно представляет логику работы модуля, но при кодировании возникают специфические ошибки. Причина этого состоит в том, что двухмерная блок-схема преобразуется к линейному тексту программы, что требует сохранения высокого уровня внимания при разработке модуля и его сравнения с блок-схемой. Исключением могут быть случаи, когда для построения блок-схем используется специализированный графический редактор и все операторы блок-схемы формализованы настолько, что текст генерируется автоматически.

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

Неформальное обозначение обобщенного оператора на псевдокоде производится произвольным предложением на естественном языке. Единственное обращение должно занимать целиком одно или несколько графических строк и завершаться точкой. Для каждого неформального обобщенного оператора должно быть создано отдельное описание, детализирующее его содержание.

Основные конструкции структурного программирования на псевдокоде выглядят следующим образом:

Следование

Обобщенный_оператор;

Обобщенный_оператор;

Развлетвление:

ЕСЛИ условие ТО

Обобщенный_оператор

ИНАЧЕ

Обощенный_оператор

ВСЕ ЕСЛИ

Повторение

ПОКА условие ДЕЛАТЬ

Обобщенный_оператор

ВСЕ ПОКА.

Контроль программного модуля

Применяются следующие методы программного контроля:

1. Статическая проверка текста модуля – здесь текст программы прочитывается от начала до конца с целью обнаружения ошибок. Обычно кроме разработчика модуля к проверке могут приобщать других программистов. Обнаруженные ошибки рекомендуется исправлять только лишь по завершению проверки модуля.

2. Представляет собой один из видов динамического контроля. Осуществляется с помощью ручного прокручивания всех команд модуля на некотором наборе тестов.

3. Доказательство свойств программного модуля – это математическое обоснование характеристик модуля. В настоящее время применяется крайне редко.