Проектирование СПО СУ можно представить в виде последовательности следующих этапов:
А. Разработка структуры СПО и внешних и внутренних информационных потоков. Б. Разработка алгоритмического обеспечения СПО:
- алгоритмов автономных модулей (вычислительных модулей ввода-вывода, модулей графического отображения данных, системного обмена).
- алгоритмического обеспечения подсистем определенного уровня (вычислительных, ввода-вывода, графического отображения данных, если эти подсистемы не включены в вычислительные подсистемы данного уровня, сетевого обмена).
- комплексного алгоритмического обеспечения СУ.
В. Программная реализация опытного образца системы, автономные испытания модулей и подсистем.
Г. Стендовые и сдаточные испытания.
Д. Ввод в эксплуатацию.
Е. Модернизация системы.
Если не рассматривать вопросов проектирования заранее недееспособных структур, факты существования которых должны устанавливаться методами теории автоматического управления, ИБТ проектирования должна применяться с этапа разработки алгоритмического обеспечения.
Основными принципами предлагаемой ИБТ являются:
1. Многоуровневая последовательная фильтрация программного продукта в течении проектирования с применением дублирования разработок и поэтапного контроля. Этот принцип достигается определением контрольных точек проектирования, на которых фиксируется некоторая степень готовности продукта, анализом продукта по результатам работы основного разработчика и дублера, тестированием СПО по исходным данным, полученным на модели угроз.
2. Канонизация технологии разработки, включающая упорядоченные фазы промежуточных контролей, стандартизацию программного обеспечения и форм их представления.
3. Использование автоматизированной системы поддержки ИБТ проектирования, создание общей информационной базы алгоритмов, исходных текстов и программного обеспечения, позволяющих проводить сравнительный анализ различных версий алгоритмов и программ.
4. Централизованное управление базой данных СПО с жестким разграничением функций, ограничением доступа в соответствии с функциями, программной защитой и контролем.
5. Усилением мер контроля с приближением к окончательным фазам разработки. Полагается, что вероятность закладок на окончательных фазах выше, т.к. вероятность их обнаружения последовательным многоуровневым контролем ниже, чем на начальных фазах.
В схеме дублирования определим следующих основных функционеров:
- основные разработчики:
- органы контроля и принятия решения в организации разработчика,
- органы контроля со стороны заказчика,
- дублер разработчик (желательно другая организация).
Схема дублирования может работать при различных методах проектирования. Однако, мы будем ориентироваться на эффективную схему проектирования "сверху-вниз".
Практически любое СПО СБУ представляется в виде иерархической структуры, представленной на рис. 6.1.
Модули (алгоритмы) могут выполнять функции диспетчера, вычислительного блока, ввода-вывода информации, отображения данных, передачи данных и т.д. Предлагаемая схема дублирования изображена на рис. 6.2. На этапе разработки алгоритмов дублер-разработчик получает:
- от контролирующего органа разработчика постановку задачи и ориентировочное описание входных, выходных потоков информации, требования к графическим интерфейсам;
- от основного разработчика - детальное описание алгоритма.
На основании полученных материалов дублер-разработчик проводит статический анализ алгоритма, заключающийся в проверке всех расчетных и логических соотношений, структуры алгоритма, разрабатывает дерево автономных тестов.
При разработке автономных тестов:
1. Исходя из физического смысла каждого модуля составляется модель угроз. Определяются ключевые параметры модели угроз xj вектора Xi из области тестируемых значений этих параметров W.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.