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

Смысл проектной парадигмы мультиверсионного программирования проиллюстрируем с учетом взаимосвязи с традиционными этапами жизненного цикла ПО.
Парадигма проектирования мультиверсионных КП преследует цели:
уменьшения вероятности проектных недочетов, ошибок и несообразностей в процессе разработки и тестирования мультиверсионных ПС; ■ устранения большинства обнаруженных ошибок этана проектирования в независимо генерируемых версиях программ и установления причин ошибок, не отслеженных на этапе проектирования;минимизирования вероятности выдачи совершенно идентичных ошибочных результатов двумя или более программными версиями.
Необходимость применения специально организованного сопровождения мультиверсионного ПО является требованием для реализации диверсификации методов проектирования для каждой из версий, что является ключевым моментом парадигмы мультиверсионного программирования.
Выбранный метод проектирования версии должен:
обеспечивать полную независимость (с учетом ошибок ПО) всех конкурентно разрабатываемых версий;максимально способствовать разнообразию всех версий каждого программного модуля;вырабатывать эффективный механизм обнаружения ошибок.
На рисунке 1.9 парадигма мультиверсионного программирования представлена мероприятиями двух типов [17]: 1.
Стандартные процедуры разработки ПС (прямоугольники с одинарными стрелками на схеме); 2.
Параллельная (конкурентная) реализация средств мультиверсионного исполнения (овалы и двойные стрелки на схеме).

43
[стр. 51]

Смысл проектной парадигмы мультиверсионного программирования проиллюстрируем с учетом взаимосвязи с традиционными этапами жизненного цикла ПО.
Парадигма проектирования мультиверсионных КП преследует цели:
уменьшения вероятности проектных недочетов, ошибок и несообразностей в процессе разработки и тестирования мультиверсионных 1IC; устранения большинства обнаруженных ошибок этапа проектирования в независимо генерируемых версиях программ и установления причин ошибок, не отслеженных на этапе проектирования; минимизирования вероятности выдачи совершенно идентичных ошибочных результатов двумя или более программными версиями.
Необходимость применения специально организованного сопровождения мультиверсионного ПО является требованием для реализации диверсификации методов проектирования для каждой из версий, что является ключевым моментом парадигмы мультиверсионного программирования.
Выбранный метод проектирования версии должен:
обеспечивать полную независимость (с учетом ошибок ПО) всех конкурентно разрабатываемых версий; максимально способствовать разнообразию всех версий каждого программного модуля; вырабатывать эффективный механизм обнаружения ошибок и восстановления (восстановительный блок).
На рисунке 7 парадигма мультиверсионного программирования представлена мероприятиями двух типов [63]: 1.
стандартные процедуры разработки ПС (прямоугольники с одинарными стрелками на схеме); 2 .
параллельная (конкурентная) реализация средств мультиверсионного исполнения (овалы и двойные стрелки на схеме).

51

[Back]