Персональные инструменты
 

Устаревание стандартов кодирования и статический анализ кода (Андрей Карпов на ADD-2010)

Материал из CustisWiki

Версия от 18:00, 18 апреля 2011; StasFomin (обсуждение | вклад)

Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.
Перейти к: навигация, поиск

Аннотация

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

Многие относятся к статическому анализу как к устаревшему и не актуальному методу. Действительно, существует ряд моментов, из-за которых кажется, что статический анализ приносил пользу раньше, когда средства разработки были намного менее функциональны. Однако если отбросить устаревшее, то оказывается, что методология статического анализа по-прежнему позволят существенно сократить цену устранения многих дефектов, за счет их обнаружения еще на стадии конструирования (кодирования). Более того, развитие языков, появление таких технологий программирования как OpenMP, увеличение среднего размера проекта делают применение статических анализаторов все более привлекательным для контроля качества проекта.

Видео

Видео в HD-качестве, смотрите в полноэкранном режиме.

HTML-код включения <iframe src="http://player.vimeo.com/video/17930131?byline=0&portrait=0" width="720" height="405" frameborder="0"></iframe>


Подкаст

Презентация

Устаревание стандартов кодирования и статический анализ кода (Андрей Карпов на ADD-2010).pdf


Примечания



Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».


Репликация: База Знаний «Заказных Информ Систем» → «Устаревание стандартов кодирования и статический анализ кода (Андрей Карпов на ADD-2010)»