Особенности тестирования критических программных систем при их сертификации
Розглянуто питання створення процедур і сценаріїв тестування критичних програмних систем. Отримані процедури дозволяють генерувати оптимальні тестові набори даних, що сприяє підвищенню ефективності випробувань, зменшенню трудомісткості сертифікації та збільшенню достовірності її результатів. The que...
Saved in:
| Published in: | Проблемы управления и информатики |
|---|---|
| Date: | 2011 |
| Main Authors: | Райчев, И.Э., Харченко, А.Г., Егоров О.А. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/207297 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Особенности тестирования критических программных систем при их сертификации И.Э. Райчев, А.Г. Харченко, О.А. Егоров // Проблемы управления и информатики. — 2011. — № 2. — С. 91–100. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Сравнительная характеристика программных модулей компьютерных систем оптимального управления некоторыми управляемыми объектами
by: Мусуривский, В.И.
Published: (2007)
by: Мусуривский, В.И.
Published: (2007)
Имитационное моделирование экспертных оценок для тестирования методов обработки информации в системах поддержки принятия решений
by: Цыганок, В.В., et al.
Published: (2011)
by: Цыганок, В.В., et al.
Published: (2011)
Метод сортировки относительных позиций синхроимпульсов по частоте их появления
by: Кичак, В.М., et al.
Published: (2016)
by: Кичак, В.М., et al.
Published: (2016)
Сжатие изображения текста на основе выделения символов и их классификации
by: Иванов, В.Г., et al.
Published: (2010)
by: Иванов, В.Г., et al.
Published: (2010)
Структурно-функциональный анализ компонентов GRID-систем
by: Шелестов, А.Ю.
Published: (2007)
by: Шелестов, А.Ю.
Published: (2007)
Классификация нечетких задач оптимального разбиения множеств и некоторые подходы к их решению
by: Киселева, Е.М., et al.
Published: (2009)
by: Киселева, Е.М., et al.
Published: (2009)
Анализ систем обслуживания-запасания с нетерпеливыми расходующими заявками
by: Меликов, А.З., et al.
Published: (2016)
by: Меликов, А.З., et al.
Published: (2016)
Модели систем обслуживания-запасания с рандомизированной политикой пополнения запасов
by: Меликов, А.З., et al.
Published: (2016)
by: Меликов, А.З., et al.
Published: (2016)
Особенности разработки учебных материалов и системы контроля знаний
by: Шахбазова, Ш.Н.
Published: (2014)
by: Шахбазова, Ш.Н.
Published: (2014)
Модели систем обслуживания-запасания со скоропортящимися запасами и повторными заявками
by: Меликов, А.З., et al.
Published: (2016)
by: Меликов, А.З., et al.
Published: (2016)
Применение онтологий и методов текстового анализа при создании интеллектуальных поисковых систем
by: Глибовец, Н.Н., et al.
Published: (2011)
by: Глибовец, Н.Н., et al.
Published: (2011)
Разделение выпуклых оболочек как способ моделирования систем прогнозирования возникновения осложнений у больных
by: Иванчук, М.А., et al.
Published: (2015)
by: Иванчук, М.А., et al.
Published: (2015)
Прогнозирование зависимости «структура–свойство» новых органических соединений на основе искусственных иммунных систем
by: Самигулина, Г.А., et al.
Published: (2015)
by: Самигулина, Г.А., et al.
Published: (2015)
Метод структурно-функционального синтеза в задачах реструктуризации систем экологического мониторинга
by: Доронина, Ю.В., et al.
Published: (2013)
by: Доронина, Ю.В., et al.
Published: (2013)
Численное решение некоторых обратных задач для эллиптических систем с использованием псевдообратных матриц
by: Сергиенко, И.В., et al.
Published: (2011)
by: Сергиенко, И.В., et al.
Published: (2011)
Парадигмы модельного и символьного тестирования программных систем
by: Летичевский, А.А. (мл.)
Published: (2015)
by: Летичевский, А.А. (мл.)
Published: (2015)
Модель слияния информации о качестве изображений на основе теории Демпстера–Шафера для интероперабельности биометрических систем
by: Имамвердиев, Я.Н.
Published: (2010)
by: Имамвердиев, Я.Н.
Published: (2010)
Задача о математическом сейфе с простым числом состояний замков
by: Донец, А.Г., et al.
Published: (2018)
by: Донец, А.Г., et al.
Published: (2018)
Операции над нечеткими числами с носителем мощности континуум для моделирования в комбинаторной оптимизации
by: Емец, О.А., et al.
Published: (2010)
by: Емец, О.А., et al.
Published: (2010)
Байесова стратегия принятия коллективных решений и ее интервальное обобщение
by: Жуковская, О.А., et al.
Published: (2019)
by: Жуковская, О.А., et al.
Published: (2019)
Определение информационного ядра при классификации документов
by: Манзюк, Э.А., et al.
Published: (2018)
by: Манзюк, Э.А., et al.
Published: (2018)
Информационная технология синтеза разделяющих гиперплоскостей для линейных классификаторов
by: Бармак, А.В., et al.
Published: (2019)
by: Бармак, А.В., et al.
Published: (2019)
Алгебраическая теория взаимодействия и киберфизические системы
by: Летичевский, А.А.
Published: (2017)
by: Летичевский, А.А.
Published: (2017)
Байесовские процедуры распознавания на сетях
by: Вагис, А.А.
Published: (2010)
by: Вагис, А.А.
Published: (2010)
Свойства процедур сепарации в моделях байесовских сетей
by: Вагис, А.А., et al.
Published: (2012)
by: Вагис, А.А., et al.
Published: (2012)
Иерархический информационно-экстремальный алгоритм обучения системы диагностирования с избыточной обучающей матрицей
by: Довбыш, А.С., et al.
Published: (2015)
by: Довбыш, А.С., et al.
Published: (2015)
Симметрия и свойства записи генетической информации в ДНК
by: Гупал, А.М., et al.
Published: (2011)
by: Гупал, А.М., et al.
Published: (2011)
О вычислении свертки экспоненциальных распределений
by: Кузнецов, Н.Ю., et al.
Published: (2013)
by: Кузнецов, Н.Ю., et al.
Published: (2013)
М-обучение радиально-базисных сетей с использованием асимметричных функций влияния
by: Руденко, О.Г., et al.
Published: (2012)
by: Руденко, О.Г., et al.
Published: (2012)
Методы анализа и оптимизации характеристик новой стратегии доступа в сотовых сетях связи
by: Меликов, А.З., et al.
Published: (2014)
by: Меликов, А.З., et al.
Published: (2014)
Робастное обучение вейвлет-нейросетей
by: Руденко, О.Г., et al.
Published: (2010)
by: Руденко, О.Г., et al.
Published: (2010)
Информационная технология определения качества коммунальных услуг
by: Багацкий, В.А., et al.
Published: (2018)
by: Багацкий, В.А., et al.
Published: (2018)
Коэволюционирующие нейронные сети прямого распространения
by: Руденко, О.Г., et al.
Published: (2016)
by: Руденко, О.Г., et al.
Published: (2016)
Использование градиентных масок для быстрого определения центров изображений пятен лазерных пучков с повышенной точностью
by: Тимченко, Л.И., et al.
Published: (2011)
by: Тимченко, Л.И., et al.
Published: (2011)
Быстрый алгоритм вывода структур байесовых сетей из данных
by: Балабанов, А.С., et al.
Published: (2011)
by: Балабанов, А.С., et al.
Published: (2011)
Теоретико-игровая модель взаимодействия пользователей в компьютерных сетях
by: Игнатенко, А.П.
Published: (2017)
by: Игнатенко, А.П.
Published: (2017)
К вопросу автоматизации процесса формирования схем ссылок в системе управления базой данных реляционного типа
by: Иванешкин, А.И.
Published: (2007)
by: Иванешкин, А.И.
Published: (2007)
Асимптотика линейной рекуррентной регрессии при диффузной инициализации
by: Скороход, Б.А.
Published: (2009)
by: Скороход, Б.А.
Published: (2009)
Детерминированный эквивалент и алгоритмы решения задачи fuzzy-линейного программирования
by: Зак, Ю.А.
Published: (2011)
by: Зак, Ю.А.
Published: (2011)
Оценка скорости приближения образами операторов типа Абеля–Пуассона некоторых специальных классов функций
by: Поддубный, А.М.
Published: (2019)
by: Поддубный, А.М.
Published: (2019)
Similar Items
-
Сравнительная характеристика программных модулей компьютерных систем оптимального управления некоторыми управляемыми объектами
by: Мусуривский, В.И.
Published: (2007) -
Имитационное моделирование экспертных оценок для тестирования методов обработки информации в системах поддержки принятия решений
by: Цыганок, В.В., et al.
Published: (2011) -
Метод сортировки относительных позиций синхроимпульсов по частоте их появления
by: Кичак, В.М., et al.
Published: (2016) -
Сжатие изображения текста на основе выделения символов и их классификации
by: Иванов, В.Г., et al.
Published: (2010) -
Структурно-функциональный анализ компонентов GRID-систем
by: Шелестов, А.Ю.
Published: (2007)