2274 Проект ИСП РАН: Разработка модульных тестов на Java для инструмента MicroTESK

Камкин Александр Сергеевич

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

Старт

16.10.2025

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

05.11.2025 – 19.11.2025

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

26.01.2026 – 06.02.2026

Защита

06.04.2026 – 17.04.2026

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

Аннотация

Инструмент MicroTESK является реконфигурируемым генератором тестовых программ на основе моделей для микропроцессоров и виртуальных машин. Инструмент реализован на языке Java. В ядре инструмента описаны генераторы данных и структурные генераторы. Несмотря на активное применение инструмента, не для всего кода проекта существуют модульные тесты, что не соответствует ГОСТ Р 56939– 2024 и ГОСТ 34.603-92. При создании модульных тестов предлагается исследовать современные практики их создания.

Отрасль

Информатика

Цель

Разработать модульные тесты на языке Java для покрытия кода инструмента MicroTESK.

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

Обзор современных автоматизированных подходов создания модульных тестов для ПО.
Статистика по покрытию кода проекта тестами.
Статистика по покрытию кода новыми тестами.
Модульные тесты на языке Java.
Тезисы и статьи:
- Поданные и принятые тезисы на «Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского».
- Статья и выступление на конференции SYRCoSE (http://syrcose.ispras.ru/)

Форма и способы промежуточного контроля

* Еженедельные совещания (Zoom). * Еженедельные отчеты.

Форма представления результатов

* Отчеты о покрытии. * Демонстрация работы. * Модульные тесты на Java. * Документация по работе с использованными инструментами. * Тезисы и статья, содержащие обзор современных автоматизированных подходов создания модульных тестов, опыт их применения для инструмента MicroTESK и выводы.