Проверьте все версии спецификации стандартной библиотеки C.

285

«Основываясь на опыте использования SuperGuard в проектах квалификации библиотек, а также на отзывах пользователей, обновление включает в себя множество дополнительных функций», — говорится в сообщении компании.

К ним относятся 200 дополнительных тестов для улучшения охвата кода, расширения тестовых файлов и поддержки стандартов C11 и C18, «таким образом, что SuperGuard теперь может обрабатывать весь спектр версий стандартной библиотеки C», утверждается в нем.

Его генератор отчетов теперь также может создавать отчеты для автономного подмножества стандартной библиотеки C.


Инструмент предназначен для того, чтобы предложить разработчикам критически важных для безопасности приложений способ аттестации библиотек и обеспечить прослеживаемость от результатов отдельных тестов до требований, вытекающих из спецификации языка ISO C, заявили в Solid Sands. Его можно использовать для оценки немодифицированных реализаций сторонних библиотек C, а также самостоятельно разработанных или самообслуживаемых реализаций.

Требования основаны?

Он обеспечивает разбивку спецификации библиотеки ISO C на требования, которым должна соответствовать реализация библиотеки. Эти требования связаны со спецификациями тестов, которые описывают, как тест проверяет требования. В свою очередь, спецификация теста связана с тестами в SuperGuard. «Таким образом создается подробный путь от спецификации к тестам, который легко понять и проверить», — заявили в компании.

Компания Solid Sands, базирующаяся в Амстердаме и основанная в 2014 году, позиционирует себя как универсальный магазин компиляторов C и C++ и услуг по тестированию, проверке и обеспечению безопасности.