Что такое спецификация семантического интерфейса Ada (ASIS) и как она используется в разработке программного обеспечения?

Спецификация семантического интерфейса Ada (ASIS) — это многоуровневая открытая архитектура, которая обеспечивает независимый от поставщика доступ к библиотечной среде Ada. 1 Она позволяет проводить статический анализ программ и библиотек Ada. 1

ASIS используется в разработке программного обеспечения для упрощения подготовки средств анализа текста приложений на языке Ada. 2 Некоторые из таких инструментов:

• трансляторы; 2
• программы навигации по тексту; 2
• средства контроля стиля кодирования; 2
• инструменты для реструктуризации исходного текста; 2
• генераторы документации; 2
• обратная инженерия; 2
• вычисления различных метрик; 2
• генерация тестовых наборов; 2
• автоматическое доказательство корректности. 2

Приложения, созданные на базе ASIS, могут переноситься не только между платформами, на которых существует ASIS-совместимый компилятор, но и между компиляторами. 2

ASIS — международный стандарт (ISO/IEC 15291: 1995) и предназначен для работы независимо от компилятора. 5