CSEDays. Application 2010

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

News subscription
Share:

Reviews

Из этой школы я вынес для себя много интересной и полезной информации. До участия в ней я знал о вопросах надежности ПО (как оказалось) совсем немного: динамические методы тестирования и немного про верификацию программ. Благодаря участию в школе я значительно расширил свой кругозор.
Рамиль Гараев / CSEDays. Application 2010
Home / CSEDays Application 2010 / Ицыксон Владимир /

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

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

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

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

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

>

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