Оценка покрытия кода при статическом анализе (Павел Андрианов, OSSDEVCONF-2013) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+(\n) with \2) |
||
(не показано 15 промежуточных версий этого же участника) | |||
== Видео == {{vimeoembed|75430895|800|500}} {{youtubelink|ahDrFXgWJE0}}{{letscomment}} <!-- pollholder --> == Слайды == [[File:Оценка покрытия кода при статическом анализе (Павел Андрианов, OSSDEVCONF-2013).pdf|left|page=-|256px]] {{----}} == Примечания и отзывы == <!-- <blockquote>[©]</blockquote> --> <references/> [[Category:OSSDEVCONF-2013]] [[Category:Open-source projects]] [[Category:Верификация]] [[Category:Статический анализ кода]] <!-- topub --> {{stats|disqus_comments=1|refresh_time=2018-10-19T21:45:562021-08-31T17:48:35.209435092|vimeo_comments=0|vimeo_plays=19|youtube_comments=0|youtube_plays=7}}11}} |
Текущая версия на 12:22, 4 сентября 2021
Содержание
Аннотация
- Докладчик
- Павел Андрианов
При динамическом анализе программ всегда возникает вопрос об оценке качества проведенного тестирования. Одним из широко применяемых подходов его оценки является измерение покрытия кода.
Для статического анализа покрытие кода обычно считается стопроцентным. Однако, в действительности это оказывается не всегда так. В докладе рассматриваются причины возникновения такой проблемы и описывается подход к оценке покрытия кода, который был реализован в инструменте адаптивного статического анализа CPAchecker.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Слайды
Примечания и отзывы
Plays:30 Comments:1