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

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

Материал из CustisWiki

Перейти к: навигация, поиск
м
Строка 30: Строка 30:
 
{{replicate-from-custiswiki-to-lib}}
 
{{replicate-from-custiswiki-to-lib}}
 
[[Категория:ADD-2010]]
 
[[Категория:ADD-2010]]
 +
[[Категория: Программирование (доклады)]]

Версия 18:59, 10 октября 2011

Аннотация

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

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

Видео


Подкаст

Презентация

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


Примечания



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

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