Автоматическая генерация тестовых данных для оптимизаторов графических моделей.

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

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Authors:	С.В. Зеленов, Д.В. Силаков
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2006-01-01
Online Access:	https://www.ispras.ru/en/proceedings/isp_9_2006/isp_9_2006_129/

Similar Items

Направленная генерация тестовых данных для анализаторов статической семантики
by: М.В. Архипова, et al.
Published: (2009-01-01)

Генерация тестовых данных сложной структуры с учетом контекстных ограничений.
by: А.В. Демаков, et al.
Published: (2006-01-01)

Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа.
by: С.В. Зеленов, et al.
Published: (2004-01-01)

Генерация тестовых данных для тестирования арифметических операций центральных процессоров
by: Е.В. Корныхин
Published: (2008-01-01)

Генерация тестовых программ для микропроцессоров.
by: А.С. Камкин
Published: (2008-01-01)

Автоматическая генерация графических пользовательских интерфейсов доступа к интегрированным данным на основе диаграмм классов UML.
by: Д.Р. Ширяев
Published: (2003-01-01)

Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов
by: Е. В. Корныхин
Published: (2009-01-01)

Генерация тестовых программ для подсистемы управления памятью микропроцессора
by: Д.Н. Воробьев, et al.
Published: (2009-01-01)

Автоматическая генерация аннотаций научных статей на основе больших языковых моделей
by: Andrey Golubinskiy, et al.
Published: (2025-01-01)

Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий.
by: А.Я. Калинов, et al.
Published: (2004-01-01)

Генератор сложных данных Pinery: реализация новых возможностей UniTESK
by: А.В. Демаков, et al.
Published: (2008-01-01)

Генерация комплексных каскадных моделей турбулентных систем методами компьютерной алгебры
by: Водинчар, Г.М., et al.
Published: (2022-12-01)

Паттерны проектирования тестовых сценариев.
by: В.С. Мутилин
Published: (2006-01-01)

Семантическая реконсиляция прикладных данных на основе моделей.
by: В.А. Семенов, et al.
Published: (2007-01-01)

ОЦІНКА ПРИДАТНОСТІ ЦИФРОВИХ МОДЕЛЕЙ ВИСОТ SRTM ТА ASTER ДЛЯ ЦІЛЕЙ ГІДРОЛОГІЧНОГО ГЕОПРОСТОРОВОГО АНАЛІЗУ
by: Д.В. Свідзінська
Published: (2014-12-01)

Генерация данных для моделирования атак на БПЛА с целью тестирования систем обнаружения вторжений
by: Elena Basan, et al.
Published: (2022-11-01)

РОЗРОБКА ОНЛАЙН РЕСУРСУ ДЛЯ ВИВЧЕННЯ VISUAL BASIC У КУРСІ ВІЗУАЛЬНОГО ПРОГРАМУВАННЯ ДЛЯ ВНЗ УКРАЇНИ
by: С.В. Неменков, et al.
Published: (2017-04-01)

Розробка інтелектуальної інформаційної системи для птахівництва
by: Шаров С.В., et al.
Published: (2017-05-01)

Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя
by: А. В. Баранцев, et al.
Published: (2009-01-01)

Организация сложных тестовых наборов
by: В. В. Кулямин
Published: (2009-01-01)

Генерация тестов для модулей проверки статической семантики в компиляторах.
by: М.В. Архипова
Published: (2004-01-01)

Автоматическое определение выполнимости наборов формул для операций сравнения.
by: С.В. Зеленов, et al.
Published: (2008-01-01)

Тестирование трансляторов: проблема построения оракула для генератора кода.
by: В.В. Гингина, et al.
Published: (2007-01-01)

Автоматизация тестирования web-приложений, основанных на скриптовых языках.
by: Д.В. Силаков
Published: (2008-01-01)

Комбинаторика слов и построение тестовых последовательностей.
by: В.В. Кулямин
Published: (2004-01-01)

ОПРЕДЕЛЕНИЕ ТЕСТОВЫХ НАБОРОВ ДЛЯ ОБНАРУЖЕНИЯ НЕИСПРАВНОСТЕЙ АДРЕСНЫХ ЛИНИЙ ОЗУ
Published: (2018-10-01)

Славгородская серия графических портретов Григория Густавовича Ликмана (1904–1991)
by: Ковалев, А.В.
Published: (2024-03-01)

Актуальность создания цифрового двойника для управления распределенными центрами сбора, хранения и обработки данных
by: Пряхина, Д.И., et al.
Published: (2023-06-01)

РОЗРОБКА МАТЕМАТИЧНИХ МОДЕЛЕЙ ДЛЯ СТВОРЕННЯ НОВОГО СОРТУ МОРОЗИВА
by: С. В. Котлик, et al.
Published: (2023-06-01)

Обзор инструментов для анализа статистических данных института информационных технологий и анализа данных
by: А. А. Цехмайстер, et al.
Published: (2024-12-01)

Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений.
by: В.А. Семенов, et al.
Published: (2004-01-01)

Верификация компиляторов – систематический подход.
by: С.В. Зеленов, et al.
Published: (2007-01-01)

Розробка та використання сніферу як засобу забезпечення безпеки TCP з’єднань
by: Шаров С.В., et al.
Published: (2017-12-01)

ПРОБЛЕМА ПОЯВЛЕНИЯ ЗЕМЛЕДЕЛИЯ НА ВЕРХНЕЙ ОБИ ПО ДАННЫМ АРХЕОЛОГИИ И ИЗОТОПНОГО АНАЛИЗА
by: Д.В. Папин, et al.
Published: (2018-12-01)

СТРУКТУРА ДИЕТЫ НАСЕЛЕНИЯ АНДРОНОВСКОЙ КУЛЬТУРЫ АЛТАЯ ПО ДАННЫМ ИЗОТОПНОГО АНАЛИЗА (предварительные результаты)
by: Д.В. Папин, et al.
Published: (2020-06-01)

Ляньхуаньхуа «Путешествие на Запад»: знаковые работы в истории китайских графических новелл
by: Чжан, И., et al.
Published: (2025-03-01)

Метод построения цифровых двойников для решения задач эффективного управления и развития распределенных центров сбора, хранения и обработки данных
by: Пряхина, Д.И., et al.
Published: (2023-06-01)

БАЗА ДАННЫХ СЕТИ СЕЙСМИЧЕСКИХ НАБЛЮДЕНИЙ «ВЛАДИКАВКАЗ»
by: В. Б. Заалишвили, et al.
Published: (2015-02-01)

Деякі шляхи покращення системи технічного забезпечення за рахунок визначення моделей її дослідження
by: Лезік О.В., et al.
Published: (2019-05-01)

Сопоставление библиотек для создания моделей машинного обучения на основе методов градиентного бустинга
by: Д. С. Пономарев
Published: (2025-04-01)