查看文章

Задача разработки оптимальной структуры системы N-версионного программного обеспечения представляет собой одну из сложных задач оптимизации. Это и послужило причиной невозможности использования детерминированных оптимизационных методов для решения представленной задачи. В области псевдобулевой оптимизации для этого случая используется, так называемый, метод изменяющихся вероятностей (МИВЕР), который разработан для решения задач большой размерности. Некоторые модификации МИВЕРа были созданы для решения задач разработки N-версионных систем. Эти алгоритмы учитывают особенности целевой функции. Практические эксперименты показали преимущества использования этой модификации алгоритма из-за сокращения области поиска.