Основными стадиями разработки мультиверсионного ПО являются следующие: определение требований к программной системе, спецификация NVX, кодирование.
Стадия 1. Определения требований к программной системе
На этой стадии должны быть определены следующие требования по обеспечению изолированности.
Во-первых, следует решить будет ли использоваться случайная изоляция или принудительная. При случайной изоляции каждый разработчик версии сам выбирает средства разработки программы-версии, не зная какие средства выбрали остальные разработчики. Принудительная изолированность предполагает явное указание того, какие разработчики какие средства должны использовать (при этом для всех разработчиков должны быть определены различные средства).
Во-вторых, нужно определить качественные меры отличий в разработке версий: языки программирования, алгоритмы, программные средства разработки и другие.
В-третьих, следует учесть экономические затраты на обеспечение изолированности версий (добавление каждой меры изолированности требует дополнительных экономических затрат).
После определения моментов, описанных выше, можно определить финальные требования по изолированности версий ко всему мультиверсионному проекту. Типичные требования включают стоимостные ограничения и перечень мер достижения изолированности и отличий.
Стадия 2. Стадия спецификации среды исполнения (NVX).
Среда исполнения играет ключевую роль в работе всей мультиверсионной системы. С точки зрения обеспечения изолированности версий к NVX должны предъявляться следующие требования
- Ограничение совпадающих свойств версий. Для централизованного управления версиями необходимо чтобы версии имели некоторые точки соприкосновения: контрольные точки (cross-check points), точки восстановления (recovery points) и др. Такая необходимость приводит к тому, что программы-версии имеют «схожие» участки. Данный эффект должен быть минимизирован на этапе определения механизмов взаимодействия с версиями.
- Ограничение факторов, которые сокращают изолированность. Поскольку версии должны взаимодействовать со средой исполнения, к разрабатываемым версиям предъявляются некоторые требования (фиксированная структура предоставляемых данных, реакция на управляющие команды и др.). При спецификации этих требований необходимо уделить внимание вопросу «что должна уметь версия» и предъявлять как можно меньше ограничений касательно вопроса «как». Это позволит использовать разнообразные приёмы программирования, что снизит вероятность идентичных ошибок.
Стадия 3. Стадия кодирования
Данная фаза предполагает непосредственную реализацию программного кода. На этой фазе так же необходимо обеспечить, чтобы версии были максимально изолированными. Добиться такого эффекта можно с помощью реализации следующих мер:
- Определение обязательных правил изоляции. Целью данных правил является обеспечение независимости разработки программ-версий. В общем случае такие правила устанавливают: строгий запрет обсуждения технических вопросов между командами программистов (с небольшими исключениями), широко разнесенные рабочие места (офисы, компьютерные терминалы и др.), обязательное использование различных машин для разработки версий (не допускается разработка различных версий на одном компьютере), ограничение доступа к технической документации.
- Определение строгого C&D-протокола (communication and documentation protocol). C&D-протокол должен исключать возможность неконтролируемого взаимодействия между командами занятыми разработкой различных версий. Программисты, реализующие код одной версии должны предоставлять другим командам только минимум необходимой информации.
- Формирование координационной команды. Основными функциями координационной команды являются: разработка спецификаций и данных для тестирования, реализация C&D-протокола, информирование команд программистов по вопросам разработки системы, синхронизация разработки версий и сбор технической документации.
СПИСОК ЛИТЕРАТУРЫ:
- Algirdas A. Avizienis. The methodology of N-version programming. Software fault tolerance. 1995;
- Alexander Romanovsky. Abstract object state and version recovery in N-version programming. Computing Science. No CS-TR-669, 1999;
- Mladen A. Vouk. An empirical evaluation of consensus voting and consensus recovery block reliability in the presence of failure correlation. Материалы NASA Grant No NAG-1-983.
- Mladen A. Vouk, David F. McAllister. Software reliability through fault-avoidance and fault-tolerance. Computer science, technical report #4. 1991.
Библиографическая ссылка
Морозов В.А. ИЗОЛЯЦИЯ МОДУЛЕЙ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ЭТАПАХ РАЗРАБОТКИ // Современные наукоемкие технологии. – 2007. – № 3. – С. 33-34;URL: https://top-technologies.ru/ru/article/view?id=24682 (дата обращения: 21.11.2024).