Зображення обкладинки

Особенности тестирования критических программных систем при их сертификации

Розглянуто питання створення процедур і сценаріїв тестування критичних програмних систем. Отримані процедури дозволяють генерувати оптимальні тестові набори даних, що сприяє підвищенню ефективності випробувань, зменшенню трудомісткості сертифікації та збільшенню достовірності її результатів. The que...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблемы управления и информатики
Дата:	2011
Автори:	Райчев, И.Э., Харченко, А.Г., Егоров О.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2011
Теми:	Методы обработки информации
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/207297
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Особенности тестирования критических программных систем при их сертификации И.Э. Райчев, А.Г. Харченко, О.А. Егоров // Проблемы управления и информатики. — 2011. — № 2. — С. 91–100. — Бібліогр.: 20 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Сравнительная характеристика программных модулей компьютерных систем оптимального управления некоторыми управляемыми объектами
за авторством: Мусуривский, В.И.
Опубліковано: (2007)

Имитационное моделирование экспертных оценок для тестирования методов обработки информации в системах поддержки принятия решений
за авторством: Цыганок, В.В., та інші
Опубліковано: (2011)

Метод сортировки относительных позиций синхроимпульсов по частоте их появления
за авторством: Кичак, В.М., та інші
Опубліковано: (2016)

Сжатие изображения текста на основе выделения символов и их классификации
за авторством: Иванов, В.Г., та інші
Опубліковано: (2010)

Структурно-функциональный анализ компонентов GRID-систем
за авторством: Шелестов, А.Ю.
Опубліковано: (2007)

Классификация нечетких задач оптимального разбиения множеств и некоторые подходы к их решению
за авторством: Киселева, Е.М., та інші
Опубліковано: (2009)

Анализ систем обслуживания-запасания с нетерпеливыми расходующими заявками
за авторством: Меликов, А.З., та інші
Опубліковано: (2016)

Модели систем обслуживания-запасания с рандомизированной политикой пополнения запасов
за авторством: Меликов, А.З., та інші
Опубліковано: (2016)

Особенности разработки учебных материалов и системы контроля знаний
за авторством: Шахбазова, Ш.Н.
Опубліковано: (2014)

Модели систем обслуживания-запасания со скоропортящимися запасами и повторными заявками
за авторством: Меликов, А.З., та інші
Опубліковано: (2016)

Применение онтологий и методов текстового анализа при создании интеллектуальных поисковых систем
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2011)

Разделение выпуклых оболочек как способ моделирования систем прогнозирования возникновения осложнений у больных
за авторством: Иванчук, М.А., та інші
Опубліковано: (2015)

Прогнозирование зависимости «структура–свойство» новых органических соединений на основе искусственных иммунных систем
за авторством: Самигулина, Г.А., та інші
Опубліковано: (2015)

Метод структурно-функционального синтеза в задачах реструктуризации систем экологического мониторинга
за авторством: Доронина, Ю.В., та інші
Опубліковано: (2013)

Численное решение некоторых обратных задач для эллиптических систем с использованием псевдообратных матриц
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2011)

Задача о математическом сейфе с простым числом состояний замков
за авторством: Донец, А.Г., та інші
Опубліковано: (2018)

Модель слияния информации о качестве изображений на основе теории Демпстера–Шафера для интероперабельности биометрических систем
за авторством: Имамвердиев, Я.Н.
Опубліковано: (2010)

Операции над нечеткими числами с носителем мощности континуум для моделирования в комбинаторной оптимизации
за авторством: Емец, О.А., та інші
Опубліковано: (2010)

Байесова стратегия принятия коллективных решений и ее интервальное обобщение
за авторством: Жуковская, О.А., та інші
Опубліковано: (2019)

Парадигмы модельного и символьного тестирования программных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2015)

Определение информационного ядра при классификации документов
за авторством: Манзюк, Э.А., та інші
Опубліковано: (2018)

Информационная технология синтеза разделяющих гиперплоскостей для линейных классификаторов
за авторством: Бармак, А.В., та інші
Опубліковано: (2019)

Алгебраическая теория взаимодействия и киберфизические системы
за авторством: Летичевский, А.А.
Опубліковано: (2017)

Байесовские процедуры распознавания на сетях
за авторством: Вагис, А.А.
Опубліковано: (2010)

Свойства процедур сепарации в моделях байесовских сетей
за авторством: Вагис, А.А., та інші
Опубліковано: (2012)

Иерархический информационно-экстремальный алгоритм обучения системы диагностирования с избыточной обучающей матрицей
за авторством: Довбыш, А.С., та інші
Опубліковано: (2015)

Симметрия и свойства записи генетической информации в ДНК
за авторством: Гупал, А.М., та інші
Опубліковано: (2011)

О вычислении свертки экспоненциальных распределений
за авторством: Кузнецов, Н.Ю., та інші
Опубліковано: (2013)

М-обучение радиально-базисных сетей с использованием асимметричных функций влияния
за авторством: Руденко, О.Г., та інші
Опубліковано: (2012)

Методы анализа и оптимизации характеристик новой стратегии доступа в сотовых сетях связи
за авторством: Меликов, А.З., та інші
Опубліковано: (2014)

Робастное обучение вейвлет-нейросетей
за авторством: Руденко, О.Г., та інші
Опубліковано: (2010)

Информационная технология определения качества коммунальных услуг
за авторством: Багацкий, В.А., та інші
Опубліковано: (2018)

Коэволюционирующие нейронные сети прямого распространения
за авторством: Руденко, О.Г., та інші
Опубліковано: (2016)

Использование градиентных масок для быстрого определения центров изображений пятен лазерных пучков с повышенной точностью
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2011)

Быстрый алгоритм вывода структур байесовых сетей из данных
за авторством: Балабанов, А.С., та інші
Опубліковано: (2011)

Теоретико-игровая модель взаимодействия пользователей в компьютерных сетях
за авторством: Игнатенко, А.П.
Опубліковано: (2017)

К вопросу автоматизации процесса формирования схем ссылок в системе управления базой данных реляционного типа
за авторством: Иванешкин, А.И.
Опубліковано: (2007)

Асимптотика линейной рекуррентной регрессии при диффузной инициализации
за авторством: Скороход, Б.А.
Опубліковано: (2009)

Детерминированный эквивалент и алгоритмы решения задачи fuzzy-линейного программирования
за авторством: Зак, Ю.А.
Опубліковано: (2011)

Оценка скорости приближения образами операторов типа Абеля–Пуассона некоторых специальных классов функций
за авторством: Поддубный, А.М.
Опубліковано: (2019)