Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2015
1. Verfasser:	Летичевский, А.А. (мл.)
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/124904
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Парадигмы модельного и символьного тестирования программных систем / А.А. Летичевский (мл.) // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 31-44. — Бібліогр.: 32 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Экзистенциальные основания композиционной парадигмы
von: Редько, В.Н., et al.
Veröffentlicht: (2008)

Особенности тестирования критических программных систем при их сертификации
von: Райчев, И.Э., et al.
Veröffentlicht: (2011)

Свойства предикатного трансформера системы VRS
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Генерация символьных трасс в системе инсерционного моделирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2015)

Информационно-программное обеспечение для комплексного мониторирования и экспресс-тестирования психофизиологического состояния человека
von: Григорьев, П.Е., et al.
Veröffentlicht: (2012)

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

Алгоритм Очевидности Глушкова
von: Летичевский, А.А., et al.
Veröffentlicht: (2013)

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
von: Колчин, А.В., et al.
Veröffentlicht: (2014)

Идентификация моделей и оценка состояния Grid-систем
von: Лавренюк, С.И., et al.
Veröffentlicht: (2009)

Методика разработки и средства формализации функциональных спецификаций систем и устройств
von: Годлевский, А.Б., et al.
Veröffentlicht: (2016)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

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

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

Система сущностей бизнес-моделей организационных систем
von: Маслянко, П.П., et al.
Veröffentlicht: (2012)

Модели нагрузочного тестирования систем управления базами данных
von: Блажко, А.А., et al.
Veröffentlicht: (2010)

Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
von: Башкин, В.А., et al.
Veröffentlicht: (2011)

Формальные методы анализа дискретных систем с использованием языка спецификаций
von: Крывый, С.Л., et al.
Veröffentlicht: (2009)

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

Комбинаторный метод решения систем линейных ограничений
von: Крывый, С.Л.
Veröffentlicht: (2014)

Диалог как основа построения речевых систем
von: Мещеряков, Р.В., et al.
Veröffentlicht: (2008)

Нечеткие системы логического вывода и их применение
von: Провотар, А.И., et al.
Veröffentlicht: (2013)

Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
von: Антонюк, С.В., et al.
Veröffentlicht: (2013)

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

Проблемы реинжиниринга программных legacy-систем
von: Пашковец, Н.Д., et al.
Veröffentlicht: (2010)

Объектно-компонентная разработка изменяемых программных систем
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2016)

Анализ влияния глобальных угроз на устойчивое развитие стран и регионов мира с помощью байесовских сетей доверия
von: Згуровский, М.З., et al.
Veröffentlicht: (2010)

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

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

Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
von: Галкин, А.А.
Veröffentlicht: (2016)

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

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

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

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

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

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

Проблемы трансдисциплинарности и роль информатики
von: Палагин, А.В.
Veröffentlicht: (2013)

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

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

Теоретические основы анализа помехи и помехопрогноза аварий
von: Алиев, Т.А.
Veröffentlicht: (2008)