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

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

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

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

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

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