Search
Now showing items 31-40 of 52
Модель вычислений, управляемых данными, в программном обеспечении систем реального времени
(ХАІ, 2010)
Показано, что контроль точности, достоверности и актуальности вычислений в программном обеспечении систем реального времени является актуальной задачей. Предложено в качестве теоретического решения данной задачи использовать ...
Процедура выбора средств для оценки соответствия программного обеспечения нормативным требованиям
(ХАІ, 2010)
Проведен анализ существующих классификаций методов оценки программного обеспечения. Проведен анализ информации используемой при оценке соответствия требованиям и предложено формальное описание метода оценки программного ...
Информационные технологии разработки и управления системами тестирования высокой ответственности
(ХАІ, 2011)
Рассматриваются вопросы применения тестирования для оценки знаний в национальных системах
оценивания. Проведен анализ прикладного программного обеспечения для реализации функций разработки тестов, проведения тестирования ...
Метод перечисления символьных последовательностей
(ХАІ, 2012)
Рассмотрены свойства символьных последовательностей и способы их формального представления в виде серийных последовательностей. Введены операции на множестве символьных последовательностей, позволяющие проводить их ...
Модель управляющих алгоритмов испытаний бортовых систем космических аппаратов
(ХАІ, 2012)
Показано, что из-за сложности и иерархичности управляющих алгоритмов существует необходимость в разработке модели управляющего алгоритма испытаний бортовых систем космических аппаратов, которая предназначена для ...
Проблемы надежности программно-аппаратных средств беспилотных систем
(ХАІ, 2012)
Приведен анализ результатов испытаний беспилотных систем, выявлены основные элементы
аппаратного и программного обеспечения с наименьшей надежностью. Рассмотрены существующие
подходы решения вопросов оценки и методы ...
Метод визуализации управляющих алгоритмов реального времени
(ХАІ, 2012)
Показано, что для повышения наглядности программного обеспечения, реализующего управляющий алгоритм, снижения трудоемкости процессов тестирования и отладки управляющих алгоритмов реального времени, а также возможности их ...
Применение аппарата теории массового обслуживания для исследования процессов выявления и устранения уязвимостей программных средств
(ХАІ, 2014)
В статье предложены модели, позволяющие описать процессы выявления и устранения уязвимостей в
программном обеспечении (ПО). В качестве базовой модели предлагается использовать марковскую
цепь, описывающую процесс ...
Прогнозирование вероятности скрытых дефектов критического ПО с заданной точностью
(ХАІ, 2014)
Для количественной оценки надежности и функциональной безопасности критических систем одной
из ключевых характеристик является прогноз вероятности скрытых дефектов. В статье представлен метод прогнозирования вероятности ...
Качественный и количественный анализ рисков в IT-проектах
(ХАІ, 2014)
Рассмотрены вопросы анализа и управления рисками проектов при разработке программных продуктов. Систематизирован терминологический аппарат и раскрыты основополагающие подходы к анализу и управлению рисками. Предлагается ...