Проверяемый текст
Попов, Андрей Анатольевич. Оптимизационные методы формирования мультиверсионного программного обеспечения критичных по надежности систем управления (Диссертация 2002)
[стр. 47]

Спецификация версий мультиверсионного ПО осуществляется с помощью V-spec, полностью устанавливающих функциональные требования к программному модулю, кроме того выбирается и специфицируется детектор ошибок и алгоритм восстановления.
При соответствии этих параметров в каждой версии ПО необходимо стремиться избегать факторы, ограничивающие диверсификацию.
4.
Фазы проектирования и кодирования — ведение протокола разработки мультиверсионного ПО.
На этом этапе начинается мультипрограммирование конкурентных версий ПС в соответствии со спецификациями V-spec.
Определяется строгий протокол взаимодействия и документирования (communication and documentation protocol, C&D protocol).
Одним из положительных следствий ведения C&D протокола является то, что он дает достаточную совокупность деталей на более поздней стадии эксплуатации ПО.
5.
Этап тестирования предварительная эксплуатация мультиверсионного ПО.
При последовательном тестировании
версий может осуществляться дополнение состава КП, если велика вероятность ошибочного исполнения за счет выдачи одинаково неверного результата большинством мультиверсионных компонент.
Здесь же возможно привлечение экспертов для определения
но результатам тестового прогона эталонных версий ПС.
6.
Этап оценки и принятия — оценка гарантоспособности комплекса мультиверсионного ПО.
Оценка атрибутов, характеризующих отказоустойчивость
Г1С, подразумевает аналитическое моделирование, имитацию и эксперименты (или комбинацию этих подходов).
Необходимо: определить критерии оценки отказоустойчивости; оценить признаки диверсификации; сделать предварительные заключения, для чего рассматриваются два аспекта,
47
[стр. 54]

специфические процессоры.
Особенно это важно, если мультиверсионное ПО применяется в системах реального времени с жесткими ограничениями.
Возможна гибридная структура, включающая отказоустойчивые аппаратные средства.
2.
Этап выработки требований к ПО —диверсификация ПО.
На этом этапе главная задача избежать совпадения способов программирования, неявно влияя на независимость проектировочных ошибок мультиверсий.
Выделим три стадии выбора.
Достижение случайной диверсификации или разнообразия за счет предъявления установленных требований.
Если первое соответствует персональным качествам программиста (способ мышления, программистский индивидуализм), то второе, наоборот, является формальным способом, п о з в о л я ю щ и м установить требования к языку программирования, способам обеспечения надежности и т.д.
Оценка требуемой диверсификации проектирования.
Фактически имеется четыре фазы, которые способствуют диверсификации: спецификация, проектирование, кодирование и тестирование (различные языки программирования, инструментальные средства, алгоритмы, методологии).
Проектные ограничения на диверсификацию.
Устанавливаются через специфические особенности предполагаемого функционирования системы.
В число характерных проектных ограничений входят: стоимость, строгий последовательный характер организации работ, требуемая гарантоспособность.
3.
Этап спецификации ПО установка алгоритмов определения ошибок и восстановления.
Спецификация версий мультиверсионного ПО осуществляется с помощью V-spec, полностью устанавливающих функциональные требования к программному модулю, кроме того выбирается и специфицируется детектор
54

[стр.,55]

ошибок и алгоритм восстановления.
При соответствии этих параметров в каждой версии ПО необходимо стремиться избегать факторы, ограничивающие диверсификацию.
4.
Фазы проектирования и кодирования ведение протокола разработки мультиверсионного ПО.
На этом этапе начинается мультипрограммирование конкурентных версий ПС в соответствии со спецификациями V-spec.
Определяется строгий протокол взаимодействия и документирования (communication and documentation protocol, C&D protocol).
Одним из положительных следствий ведения C&D протокола является то, что он дает достаточную совокупность деталей на более поздней стадии эксплуатации ПО.
5.
Этап тестирования предварительная эксплуатация мультиверсионного ПО.
При последовательном тестировании
N >2 версий может осуществляться дополнение состава КП, если велика вероятность ошибочного исполнения за счет выдачи одинаково неверного результата большинством мультиверсионных компонент.
Здесь же возможно привлечение экспертов для определения
по результатам тестового прогона эталонных версий ПС.
6.
Этап оценки и принятия оценка гарантоспособности комплекса мультиверсионного ПО.
Оценка атрибутов, характеризующих отказоустойчивость
ПС, подразумевает аналитическое моделирование, имитацию и эксперименты (или комбинацию этих подходов).
Необходимо: определить критерии оценки отказоустойчивости; оценить признаки диверсификации; сделать предварительные заключения, для чего рассматриваются два аспекта,
касающиеся выбора подходящей модели оценки надежности ПС и определения количественных показателей метода оценки, соответственно [69, 81].
7.
Этап экстуатации выбор способа сопровождения системы мультиверсионного ПО.
55

[Back]