Генерация тестов для модулей проверки статической семантики в компиляторах.

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

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Author:	М.В. Архипова
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2004-01-01
Online Access:	https://www.ispras.ru/en/proceedings/isp_2004_8_1/isp_2004_8_1_59/

Similar Items

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

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

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

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

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

АКТУАЛИЗАЦИЯ ТАКСИСНОЙ СЕМАНТИКИ ДИСТАНТНОЙ РАЗНОВРЕМЕННОСТИ
by: Ирина Викторовна Архипова
Published: (2022-04-01)

О когомологии простых ограниченных модулей для алгебраических групп
by: Sh.Sh. Ibraev
Published: (2017-03-01)

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

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

Инструментальное средство проверки безопасности кода, предназначенного для исполнения в Грид-сетях
by: А. А. Станкевичус
Published: (2009-03-01)

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

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

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

Об одной статической модели прогноза голосования
by: E. N. Belyaeva, et al.
Published: (2019-07-01)

Оценка эффективности и качества программных модулей в АСУП
by: И. Засас
Published: (1984-12-01)

Приоритезация тестов в регрессивном тестировании
by: A. G. Malishevsky
Published: (2019-01-01)

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

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

Влияние океанического притока в Баренцевом море на региональные изменения статической устойчивости атмосферы
Published: (2019-12-01)

Реализация операций в конечних полях на одномерном каскаде конструктивных модулей
by: V. P. Tarasenko, et al.
Published: (2019-04-01)

Метод проверки линеаризуемости многопоточных Java программ
by: В.С. Мутилин
Published: (2009-01-01)

КОНЦЕПТИВНА ПРОЕКЦІЯ СЕМАНТИКИ
by: А.М. Приходько
Published: (2014-11-01)

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

АКТАНТНА СПРЯМОВАНІСТЬ СЕМАНТИКИ ДІЄСЛІВНИХ СУФІКСІВ В УКРАЇНСЬКІЙ МОВІ
by: Н.В. Лахно
Published: (2017-10-01)

О третьих когомологиях простых SL2-модулей
by: Sh.Sh. Ibraуev
Published: (2015-03-01)

Технология Azov автоматизации массового создания тестов работоспособности.
by: Р.С. Зыбин, et al.
Published: (2008-01-01)

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

Виртуальный интерактивный тренажер «Проверки противогаза»
by: Людмила Ивановна Буякевич, et al.
Published: (2023-08-01)

ВСТРОЕННАЯ АППАРАТУРА НЕРАЗРУШАЮЩЕГО САМОТЕСТИРОВАНИЯ ДЛЯ СХЕМ ОЗУ НА ОСНОВЕ ЛОКАЛЬНО-СИММЕТРИЧНЫХ ТЕСТОВ
Published: (2019-01-01)

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

ОСОБЛИВОСТІ АКТАНТНОГО РОЗПОДІЛУ СЕМАНТИКИ АБСОЛЮТИВІВ
by: Н.В Лахно
Published: (2016-12-01)

Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754
by: А.C. Камкин, et al.
Published: (2008-01-01)

РАЗРАБОТКА И АПРОБАЦИЯ КОМПЛЕКСА ТЕСТОВ ДЛЯ ОЦЕНКИ ЭФФЕКТИВНОСТИ РЕАЛИЗАЦИИ СПОРТИВНОГО ТУРИЗМА В РАМКАХ ВАРИАТИВНОЙ ЧАСТИ ПРОГРАММЫ ФИЗИЧЕСКОЙ КУЛЬТУРЫ
by: Киселев Владимир Анатольевич
Published: (2025-09-01)

Подход UniTesK к разработке тестов: достижения и перспективы.
by: A.В. Баранцев, et al.
Published: (2004-01-01)

Эквивалентные семантики взаимодействия.
by: И.Б. Бурдонов, et al.
Published: (2008-01-01)

T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов.
by: В.В. Рубанов, et al.
Published: (2008-01-01)

Сравнительная характеристика тестов для определения уровня эмоционального интеллекта (EQ) согласно теориям Холла и Люсина
by: Александр Владимирович Жмай, et al.
Published: (2018-01-01)

Модель архитектуры ИТ-решений: создание, генерация решений
by: А. С. Дулесов, et al.
Published: (2024-04-01)

МНОГОЗНАЧНОСТЬ КЛАССА ЧИСЛИТЕЛЬНЫХ В СВЕТЕ СЕМАНТИКИ ЛИНГВАЛЬНЫХ СЕТЕЙ
by: С.А. Жаботинская
Published: (2014-11-01)

Позначення семантики градації ознаки в сучасній турецькій мові
by: Сергій Сорокін, et al.
Published: (2023-12-01)