Метод генерации тестовых данных по исходному коду Java программ
Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы абстрактной интерпретации и редукции пространства поиска. В основу метода полож...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2016 |
| Main Authors: | Колчин, А.В., Потиенко, С.В. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/132069 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
by: Волков, В.А., et al.
Published: (2017)
by: Волков, В.А., et al.
Published: (2017)
Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем
by: Колчин, А.В., et al.
Published: (2018)
by: Колчин, А.В., et al.
Published: (2018)
Метод повышения точности сегментации изображений печатных плат
by: Инютин, А.В.
Published: (2016)
by: Инютин, А.В.
Published: (2016)
Класифікація способів покращення пошуку по дереву методом Монте-Карло, орієнтованих на особливості цього методу
by: Марченко, О.І., et al.
Published: (2016)
by: Марченко, О.І., et al.
Published: (2016)
Нечеткая нейронная сеть для анализа топологии интегральных микросхем
by: Дудкин, А.А.
Published: (2015)
by: Дудкин, А.А.
Published: (2015)
Оn some problems of neural network technologies in electric components diagnosing
by: Telenyk, S.F., et al.
Published: (2017)
by: Telenyk, S.F., et al.
Published: (2017)
Построение ансамбля нейронных сетей для прогнозирования временных рядов телеметрии космических аппаратов
by: Марушко, Е.Е., et al.
Published: (2016)
by: Марушко, Е.Е., et al.
Published: (2016)
Деякі підходи до розробки паралельних алгоритмів розв’язування задач на комп’ютерах з процесорами Intel Xeоn Phi
by: Нестеренко, А.Н., et al.
Published: (2018)
by: Нестеренко, А.Н., et al.
Published: (2018)
Діяльність інтелектуального агента для оцінювання інформації у специфікаціях вимог до програмного забезпечення
by: Павлова, О.О., et al.
Published: (2018)
by: Павлова, О.О., et al.
Published: (2018)
О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
by: Дорошенко, А.Е., et al.
Published: (2006)
by: Дорошенко, А.Е., et al.
Published: (2006)
Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ
by: Дорошенко, А.Е., et al.
Published: (2017)
by: Дорошенко, А.Е., et al.
Published: (2017)
Метод распознавания параметров помехоустойчивых блочных циклических кодов по образующему полиному
by: Николаев, С.Н., et al.
Published: (2021)
by: Николаев, С.Н., et al.
Published: (2021)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
Бесконтактные исследования магнитных полей биологических объектов: алгоритмы регистрации и обработки данных
by: Примин, М.А., et al.
Published: (2020)
by: Примин, М.А., et al.
Published: (2020)
Метод синтеза услуг в задачах компьютерной телефонии
by: Палагин, А.В., et al.
Published: (2004)
by: Палагин, А.В., et al.
Published: (2004)
Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
by: Нелин, О.В.
Published: (2003)
by: Нелин, О.В.
Published: (2003)
Метод параллельного нечеткого вывода для систем Такаги–Сугено высшего порядка
by: Ершов, С.В., et al.
Published: (2018)
by: Ершов, С.В., et al.
Published: (2018)
Генерация тестовых сценариев на основе формальной модели
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
by: Примин, М.А., et al.
Published: (2019)
by: Примин, М.А., et al.
Published: (2019)
Целочисленное косинусное преобразование высокого порядка: метод построения и быстрые алгоритмы для кодирования изображений и видео с высоким разрешением
by: Гнатив, Л.А.
Published: (2017)
by: Гнатив, Л.А.
Published: (2017)
Цілочислові модифіковані синусні перетворення. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування в кодуванні зображень/відео
by: Гнатів, Л.О.
Published: (2020)
by: Гнатів, Л.О.
Published: (2020)
Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
by: Головинський, А.Л., et al.
Published: (2017)
by: Головинський, А.Л., et al.
Published: (2017)
Метод автоматической генерации автотюнеров для параллельных программ
by: Иваненко, П.А., et al.
Published: (2014)
by: Иваненко, П.А., et al.
Published: (2014)
Экосистемы программной инженерии
by: Крывый, С.Л., et al.
Published: (2020)
by: Крывый, С.Л., et al.
Published: (2020)
Математическое моделирование токовых состояний водных объектов
by: Каленчук-Порханова, А.А.
Published: (2019)
by: Каленчук-Порханова, А.А.
Published: (2019)
Совместное распределение некоторых статистик случайной битовой последовательности
by: Масол, В.И., et al.
Published: (2021)
by: Масол, В.И., et al.
Published: (2021)
Огляд сучасних методів захищеності та безпеки програмних систем
by: Летичевський, О.О., et al.
Published: (2019)
by: Летичевський, О.О., et al.
Published: (2019)
Обоснование принципиальной возможности применения нейронных сетей глубокого обучения для построения системы выявления следов цифровой обработки фонограмм
by: Соловьев, В.И., et al.
Published: (2020)
by: Соловьев, В.И., et al.
Published: (2020)
Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
by: Шило, В.П., et al.
Published: (2019)
by: Шило, В.П., et al.
Published: (2019)
О построении систем управления с инвариантной программой
by: Лёгенький, В.И.
Published: (2004)
by: Лёгенький, В.И.
Published: (2004)
Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
by: Рубан, И.В., et al.
Published: (2018)
by: Рубан, И.В., et al.
Published: (2018)
Алгоритми методу дискретних особливостей для обчислювальних технологій
by: Довгий, С.О., et al.
Published: (2017)
by: Довгий, С.О., et al.
Published: (2017)
Унифицированная модель объекта управления дискретного производства
by: Каплунов, М.И.
Published: (2003)
by: Каплунов, М.И.
Published: (2003)
Симетричні криптоалгоритми у системі залишкових класів
by: Касянчук, М.М., et al.
Published: (2021)
by: Касянчук, М.М., et al.
Published: (2021)
Имитационное моделирование распределенной обработки информации в локальных вычислительных сетях
by: Быченко, О.В., et al.
Published: (2004)
by: Быченко, О.В., et al.
Published: (2004)
Методология построения информационной системы управления проектами на основе интеграции приложений предприятия
by: Тулупов, М.А.
Published: (2020)
by: Тулупов, М.А.
Published: (2020)
Повышение точности решения дискретных некорректных задач методом случайного проецирования
by: Ревунова, Е.Г.
Published: (2018)
by: Ревунова, Е.Г.
Published: (2018)
Алгоритм наилучшей равномерной аппроксимации сплайнами со свободными узлами
by: Вакал, Л.П., et al.
Published: (2019)
by: Вакал, Л.П., et al.
Published: (2019)
Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм
by: Соловьев, В.И., et al.
Published: (2021)
by: Соловьев, В.И., et al.
Published: (2021)
Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
by: В’юн, В.І.
Published: (2004)
by: В’юн, В.І.
Published: (2004)
Similar Items
-
Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
by: Волков, В.А., et al.
Published: (2017) -
Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем
by: Колчин, А.В., et al.
Published: (2018) -
Метод повышения точности сегментации изображений печатных плат
by: Инютин, А.В.
Published: (2016) -
Класифікація способів покращення пошуку по дереву методом Монте-Карло, орієнтованих на особливості цього методу
by: Марченко, О.І., et al.
Published: (2016) -
Нечеткая нейронная сеть для анализа топологии интегральных микросхем
by: Дудкин, А.А.
Published: (2015)