CSEDays. Application 2010

База отдыха "Иволга", Екатеринбург, 12-14 ноября

News subscription
Share:

Reviews

Самыми эффективными и полезными для меня стали доклады, которые кроме теоретической информации содержали и практические примеры.
- / CSEDays. Application 2010
Home / CSEDays Application 2010 / Ицыксон Владимир /

Обеспечение качества программных систем с помощью статических методов

Author: Ицыксон Владимир Михайлович

В курсе рассматривается понятие качества программного обеспечения, характеристики качества. Основное внимание уделяется программным ошибкам, являющимся основной причиной низкого качества ПО. Анализируются основные методы обеспечения качества программных систем, показываются их достоинства и недостатки.

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

Посмотреть презентацию

>

Посмотреть видео лекции