Курс по статическому анализу

Андрей Карпов
Статей: 385


Некоторое время назад, мы общались с компанией ТЕКАМА на тему разработки для них курса по статическому анализу кода для одного из их корпоративных клиентов. К сожалению, проект не был реализован, но мы по-прежнему готовы выполнить разработку теоретических и практических курсов в данной области. Если вас интересуют курсы в области качества программного обеспечения и верификации кода - пишите нам, мы уверены, что сможем найти совместные интересы.

Чтобы лучше пояснить, что могут содержать эти курсы, приведем краткое содержание двух курсов, которые мы планировали разработать для компании ТЕКАМА. Первый курс теоретический, второй - практический.

Первая часть курса носит теоретический характер и должна познакомить слушателей с методологией статического анализа и принципами, лежащими в ее основе. Курс ориентирован на разработчиков использующих языки программирования Си/Си++ в рамках среды Visual Studio 2008. Но в нем рассматривается множество вопросов теоретического характера, таких как оценка стоимости программного проекта, виды метрик, что может быть интересно разработчикам использующих любые среды разработки.

Вторая часть курса носит практический характер и должна познакомить слушателей с рядом инструментов статического анализа, методикой их использования в работе. Курс ориентирован на разработчиков использующих языки программирования Си/Си++ в рамках среды Visual Studio 2008. В рамках второй части курса можно рассмотреть возможность использование практических занятий по знакомству с инструментами. Мы как авторы курса можем бесплатно предоставить инструменты Viva64 и VivaMP для знакомства с принципами работы статических анализаторов. Если интересно рассмотреть практические занятия на базе других инструментов, то следует обсудить это отдельно и обсудить размер бюджета на их приобретение.



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;

Андрей Карпов
Статей: 385


Найденные ошибки

Проверено проектов
377
Собрано ошибок
13 692

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;