Просмотр исходного текста страницы Применение статического анализа кода в преподавании и в разработке свободного ПО (Георгий Грибков, OSEDUCONF-2020)

;{{SpeakerInfo}}: {{Speaker|Георгий Грибков}}
<blockquote>
В своём докладе я расскажу, как использование статического анализа может помочь преподавателям и студентам обучать и
обучаться. Также я расскажу, как именно стоит наладить процесс анализа для использования в студенческих проектах
разработки СПО, чтобы удовлетворить специфике работы в рамках учебного заведения.

Статический анализ – технология, в последнее время быстро набирающая популярность. Современные анализаторы представляют
собой сложные программы, давно вышедшие за рамки lint’еров и регулярных выражений. В них используются такие технологии,
как сопоставление с шаблоном, анализ потока данных, символьное выполнение и многие другие, поэтому статический анализ
способен покрывать практически все области современных языков программирования.

Благодаря этому использование статического анализа является полезным инструментом для использования в учебном процессе.
Например, преподаватель может проверять анализатором лабораторные и курсовые работы студентов, что позволяет легче
проверить их на наличие ошибок. Студенты, которые только учатся программировать (и, что естественно, допускают большее
количество ошибок), могут проверять анализатором свои работы, тем самым подробнее знакомясь с тонкими местами языка.

Преподаватель может дать своим студентам задание использовать статический анализатор при выполнении своей работы. Такие
студенты будут уметь использовать статический анализ еще до окончания учебного заведения. Так как эта методология
активно набирает популярность, сейчас всё чаще и чаще можно увидеть в предложениях о работе пункт «опыт работы с
анализаторами кода». Следовательно, использование статического анализа при обучении может повысить стоимость
выпускников на рынке труда.

Польза статического анализа для разработчиков открытого или свободного программного обеспечения соразмерна пользе для
разработчиков коммерческих проектов. Программисты – люди, и им свойственно допускать ошибки, независимо от
разрабатываемого проекта. Тем не менее, разработка СПО имеет свою специфику. В своём докладе я также расскажу, как
стоит использовать статические анализаторы кода при разработке свободного программного обеспечения.
</blockquote>

{{VideoSection}}
{{vimeoembed|408664570|800|450}}
{{youtubelink|}}

{{SlidesSection}}
[[File:Применение статического анализа кода в преподавании и в разработке свободного ПО (Георгий Грибков, OSEDUCONF-2020).pdf|left|page=-|300px]]

{{----}}

== Thesis ==

{{----}}
[[File:{{#setmainimage:Применение статического анализа кода в преподавании и в разработке свободного ПО (Георгий Грибков, OSEDUCONF-2020)!.jpg}}|center|640px]]
{{LinksSection}}
<!-- <blockquote>[©]</blockquote> -->

<references/>

[[Категория:OSEDUCONF-2020]]
[[Категория:Статический анализ кода]]
{{stats|disqus_comments=0|refresh_time=2020-07-19T00:05:11.103738|vimeo_plays=1|youtube_plays=0}}