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