Search
Now showing items 21-30 of 40
Реляционная модель представления технологических процессов испытаний
(ХАІ, 2008)
Рассмотрены теоретические аспекты применения баз данных для хранения описания технологических
процессов испытаний сложных технических систем. Приведена формальная модель баз данных, которая
с учетом практических особенностей ...
Об одном методе проверки профессиональных умений алгоритмизации
(ХАІ, 2009)
Изложен метод автоматической проверки правильности профессиональных умений алгоритмизации, базирующийся на принципах рационального тестирования промышленного программного обеспечения.
Оценка показателя версионной избыточности при проектировании программного обеспечения
(ХАІ, 2009)
Описаны типовые структуры графовой модели двухверсионного проекта и их параметры. Предложена аналитическая зависимость для показателя версионной избыточности, учитывающая длину минимальной версии проекта.
Модель для оценки качества систем управления контентом
(ХАІ, 2009)
На основе анализа существующих систем управления контентом, была разработана модель,
дополняющая и конкретизирующая модель качества программного обеспечения.
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Метод идентификации рисков программного проекта на основе вероятностного подхода
(ХАІ, 2009)
Рассматриваются вероятностные модели оценки рисков, связанных с разработкой программного
продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс.
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.
Принципы генерации текстовых эквивалентов для программ, созданных на графическом языке FBD
(ХАИ, 2006)
Проанализированы отличия базового и расширенного диалектов графического языка FBD. Для диалекта, допускающего условное выполнение фрагментов схемы, предложен алгоритм формирования текстового эквивалента, учитывающий различные ...