Buchumschlag

Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ

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

Ausführliche Beschreibung

Gespeichert in:

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

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: (2018)

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

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

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

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

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

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

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

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

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

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

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

Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2017)

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

Сравнительный анализ методов прогнозирования макроэкономических показателей Украины
von: Зайченко, Ю.П., et al.
Veröffentlicht: (2013)

Обзор методов нейроуправления
von: Чернодуб, А.Н., et al.
Veröffentlicht: (2011)

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

До моделі фізичної економіки
von: Алєксєєв, А.А.
Veröffentlicht: (2004)

Математическое моделирование токовых состояний водных объектов
von: Каленчук-Порханова, А.А.
Veröffentlicht: (2019)

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

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

Методология построения информационной системы управления проектами на основе интеграции приложений предприятия
von: Тулупов, М.А.
Veröffentlicht: (2020)

Новый подход к работе с неориентированными деревьями
von: Иванешкин, А.И.
Veröffentlicht: (2021)

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

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

Когнітивна візуалізація базових процедур процесу прийняття рішення в системі управління активним об’єктом
von: Косс, В.А.
Veröffentlicht: (2004)

Формальна модель синтезованого екранного образу динамічної обстановки в районах моніторингу рухомих об’єктів та її імплементація у веб-орієнтовану геоінформаційну систему
von: Касім, А.М.
Veröffentlicht: (2017)

Оценка интерфейсов тестовых систем электронных учебников
von: Звенигородский, А.С., et al.
Veröffentlicht: (2011)

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

Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью
von: Ларин, В.О., et al.
Veröffentlicht: (2018)

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

Экосистемы программной инженерии
von: Крывый, С.Л., et al.
Veröffentlicht: (2020)

Обобщенные оценки факторов в задачах когнитивного моделирования
von: Таран, Т.А., et al.
Veröffentlicht: (2004)

Прикладная математическая задача как объект компьютерной алгебры
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: Городецкий, А.С., et al.
Veröffentlicht: (2019)

Модель упреждающей подсказки в интеллектуализованном интерфейсе пользователя
von: Белоус, Л.В., et al.
Veröffentlicht: (2004)