Suche
Anzeige der Dokumente 31-40 von 105
Risk-oriented software reliability assessment
(ХАІ, 2006)
Software risks and risk management model are discussed. Software reliability risks are considered as a part of
general software risk model. Software reliability assessment risks concerned with reliability assessment ...
Унифицированная модель оценки верификации программного обеспечения на основе засева дефектов
(ХАІ, 2006)
Проведен анализ методов засева дефектов программного обеспечения (ПО) при оценке качества его
верификации. Предложена унифицированная модель засева дефектов, которая может быть применена на
любом из этапов разработки ПО.
Создание функционально безопасных программных систем на основе виртуальных машин
(ХАІ, 2007)
Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены ...
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)
Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов
(КА). Рассмотрены некоторые ...
Проектирование сложных проблемно-ориентированных комплексов на основе модели траекторий вычислительных процессов
(ХАІ, 2007)
Выполнен анализ известных современных технологий разработки проблемно-ориентированных программных комплексов. Обоснована необходимость создания новых методов и технологий разработки для
целого класса задач, обеспечение ...
Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе ПЛИС
(ХАІ, 2007)
Обобщена структура программного обеспечения, разработанного ЗАО «Радий» для информационных и
управляющих систем АЭС. Выполнен анализ особенностей оценки и обеспечения безопасности
информационных и управляющих систем АЭС, ...
Методика нормализации статистических данных тестирования программного обеспечения
(ХАІ, 2007)
В статье проведен анализ факторов, влияющих на полноту и достоверность статистической информации
о тестировании программного обеспечения. Предложена методика нормализации статистических данных
тестирования с учетом ...
Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике
(ХАІ, 2008)
Проведен аналитический обзор исследований по оценке стоимости разработки программного обеспечения в современных информационно-управляющих системах. Показана необходимость использования математического аппарата нечеткой ...
Модель дефектов программного обеспечения
(ХАІ, 2008)
Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой ...
Создание надежных информационных систем, находящихся в постоянном развитии
(ХАІ, 2008)
Определены стратегии развития информационных систем, предложен алгоритм внедрения нового
программного обеспечения, рассмотрен пример информационной системы применяемой в Украинской
академии банковского дела НБУ.