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

Парадигмы модельного и символьного тестирования программных систем

Исследовано модельное тестирование программных систем направление, известное в индустрии как Model-Based Testing (МВТ). Проведен обзор основных методов и систем МВТ, которые позволяют автоматизировать труд инженера-тестировщика и значительно повысить качество тестирования программной системы. Рассмо...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2015
Автор:	Летичевский, А.А. (мл.)
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/124904
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Парадигмы модельного и символьного тестирования программных систем / А.А. Летичевский (мл.) // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 31-44. — Бібліогр.: 32 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Экзистенциальные основания композиционной парадигмы
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)

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

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

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

Информационно-программное обеспечение для комплексного мониторирования и экспресс-тестирования психофизиологического состояния человека
за авторством: Григорьев, П.Е., та інші
Опубліковано: (2012)

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

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

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

Идентификация моделей и оценка состояния Grid-систем
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2009)

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

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

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

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

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

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

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

Формальные методы анализа дискретных систем с использованием языка спецификаций
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)

Робастная диссипативность дискретных систем и ее исследование с помощью последовательности множеств функций Ляпунова
за авторством: Лычак, М.М.
Опубліковано: (2008)

Комбинаторный метод решения систем линейных ограничений
за авторством: Крывый, С.Л.
Опубліковано: (2014)

Диалог как основа построения речевых систем
за авторством: Мещеряков, Р.В., та інші
Опубліковано: (2008)

Нечеткие системы логического вывода и их применение
за авторством: Провотар, А.И., та інші
Опубліковано: (2013)

Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
за авторством: Антонюк, С.В., та інші
Опубліковано: (2013)

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

Проблемы реинжиниринга программных legacy-систем
за авторством: Пашковец, Н.Д., та інші
Опубліковано: (2010)

Объектно-компонентная разработка изменяемых программных систем
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2016)

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

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

Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
за авторством: Галкин, А.А.
Опубліковано: (2016)

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

Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
за авторством: Галкин, А.А.
Опубліковано: (2016)

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

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
за авторством: Лялецкий, А.А.
Опубліковано: (2014)

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

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

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

Проблемы трансдисциплинарности и роль информатики
за авторством: Палагин, А.В.
Опубліковано: (2013)

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

Развитие модельного ряда и повышение эксплуатационных характеристик ускорителей ЭЛВ
за авторством: Куксанов, Н.К., та інші
Опубліковано: (2012)

Теоретические основы анализа помехи и помехопрогноза аварий
за авторством: Алиев, Т.А.
Опубліковано: (2008)