Тип публикации: диссертация
Год издания: 2017
Ключевые слова: надежность программного обеспечения, генетические алгоритмы, ГЕРТ-сети, проектирование информационных систем, многокритериальная оптимизация, мультиверсионное программирование
Аннотация: Рассмотрен вопрос обеспечения надежности программного обеспечения. Изучены различные способы оценки надежности и способы обеспечения надежности в программных системах. В работе использован мультиверсионный подход для обеспечения программной надежности. Предложено для моделирования функционирования программной системы использовать аПоказать полностьюппарат ГЕРТ-сетей. Данный подход позволяет учитывать как экспертные оценки надежности отдельных компонентов, так и статистические оценки на основе экспериментальных данных. Алгоритм позволяет учитывать оценки надежности отдельных связанных компонент программной системы для получения оценок надежности системы в целом. В работе осуществлена постановка задачи проектирования надежной программной системы в виде задачи многокритериальной оптимизации. Для решения задач использован модифицированный генетический алгоритм. Предложена новая схема оценивания решений в многокритериальном генетическом алгоритме, отличающаяся от известных учетом одновременно всего множества критериев и позволяющая избегать преждевременной сходимости алгоритма. Применение модифицированного подхода к оценке решений в генетическом алгоритме многокритериальной оптимизации повышает эффективность его работы, а оператор процентного скрещивания расширяет возможности его применения. Рассмотрена реальная программная система, разработанная соискателем. С системой проведены эксперименты, определены статистически оценки надежности отдельных компонентов, дана оценка надежности всей системы в целом. На основе применения предложенных в работе алгоритмов предложены альтернативные архитектуры программной системы с более высокими значениями надежности.