Buchumschlag

Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем

Предложен интерактивный метод для упрощения отладки и повышения производительности построения тестовых сценариев для обеспечения покрытия требований высокого уровня. Метод реализует полуавтома-тическую генерацию тестов, используя задаваемую пользователем дополнительную информацию об искомых поведени...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Штучний інтелект
Datum:	2018
Hauptverfasser:	Колчин, А.В., Потиенко, С.В.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем штучного інтелекту МОН України та НАН України 2018
Schlagworte:	Програмно-технічні засоби інтелектуальних систем
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/162373
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:	Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2018. — № 2 (80). — С. 51-58. — Бібліогр.: 26 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Метод генерации тестовых данных по исходному коду Java программ
von: Колчин, А.В., et al.
Veröffentlicht: (2016)

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

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

Класифікація способів покращення пошуку по дереву методом Монте-Карло, орієнтованих на особливості цього методу
von: Марченко, О.І., et al.
Veröffentlicht: (2016)

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

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

Деякі підходи до розробки паралельних алгоритмів розв’язування задач на комп’ютерах з процесорами Intel Xeоn Phi
von: Нестеренко, А.Н., et al.
Veröffentlicht: (2018)

Діяльність інтелектуального агента для оцінювання інформації у специфікаціях вимог до програмного забезпечення
von: Павлова, О.О., et al.
Veröffentlicht: (2018)

Оn some problems of neural network technologies in electric components diagnosing
von: Telenyk, S.F., et al.
Veröffentlicht: (2017)

Повышение эффективности параллельной обработки данных и обеспечение отказоустойчивости мультипроцессорных вычислительных систем реального времени
von: Жабин, В.И.
Veröffentlicht: (2015)

Анализ эффективности параллельных технологий
von: Буза, М.К.
Veröffentlicht: (2015)

ПАРКС як засіб реалізації розподілених хмарних обчислень
von: Федорус, О.М.
Veröffentlicht: (2016)

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

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

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

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

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

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

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

Достоверность решений линейных математических моделей с приближенно заданными исходными данными
von: Химич, А.Н., et al.
Veröffentlicht: (2004)

Метод синтеза услуг в задачах компьютерной телефонии
von: Палагин, А.В., et al.
Veröffentlicht: (2004)

Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм
von: Соловьев, В.И., et al.
Veröffentlicht: (2021)

Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
von: Нелин, О.В.
Veröffentlicht: (2003)

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

Метод параллельного нечеткого вывода для систем Такаги–Сугено высшего порядка
von: Ершов, С.В., et al.
Veröffentlicht: (2018)

Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
von: Примин, М.А., et al.
Veröffentlicht: (2019)

Цілочислові модифіковані синусні перетворення. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування в кодуванні зображень/відео
von: Гнатів, Л.О.
Veröffentlicht: (2020)

Целочисленное косинусное преобразование высокого порядка: метод построения и быстрые алгоритмы для кодирования изображений и видео с высоким разрешением
von: Гнатив, Л.А.
Veröffentlicht: (2017)

Обзор современных систем и методов верификации формальных моделей
von: Колчин, А.В., et al.
Veröffentlicht: (2012)

Цілочислові модифіковані синус-косинусні перетворення типу VII. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування з блоками яскравості 8x8 у кодуванні зображень/відео
von: Гнатів, Л.О., et al.
Veröffentlicht: (2021)

Расширение набора графичисеких примитивов в задачах синтеза изображений методом обратного трассирования
von: Додонов, А.Г., et al.
Veröffentlicht: (2008)

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

Оптимизация проверки выполнимости переходов при верификации формальных моделей
von: Колчин, А.В.
Veröffentlicht: (2012)

Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
von: Рубан, И.В., et al.
Veröffentlicht: (2018)

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
von: Львов, М.С., et al.
Veröffentlicht: (2018)

Прикладная математическая задача как объект компьютерной алгебры
von: Клименко, В.П., et al.
Veröffentlicht: (2003)

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

Симетричні криптоалгоритми у системі залишкових класів
von: Касянчук, М.М., et al.
Veröffentlicht: (2021)

Обоснование принципиальной возможности применения нейронных сетей глубокого обучения для построения системы выявления следов цифровой обработки фонограмм
von: Соловьев, В.И., et al.
Veröffentlicht: (2020)

Унифицированная модель объекта управления дискретного производства
von: Каплунов, М.И.
Veröffentlicht: (2003)