10.03.2014: Центр верификации Linux на Embedded World 2014

Представители нашей команды Вадим Мутилин и Евгений Новиков приняли участие в выставке Embedded World 2014 в рамках стенда Open Source Automation Development Lab. Выставка проходила с 25 по 27 февраля 2014 года в городе Нюрнберг, Германия.

На выставке были представлены инструменты и технологии для верификации и тестирования программного и аппаратного обеспечения. Для верификации модулей ядра Linux были представлены следующие инструменты:

• Linux Driver Verification Tools - система статической верификации модулей ядра ОС Linux.
• Система KEDR, предназначенная для динамического анализа модулей ядра Linux, в том числе драйверов устройств, модулей файловых систем и т.д. Система включает в себя инструменты для выявления утечек памяти и имитации сбоев.
• Race Hound – инструмент, позволяющий обнаружить состояние гонки в ядре Linux.
• Проект Linux File System Verification, нацеленный на разработку систематического набора тестов для реализаций файловых систем Linux.

Для тестирования моделей аппаратуры были представлены:

• C++TESK – инструмент с открытым кодом, предназначенный для непосредственного использования в процессе верификации моделей аппаратуры.
• MicroTESK – генератор тестовых программ на основе моделей для микропроцессоров и других программируемых устройств с изменяемой конфигурацией (перенастраиваемой и расширяемой).

Также были продемонстрировали следующие наборы тестов:

• Тестовый набор для API операционных систем реального времени, построенных в соответствии со стандартом ARINC-653.
• Тестовый набор «Математика», предназначенный для тщательного тестирования математических функций, входящих в программный интерфейс стандартов POSIX/IEEE-754/ISO 60559:2011.
• Сертификационные тестовые наборы LSB, предназначенные для проверки соответствия системных библиотек требованиям стандарта Linux Standard Base.