1022 Автоматизация генерации ACSL-спецификаций

Зонтов Юрий Владимирович

руководитель проекта

Старт

15.01.2022

Представление

27.01.2022

Постерная сессия

18.04.2022

Защита

30.01.2023

Паспорт проекта

Аннотация

Проект посвящен изучению языка спецификаций ACSL, разработке программы для автоматической генерации ACSL-спецификаций по коду на языке C. Необходимо рассмотреть три уровня автоматической генерации - на основе анализа списка формальных параметров, на основе библиотеки спецификаций для часто использующихся синтаксических конструкций, на основе анализа синтаксического дерева. ACSL (ANSI-C Specification Language) позволяет добавить к функциям на языке Си подробное описание, которое может быть...

Отрасль

Информатика

Цель

Автоматизация генерации ACSL-спецификаций

Ожидаемые результаты

Первоначальная цель - Создание плагина для Frama-C для автоматической генерации ACSL-спецификаций по коду на языке Си
Уточненная цель - Создание программы на С++ для автоматической генерации ACSL-спецификаций по коду на языке Си, интеграция со смежными проектами