1) Статический контроль. Просматривается структура программы и удовлетворяет ли каждый модуль описанным характеристикам.
2) Смежный контроль. Контроль сверху – разработчики архитектуры и внешнего описания. Снизу – разработчики модулей.
3) Сквозной контроль. Каждые входные данные удовлетворяют потребности модулей.
1. Разработка программного модуля.
При разработке модуля необходимо выполнить несколько шагов:
1) Изучение и проверка спецификации модуля, выбор языка программирования.
2) Выбор алгоритма и структуры данных.
3) Программирование (кодирование) модуля.
4) Шлифовка текста модуля.
5) Проверка модуля.
6) Компиляция
2. Структурное программирование и пошаговая детализация.
Для поддержки структурного программирования сущ. специальные конструкции:
-Следование
-Ветвление
-Повторение
(иллюстрация блок схем)
В современной технологии программирования сущ. такой подход к разработке структуры как пошаговая детализация. Вся разработка модуля сводится к нескольким этапам. На первом шаге разрабатывается общая схема работы модуля в текстовой форме. На следующем шаге производится уточнения некоторых структурных понятий. На следующем шаге происходит следующее уточнение до тех пор пока каждое понятие не будет реализовано на языке программирования. Запись понятий производится на некотором частично формализованном языке называемым псевдокодом.
1) Следование ?
Обобщённый оператор?
Обобщённый оператор
2) Ветвление
Если условие то
Обобщённый оператор
Иначе
Обобщённый оператор
Всё если
3) Повторение
Пока условие
делать
Обобщенный оператор
Все пока
3. Контроль программного модуля.
1) Статическая проверка модуля.
2) Сквозное прослеживание.
3) Доказательство св-в программы.

ОГЛАВЛЕНИЕ
1. Жизненный цикл программного средства.
Схема жизненного цикла и использования ПС
2. Качество программного продукта.
3. Обеспечение надежности.
4. Внешнее описание ПС.
5. Спецификация качества.
6. Функциональная спецификация.
7. Методы спецификации семантики функций.
Спецификация функции:
Свои типы данных:
8. Методы контроля внешнего описания
9. Конструирование ПС.
Архитектура ПС.
Основные задачи разработки АПС
Основные классы архитектуры
Контроль архитектуры.
10. Разработка структурного програмирования. Модульное программирование.
Понятие программного модуля. Основные характеристики
11. Методы разработки структуры программ.
Обходы:
12. Спецификация головного модуля
Метод вертикального слоения.
Архитектурный подход.
Методы разработки структуры и программ.
13. Контроль культуры программ.
14. Разработка программного модуля.
15. Структурное программирование и пошаговая детализация.
16. Контроль программного модуля.