Buchumschlag

Генерация тестовых сценариев на основе формальной модели

Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными спецификациями к системе. Метод использует определяемые пользователем в виде рег...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2010
Hauptverfasser:	Летичевский, А.А., Колчин, А.В.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2010
Schlagworte:	Методи та засоби програмної інженерії
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/14692
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:	Генерация тестовых сценариев на основе формальной модели/ А.А. Летичевский, А.В. Колчин// Пробл. програмув. — 2010. — № 2-3. — С. 209-215. — Бібліогр.: 40 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Об одном классе базовых протоколов
von: Летичевский, А.А.
Veröffentlicht: (2005)

Разработка полнофункциональных веб-приложений на основе библиотеки TauCode
von: Коваленко, А.С., et al.
Veröffentlicht: (2010)

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

Обеспечение надежности программных средств в зависимости от качества документации
von: Анцыпов, А.В.
Veröffentlicht: (2008)

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
von: Годлевский, М.Д., et al.
Veröffentlicht: (2006)

Оценка надежности модульных программных средств
von: Анцыпов, А.В., et al.
Veröffentlicht: (2010)

Регрессивное тестирование: методы и будущие направления исследований
von: Мороз, Г.Б., et al.
Veröffentlicht: (2014)

Ролевой подход к оценке качества экономических экспертных систем
von: Кожевникова, Г.П., et al.
Veröffentlicht: (2006)

Послуга «КО-1. Повторне використання об’єктів» для захищеної ОС на базі GNU/Linux з розширенням RSBAC
von: Анісімов, А.В., et al.
Veröffentlicht: (2010-12)

Реинженерия проектов программного обеспечения
von: Сидоров, Н.А., et al.
Veröffentlicht: (2006)

Реализация модификаций эффективных генера-торов тестов
von: Андриянов, В.А., et al.
Veröffentlicht: (2010)

Метод и средства редокументирования наследуемого программного обеспечения
von: Сидоров, Н.А., et al.
Veröffentlicht: (2008)

Построение имитационных моделей бизнес-процессов для сбора требований качества
von: Долгарев, А.Г., et al.
Veröffentlicht: (2008)

АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
von: Антонов, В.М., et al.
Veröffentlicht: (2010)

Мониторинг дефектов проектирования объектно-ориентированного программного обеспечения
von: Нечай, А.С.
Veröffentlicht: (2010)

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

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

50 лет инженерии программного обеспечения
von: Сидоров, Н.А.
Veröffentlicht: (2018)

Стилистика программного обеспечения
von: Сидоров, Н.А.
Veröffentlicht: (2006)

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

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

Про формальний опис типів і структур даних різнорідних програм
von: Стеняшин, А.Ю.
Veröffentlicht: (2011)

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

Інформаційна технологія експертно-аналітичного оцінювання витрат на розроблення та використання програмного забезпечення комп’ютерних систем
von: Андон, П.І., et al.
Veröffentlicht: (2018)

Реинженерия наследуемого программного обеспечения авиационных тренажеров
von: Сидоров, Н.А., et al.
Veröffentlicht: (2008)

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

Кроссертификация Украины
von: Мелащенко, А.О., et al.
Veröffentlicht: (2010)

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

Моделі підтримки прийняття рішень щодо структуризації робіт при розробці прикладних програмних систем
von: Стрєлов, І.А., et al.
Veröffentlicht: (2006)

Шаблон программного обеспечения устройств связи с объектом авиационных тренажеров
von: Хоменко, В.А., et al.
Veröffentlicht: (2008)

Модель процесса разработки программного обеспечения
von: Вершина, А.И., et al.
Veröffentlicht: (2006)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
von: Shekhovtsov, A.
Veröffentlicht: (2010)

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

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

Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
von: Луцький, М.Г., et al.
Veröffentlicht: (2010)

Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем
von: Антонов, В.М., et al.
Veröffentlicht: (2010)

Инженерия качества процессов производства программных систем с помощью сетей Петри
von: Матвеева, Л.Е.
Veröffentlicht: (2010)

Підбір метрик для властивостей програмного забезпечення
von: Дишлевий, О.П.
Veröffentlicht: (2010)

Концепція побудови сертифікаційної моделі якості програмних систем
von: Райчев, І.Е., et al.
Veröffentlicht: (2006)

Применение статистических моделей в инженерии качества процессов производства программных систем
von: Матвеева, Л.Е., et al.
Veröffentlicht: (2012)