АНИС

• Введение
• Установка АНИС
  • Программное обеспечение
  • Процедура установки
  • Правила активации расширения
  • Виды рабочих проектов
• Подготовка формальной модели
  • Написание исходных текстов модели
  • Импорт/экспорт модели из Rodin
  • Трансляция модели в Python
  • Нетранслируемые конструкции языка Event-B
  • Структура генерируемого кода на Python
  • Настройка средств тестирования. Проверка аксиом и инвариантов
  • Уточнение констант и несущих множеств
• Интеграция с монитором
  • Настройка среды
  • Загрузка трасс
• Реализация медиатора
  • Интерфейсы классов
  • Пример медиатора с состоянием
• Верификация в АНИС
  • Настройка pytest для верификации
  • Выполнение верификации
  • Отладка
• Отчеты о покрытии модели
  • Сбор покрытия
  • Генерация отчета о покрытии модели
  • Состав отчета о покрытии модели