06 декабря 2014

Решение современных проблем тестирования встроенного программного обеспечения

Тестирование встроенных систем является трудной задачей, сложность которой еще более возрастает из-за давления сроков и растущей сложности встроенного программного обеспечения. В настоящее время существует три основных варианта обнаружения ошибок при выполнении встроенных приложений: анализ кода, применение статических анализаторов и динамическое тестирование методом проб и ошибок. Анализ кода является трудоемким, а для больших и сложных приложений нередко оказывается непрактичным. Статические анализаторы выявляют относительно небольшое число проблем и, что наиболее важно, оставляют непроверенной большую часть исходного кода. Динамическое тестирование или тестирование по «методу белого ящика» требует от инженеров написания и выполнения множества тестов. Если результаты тестирования оказываются отрицательными, потребуется дополнительное время на поиск причины проблемы путем выполнения неопределенного процесса отладки.

Абстрактная интерпретация предполагает другой подход. Вместо простого обнаружения ошибок проводится автоматическая верификация важных динамических свойств программ, включая проверку на наличие или отсутствие ошибок при выполнении. При этом сочетается детально точный анализ кода и автоматизация, которая обеспечивает раннее обнаружение ошибок и подтверждение надежности кода. При верификации правильности динамических свойств встроенных приложений абстрактная интерпретация отслеживает все возможные поведения программного обеспечения и все возможные изменения входных данных, включая данные о возможных отказах программного обеспечения. Кроме того, проверяется правильность кода и подтверждается его надежность. Используя инструментальные средства тестирования, которые реализуют абстрактную интерпретацию, компании смогут уменьшить расходы и ускорить поставку надежных встроенных систем.

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

Скачать статью полностью можно по ссылке ниже.

Видео
Верификация - просто о сложном
26.11.2019
Публикация
Развитие верификации объектного кода
13.08.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