Главная
Публикации
Инструменты LDRA для верификации ПО: Робастное тестирование

Инструменты LDRA для верификации ПО: Робастное тестирование

11 октября 2016

Четвертое видео демонстрирует проверку модуля на робастность, т.е. устойчивость работы ПО в ненормальных условиях. Демонстрируется работа инструмента TBExtreme.

Сферы: Верификация и валидация

Отправить по email

Верификация - просто о сложном

Публикация

Развитие верификации объектного кода

Публикация

Внедрение стандарта IEC 61508: 2010 с набором инструментов LDRA

Публикация

Верификация бортового ПО согласно DO-178C

Публикация

ISO 26262 a Pain in the ASIL

Новые видео по верификации

Автоматизация верификации Polyspace

История успеха

Korean Air ускоряет разработку и верификацию программного обеспечения для управления БПЛА с помощью модельно-ориентированного проектирования

Передача модели третьим лицам и защита интеллектуальной собственности

Инструменты LDRA для верификации ПО: Автоматизация верификации

Инструменты LDRA для верификации ПО: Создание тестовых векторов в MATLAB

Инструменты LDRA для верификации ПО: Верификация исполняемого объектного кода

Выберите компанию из списка

Новый email