«Основываясь на опыте использования SuperGuard в проектах квалификации библиотек, а также на отзывах пользователей, обновление включает в себя множество дополнительных функций», — говорится в сообщении компании.
К ним относятся 200 дополнительных тестов для улучшения охвата кода, расширения тестовых файлов и поддержки стандартов C11 и C18, «таким образом, что SuperGuard теперь может обрабатывать весь спектр версий стандартной библиотеки C», утверждается в нем.
Его генератор отчетов теперь также может создавать отчеты для автономного подмножества стандартной библиотеки C.
Инструмент предназначен для того, чтобы предложить разработчикам критически важных для безопасности приложений способ аттестации библиотек и обеспечить прослеживаемость от результатов отдельных тестов до требований, вытекающих из спецификации языка ISO C, заявили в Solid Sands. Его можно использовать для оценки немодифицированных реализаций сторонних библиотек C, а также самостоятельно разработанных или самообслуживаемых реализаций.
Требования основаны?
Он обеспечивает разбивку спецификации библиотеки ISO C на требования, которым должна соответствовать реализация библиотеки. Эти требования связаны со спецификациями тестов, которые описывают, как тест проверяет требования. В свою очередь, спецификация теста связана с тестами в SuperGuard. «Таким образом создается подробный путь от спецификации к тестам, который легко понять и проверить», — заявили в компании.
Компания Solid Sands, базирующаяся в Амстердаме и основанная в 2014 году, позиционирует себя как универсальный магазин компиляторов C и C++ и услуг по тестированию, проверке и обеспечению безопасности.