Главная » Все файлы » Просмотр файлов из архивов » PDF-файлы » Лекция 7. Статический анализ

Лекция 7. Статический анализ (Лекции), страница 2

PDF-файл Лекция 7. Статический анализ (Лекции), страница 2, который располагается в категории "лекции и семинары" в предмете "надёжность программного обеспечения" изседьмого семестра. Лекция 7. Статический анализ (Лекции), страница 2 - СтудИзба 2019-09-18 СтудИзба

Описание файла

Файл "Лекция 7. Статический анализ" внутри архива находится в папке "Лекции". PDF-файл из архива "Лекции", который расположен в категории "лекции и семинары". Всё это находится в предмете "надёжность программного обеспечения" из седьмого семестра, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .

Просмотр PDF-файла онлайн

Текст 2 страницы из PDF

Резюме• Достоинства статического анализа– Возможность полного обнаружения дефектовопределенного класса– Полная автоматизация процесса обнаружения• Недостатки статического анализа– Наличие ложных обнаружений (false positives)– Высокая ресурсоемкость– Невозможность обнаружения функциональныхошибок4646Место статического анализа•Собственно статический анализ можетиспользоваться––••В составе сред разработки для оперативной проверкипрограммВ системах Continuous integration для постоянного контролякачества кода и своевременного обнаружения дефектовСтатический анализ не заменяет тестирование, адополняет егоХорошая практика - использованиеавтоматизированного тестирования вместе состатическим анализом474748Другие статические методы• Инспекции– Формальные инспекции– Аудит кода– Парное программирование• Дедуктивная верификация• Model Checking48Применение различныхметодов обеспечения качестваХар-ка качестваПроблемаОбеспечение качества1 ФункциональностьФункциональныеошибки, несоответствиеспецификацииТестированиеВерификация2 НадежностьНизкая надежностьНаличие уязвимостейСтатический анализТестирование3 ПрактичностьСложность использованияТестирование4 ЭффективностьПроблемы спроизводительностью,ресурсамиТестированиеПрофилированиеДинамический/статическийанализ5 СопровождаемостьСложность сопровождения,модификацииРефакторингДокументирование6 МобильностьНесоответствие стандартам,Сложность адаптацииАудит, рефакторингСтатический анализ4949Спасибо за внимание!50.

Свежие статьи
Популярно сейчас