Разработка логической модели программного продукта

Как уже отмечалось, разработчик должен сконструировать логическую модель проектируемого программного продукта, независимую от последующей физической реализации, которая должна отражать требования пользователя. Эта модель используется для выработки совокупности требований к программному обеспечению. Существующие структурные методологии используют для построения модели принцип нисходящей декомпозиции основной функции программного изделия в иерархию функций с последовательной детализацией функции на следующих уровнях иерархии. Средством логического моделирования является структурный системный анализ, позволяющий подробно описывать схемы потоков данных, которые будут существовать при функционировании автоматизированной системы (программного продукта). Для описания схем потоков данных используются компоненты: источник/приемник данных, линия потока данных, хранилище данных, блок обработки данных.

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

Логическая модель должна удовлетворять следующим правилам:

1. Каждая функция в модели должна отражать единственную и четко определенную цель. Имена функций должны определять, что должно быть сделано, а не как сделано.

2. Функции должны соответствовать уровню иерархии, на котором они представлены в модели.

3. Связи между функциями (функциональными блоками модели) должны быть минимизированы.

4. Каждая функция должна разделяться не более, чем на 6 подфункций следующего уровня.

5. В модели не должна присутствовать информация, связанная с последующей реализацией изделия, например, такие понятия, как модуль, файл, запись и т. п.

6. Для каждой функции должны быть указаны входные данные.

7. Каждой функции должен соответствовать список выходных данных (выходных отчетов).