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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation

The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space exploring of UCM models using symbolic solving and proving is presented. The g...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2014
Автор:	Guba, A.A.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Інститут програмних систем НАН України 2014
Теми:	Методи та засоби програмної інженерії
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/113221
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Traversal of arbitrary sequences of UCM symbolic transitions for test generation / A.A. Guba // Проблеми програмування. — 2014. — № 2-3. — С. 107-111. — Бібліогр.: 17 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: A. A. Guba
Опубліковано: (2014)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
за авторством: Shekhovtsov, A.
Опубліковано: (2010)

Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)

Ін’єкція функціональних залежностей у контейнері інверсії керування
за авторством: Глибовець, М.М.
Опубліковано: (2014)

Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
за авторством: Чебанюк, О.В.
Опубліковано: (2014)

Парадигмы программирования сборочного типа в программной инженерии
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)

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

Концепція побудови сертифікаційної моделі якості програмних систем
за авторством: Райчев, І.Е., та інші
Опубліковано: (2006)

Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
за авторством: Парасюк, І.М., та інші
Опубліковано: (2008)

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

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

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

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
за авторством: Годлевский, М.Д., та інші
Опубліковано: (2006)

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

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

Models and tools for effectiveness increase of requirements traceability in agile-software development
за авторством: Tkachuk, M.V., та інші
Опубліковано: (2012)

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

Подход к обеспечению взаимодействия программных средств JAVA И MS.NET
за авторством: Островский, А.В.
Опубліковано: (2011)

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

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

Об одном подходе к оценке эффективности применения пост объектно-ориентированных технологий при сопровождении программных систем
за авторством: Ткачук, Н., та інші
Опубліковано: (2010)

Один з підходів до взаємодії середовищ VISUAL STUDIO i ECLIPSE
за авторством: Радецький, І.О.
Опубліковано: (2011)

Проблемно-ориентированные компьютерные симуляторы в решении теоретических и прикладных задач физиологии человека
за авторством: Григорян, Р.Д.
Опубліковано: (2017)

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

О возможности систематического исследования систем управления производством
за авторством: Колесник, В.Г.
Опубліковано: (2017)

Экспертиза процессов жизненного цикла программных систем: особенности организации и проведения
за авторством: Слабоспицкая, О.А.
Опубліковано: (2006)

Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування
за авторством: Ігнатенко, П.П., та інші
Опубліковано: (2008)

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

Про оптимальне керування в системі "хижак-жертва"
за авторством: Пашко, С.В.
Опубліковано: (2020)

50 лет инженерии программного обеспечения
за авторством: Сидоров, Н.А.
Опубліковано: (2018)

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

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

Стилистика программного обеспечения
за авторством: Сидоров, Н.А.
Опубліковано: (2006)

Визуальное моделирование сложного программного обеспечения интернет узла
за авторством: Меренков, А.Ю.
Опубліковано: (2006)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)

Підхід до конфігурування компонентів повторного використання
за авторством: Колесник, А.Л.
Опубліковано: (2011)

Визначення предмету – програмна інженерія
за авторством: Лавріщева, К.М.
Опубліковано: (2008)

Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)

Формалізми об’єктного проектування і тестування розподілених програмних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)