Suche
Anzeige der Dokumente 1-7 von 7
Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
(ХАІ, 2010)
Рассмотрены модифицированные модели оценки надежности программных средств Джелинского-Моранды и простая экспоненциальная модель, в которых учтены возможности внесения новых (вторичных) дефектов в процессе устранения ...
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)
Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built.
Многоэтапный анализ надежности и безопасности информационно-управляющих систем
(ХАІ, 2010)
Данная работа посвящена обсуждению согласованного применения методов анализа надежности и безопасности на различных этапах жизненного цикла информационно-управляющих систем.
Проблемы надежности программно-аппаратных средств беспилотных систем
(ХАІ, 2012)
Приведен анализ результатов испытаний беспилотных систем, выявлены основные элементы
аппаратного и программного обеспечения с наименьшей надежностью. Рассмотрены существующие
подходы решения вопросов оценки и методы ...
Метод отбора дефектосодержащих компонентов программных систем
(ХАІ, 2016)
Предложенный метод основан на учете многомерной сложности компонентов программных систем
посредством метрик. Исследована представительная выборка данных и получено экспериментальное
подтверждение допущения метода.
Оценка надежности собственной устойчивости дискретных рекурсивных корректирующих фильтров
(ХАІ, 2014)
Предложен подход оценки надежности собственной устойчивости синтезированных дискретных рекурсивных корректирующих фильтров минимального порядка для сложных динамических систем. Задача, сформулированная в терминах частотных ...
Экспериментальная проверка метода отбора дефектосодержащих компонентов программных систем
(ХАІ, 2016)
Для проверки метода отбора дефектосодержащих компонентов использована представительная выборка экспериментальных данных пяти различных программных систем. Метод дает возможность
управлять достижением требуемой надежности ...