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