Астрé автоматически анализирует программы, написанные на языке C или C++, и находит в них все ошибки времени исполнения, либо же формально доказывает отсутствие таковых.
Анализатор Астрé исследует текст программы и обнаруживает потенциальные ошибки времени исполнения (run-time errors), в том числе:
- деление на ноль,
- выход индекса массива за пределы,
- нулевые, неинициализированные и повисшие указатели,
- арифметические переполнения (целочисленные и с плавающей точкой),
- чтение неинициализированных переменных,
- состязания за данные при доступе из параллельно исполняющихся потоков,
- некорректные вызовы стандартных системных сервисов ARINC 653, OSEK, AUTOSAR
- и др.
Астрé способен анализировать сотни тысяч строк программного кода за десятки минут без «ложных тревог».
Активно поддерживается интеграция с Jenkins, Eclipse и TargetLink, а также с другими статическими анализаторами Абсинта (например, с айТи для анализа максимального времени выполнения или со СтекАналайзером для статического анализа стека).
Астрé используется более десяти лет в авиационных и космических проектах, автомобильной промышленности и атомной энергетике.
Кто пользуется Астрé?
Аэробус — при разработке систем управления полётом нескольких семейств самолетов, в том числе крупнейшего в мире авиалайнера A380.
Фраматом — для верификации своей системы управления ядерными реакторами.
ЕКА — для доказательства отсутствия ошибок времени выполнения в системе автоматической стыковки грузового космического корабля «Жюль Верн», впоследствии успешно доставившего полезные грузы на МКС.
Бош — в процессе разработки и верификации ПО автомобильных систем, в частности, систем рулевого управления.
Поддержка квалификации
Использование Астрé для статического тестирования вашего ПО соответствует нормам ISO 26262, IEC-61508, EN-50128, DO-178B и DO-178C (вплоть до Уровня A). Квалификацию по этим нормам можно значительно ускорить и автоматизировать с помощью наших Пакетов Поддержки Квалификации.
Дистрибутор в России
АВД Системы, Москва
(916) 194-42-71, avdsys@aha.ru
