Search
Now showing items 1-10 of 51
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Информационная технология разработки компьютерных обучающих программ
(ХАІ, 2006)
Рассмотрены методы и подходы, используемые для разработки компьютерных средств обучения, сформирован подход к разработке обучающих программ для выбранной предметной области, приведены результаты реализации используемого ...
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)
Проведен аналитический обзор исследований по оценке стоимости разработки программного обеспечения в современных информационно-управляющих системах. Показана необходимость использования математического аппарата нечеткой ...