Презентация Статический анализ кода Карпов Андрей Николаевич к. ф. -м. н. , MVP, технический директор ООО «СиПроВер» Сайт: www. viva64. com E-Mail: karpovviva64. com онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Статический анализ кода Карпов Андрей Николаевич к. ф. -м. н. , MVP, технический директор ООО «СиПроВер» Сайт: www. viva64. com E-Mail: karpovviva64. com абсолютно бесплатно. Урок-презентация на эту тему содержит всего 42 слайда. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:42 слайда
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:1.05 MB
- Просмотров:41
- Скачиваний:1
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: Статический анализ кода
Карпов Андрей Николаевич
к.ф.-м.н., MVP,
технический директор
ООО «СиПроВер»
Сайт: www.viva64.com
E-Mail: karpov@viva64.com
№2 слайд
Содержание слайда: Методы повышения качества кода
Доказательство корректности программы
Обзоры кода
Юнит-тесты (TDD)
Регрессионное тестирование
Анализ покрытия различных путей выполенения
Динамический анализ
Статический анализ
Ручное тестирование
Нагрузочное тестирование
…
№3 слайд
Содержание слайда: Чем раньше – тем лучше
№4 слайд
Содержание слайда: Что такое статический анализ кода
№5 слайд
Содержание слайда: Инструменты статического анализа
Cppcheck — бесплатный;
Статический анализ входящий в Visual Studio;
Статический анализ входящий в Intel Parallel Studio;
PC-Lint — $389 за одну лицензию или $3500 – за 10, неограниченно по времени;
PVS-Studio — €3500 за 5 лицензий, год использования;
Klocwork — €30000 за пакет «сервер + 20 клиентов» за год использования;
Coverity — дорого.
№6 слайд
Содержание слайда: Дорого… Почему не только TDD?
в тестах тоже можно ошибиться;
проверка мест, редко получающих управление;
обнаружение плавающих ошибок (undefined behavior, гейзенбаги);
не на все варианты кода можно написать юнит-тест:
сложные счетные алгоритмы;
большой объем потребляемой памяти;
пользовательский интерфейс;
другое.
№7 слайд
Содержание слайда: В тестах тоже можно ошибиться
№8 слайд
Содержание слайда: Проверка мест, редко получающих управление
№9 слайд
Содержание слайда: Обнаружение плавающих ошибок (undefined behavior, гейзенбаги)
№10 слайд
Содержание слайда: Не на все варианты кода можно написать юнит-тест: сложные счетные алгоритмы
Примеры:
Численное моделирование
Статический анализ кода
№11 слайд
Содержание слайда: Не на все варианты кода можно написать юнит-тест: большой объем потребляемой памяти
№12 слайд
Содержание слайда:
№13 слайд
Содержание слайда: Не на все варианты кода можно написать юнит-тест: пользовательский интерфейс
№14 слайд
Содержание слайда: Не на все варианты кода можно написать юнит-тест: другое
№15 слайд
Содержание слайда: Игра – найди ошибку!
№16 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N1.
(Пока вы ещё не устали. А анализатор не устаёт!)
№17 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N1.
(Пока вы ещё не устали. А анализатор не устаёт!)
№18 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N2.
№19 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N2.
№20 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N3.
№21 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N3.
№22 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N4.
№23 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N4.
№24 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N5.
№25 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N5.
№26 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N6.
№27 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N6.
№28 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N7.
№29 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N7.
№30 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N8.
№31 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N8.
№32 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N9.
№33 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N9.
№34 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N10.
№35 слайд
Содержание слайда: Попробуйте найти ошибку. Задача N10.
№36 слайд
Содержание слайда: Мифы о статическом анализе
статический анализатор это продукт разового применения;
профессиональные разработчики не допускают глупых ошибок;
динамический анализ лучше чем статический;
можно составить маленькую программу, чтобы оценить инструмент.
№37 слайд
Содержание слайда: Миф: статический анализатор это продукт разового применения
«я проверил и нашел мало ошибок»;
аналогия с предупреждениями компилятора;
ROI;
№38 слайд
Содержание слайда: Миф: профессиональные разработчики не допускают глупых ошибок
№39 слайд
Содержание слайда: Миф: динамический анализ лучше чем статический (или valgrind спасёт мир)
№40 слайд
Содержание слайда: Миф: можно составить маленькую программу, чтобы оценить инструмент
№41 слайд
Содержание слайда: Выводы
Си++ живее всех живых и надо как-то справляться с проектами;
Статический анализ всё актуальнее, так как размеры программ растут.
№42 слайд
Содержание слайда: Дополнительная информация
Анализатор PVS-Studio:
http://www.viva64.com/ru/pvs-studio/
Twitter: https://twitter.com/Code_Analysis
E-Mail: karpov@viva64.com
Тел.: +7 (4872) 38-59-95 (GMT + 03:00)
Скачать все slide презентации Статический анализ кода Карпов Андрей Николаевич к. ф. -м. н. , MVP, технический директор ООО «СиПроВер» Сайт: www. viva64. com E-Mail: karpovviva64. com одним архивом:
