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

Метод генерации тестовых данных по исходному коду Java программ

Цель предлагаемого метода – повышение эффективности автоматической генерации и минимизации множества тестовых данных для обеспечения покрытия исходного кода Java программ. Рассматриваются различные виды покрытия, способы абстрактной интерпретации и редукции пространства поиска. В основу метода полож...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Штучний інтелект
Дата:	2016
Автори:	Колчин, А.В., Потиенко, С.В.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем штучного інтелекту МОН України та НАН України 2016
Теми:	Програмно-технічні засоби інтелектуальних систем
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/132069
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Метод генерации тестовых данных по исходному коду Java программ / А.В. Колчин, С.В. Потиенко // Штучний інтелект. — 2016. — № 3. — С. 50-58. — Бібліогр.: 15 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем
за авторством: Колчин, А.В., та інші
Опубліковано: (2018)

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

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

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

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

Нечеткая нейронная сеть для анализа топологии интегральных микросхем
за авторством: Дудкин, А.А.
Опубліковано: (2015)

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

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

Оn some problems of neural network technologies in electric components diagnosing
за авторством: Telenyk, S.F., та інші
Опубліковано: (2017)

Анализ эффективности параллельных технологий
за авторством: Буза, М.К.
Опубліковано: (2015)

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

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

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

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

Метод распознавания параметров помехоустойчивых блочных циклических кодов по образующему полиному
за авторством: Николаев, С.Н., та інші
Опубліковано: (2021)

Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
за авторством: Колчин, А.В.
Опубліковано: (2008)

Бесконтактные исследования магнитных полей биологических объектов: алгоритмы регистрации и обработки данных
за авторством: Примин, М.А., та інші
Опубліковано: (2020)

Метод синтеза услуг в задачах компьютерной телефонии
за авторством: Палагин, А.В., та інші
Опубліковано: (2004)

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

Метод параллельного нечеткого вывода для систем Такаги–Сугено высшего порядка
за авторством: Ершов, С.В., та інші
Опубліковано: (2018)

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

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

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

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

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

Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
за авторством: Головинський, А.Л., та інші
Опубліковано: (2017)

Нечеткий метод группового учета аргументов при неопределенных входных данных
за авторством: Зайченко, Ю.П.
Опубліковано: (2007)

Метод автоматической генерации автотюнеров для параллельных программ
за авторством: Иваненко, П.А., та інші
Опубліковано: (2014)

Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
за авторством: Рубан, И.В., та інші
Опубліковано: (2018)

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

Прикладная математическая задача как объект компьютерной алгебры
за авторством: Клименко, В.П., та інші
Опубліковано: (2003)

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

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

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

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

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

Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
за авторством: В’юн, В.І.
Опубліковано: (2004)

Високопродуктивні суперкомп'ютерні технології моделювання та ідентифікації складних нанопористих кіберсистем зі зворотними зв'язками для n-компонентної компетитивної адсорбції
за авторством: Петрик, М.Р., та інші
Опубліковано: (2021)

Системная методология прогнозирования: прогнозирование процессов естественной и искусственной природы
за авторством: Теслер, Г.С.
Опубліковано: (2004)