МАТЕМАТИЧЕСКАЯ ПОСТАНОВКА ЗАДАЧИ ПРОЕКТИРОВАНИЯ N-ВЕРСИОННЫХ ПРОГРАММНЫХ СИСТЕМ : научное издание

Описание

Перевод названия: THE MATHEMATICAL STATEMENT FOR THE PROBLEM OF N-VERSION SOFTWARE SYSTEMS DESIGN

Тип публикации: статья из журнала

Год издания: 2005

Аннотация: Задача разработки оптимальной структуры системы N-версионного программного обеспечения представляет собой одну из сложных задач оптимизации. Это и послужило причиной невозможности использования детерминированных оптимизационных методов для решения представленной задачи. В области псевдобулевой оптимизации для этого случая используеПоказать полностьются, так называемый, метод изменяющихся вероятностей (МИВЕР), который разработан для решения задач большой размерности. Некоторые модификации МИВЕРа были созданы для решения задач разработки N-версионных систем. Эти алгоритмы учитывают особенности целевой функции. Практические эксперименты показали преимущества использования этой модификации алгоритма из-за сокращения области поиска. The problem of developing an optimal structure of N-version software system presents a kind of very complex optimization problem. This causes the use of deterministic optimization methods inappropriate for solving the stated problem. In this view, exploiting heuristic strategies looks more rational. In the field of pseudo-Boolean optimization theory, the so called method of varied probabilities (MVP) has been developed to solve problems with a large dimensionality. Some additional modifications of MVP have been made to solve the problem of N-version systems design. Those algorithms take into account the discovered specific features of the objective function. The practical experiments have shown the advantage of using these algorithm modifications because of reducing a search space.

Ссылки на полный текст

Издание

Журнал: Проблемы машиностроения и автоматизации

Выпуск журнала: 3

Номера страниц: 16-23

ISSN журнала: 02346206

Место издания: Москва

Издатель: Открытое акционерное общество Национальный институт авиационных технологий

Персоны

Вхождение в базы данных