Возможности статического анализатора Atollic TrueINSPECTOR для повышения качества встраиваемых приложений

Программные приложения

Современные продукты компании Analog Devices., Радиационно-стойкие безлицензионные DC/DC-преобразователи International Rectifier, ...

встраиваемые системы 121 Возможности статического анализатора Atollic TrueINSPECTOR для повышения качества встраиваемых приложений Анна СЕРГЕЕВА annserge@rambler.ru Программные приложения для современных встраиваемых систем содержат более сложный и объемный код, чем это было всего несколько лет назад. <...> А для критичных по безопасности встраиваемых систем это чрезвычайно важный вопрос. <...> Для борьбы с такими проблемами существуют различные, достаточно эффективные стратегии, среди которых метод статического анализа исходного кода и сбора метрик исходного кода. <...> Также приведены используемые на практике инструменты, которые позволяют разработчикам встраиваемых систем выявлять потенциальные проблемы автоматически, а значит, добиваться более высокого качества ПО с минимальными усилиями. <...> С ростом объема кода увеличивается сложность и количество возникающих программных проблем, а это значит, что для более сложного ПО вероятность возникновения ошибок и проблем будет более высокой. <...> Использование специальных автоматизированных инструментов, таких как Atollic TrueSTUDIO [2], предоставляет возможность проведения статического анализа исходного кода и сбора метрик кода. <...> В частности, можно использовать метод статического анализа исходного кода, который является достаточно эффективным и имеет широкое распространение. <...> Данный анализ, как правило, делится на два различных направления: соответствие стандартам кодирования и сбор метрик исходного кода. <...> Большинство инструментов, которые выполняют статический анализ исходного кода, проверяют стиль кодирования на соответствие формальным стандартам (существует множество различных стандартов кодирования, один из самых популярных в отрасли встраиваемых систем в настоящее время — это MISRA-C:2004, он будет подробнее рассмотрен следующем разделе). <...> Подобные стандарты обычно ограничивают программиста в гибкости кодирования и позволяют применять лишь такие конструкции исходного <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт