13 августа 2019

Билл Сент-Клер из LDRA рассматривает растущую потребность в проверке объектного кода при разработке программного обеспечения. Статья Билла Сент-Клер изначально была опубликована в журнале Automotive Electronics Feb/Mar 2006.

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

Благодаря этому повышенному требованию к тестированию программного обеспечения в различных отраслях, появилась тенденция к тому, что компании выходят за пределы своего собственного рыночного сектора для поиска наилучших методов или стандартов. Примеры такого отраслевого пересечения были замечены в автомобильной и авиационных отраслях промышленности с принятием элементов стандарта DO-178B в первом случае и аналогичным внедрением стандарта MISRA в последнем.

Из-за применения стандартов тестирования из других секторов существует потенциал для незнакомых методов тестирования. Это иллюстрируется, среди прочего, требованиями к верификации объектного кода стандарта DO-178B. Являясь ключевым элементом тестирования многих программ для авионики, она была относительно неиспользуемой техникой вне этой отрасли. 

Возрастающая сложность и критический характер безопасности многих современных встроенных и приложений управления означает, что, когда поставщики, не входящие в состав авиапромышленности, принимают DO-178B, верификация объектного кода является одним из ключевых элементов, который им приходится принять к сведению.

Для детального ознакомления с информацией скачайте материал по ссылке ниже.

Видео
Верификация - просто о сложном
26.11.2019
Публикация
Внедрение стандарта IEC 61508: 2010 с набором инструментов LDRA
13.08.2019
Публикация
ISO 26262 a Pain in the ASIL
12.08.2019
Публикация
Верификация бортового ПО согласно DO-178C
12.08.2019
Видео
Новые видео по верификации
14.03.2018
Видео
Автоматизация верификации Polyspace
20.06.2017
История успеха
Korean Air ускоряет разработку и верификацию программного обеспечения для управления БПЛА с помощью модельно-ориентированного проектирования
22.05.2017
Видео
Передача модели третьим лицам и защита интеллектуальной собственности
04.04.2017
Видео
Инструменты LDRA для верификации ПО: Автоматизация верификации
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Обзор стандартов и трассируемость
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Стандарты кодирования и метрики
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Модульное и функциональное тестирование
11.10.2016