🗊Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com

Категория: Технологии
Нажмите для полного просмотра!
Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №1Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №2Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №3Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №4Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №5Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №6Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №7Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №8Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №9Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №10Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №11Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №12Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №13Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №14Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №15Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №16Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №17Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №18Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №19Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №20Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №21Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №22Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №23Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №24Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №25Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №26Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №27Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №28Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №29Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №30Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №31Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №32Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №33Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №34Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №35Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №36Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №37Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №38Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №39Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №40Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №41Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №42
Скачать

Содержание ▲

Вы можете ознакомиться и скачать Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com. Презентация содержит 42 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com
Описание слайда:
Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com

Слайд 2


Методы повышения качества кода Доказательство корректности программы Обзоры кода Юнит-тесты (TDD) Регрессионное тестирование Анализ покрытия различных путей выполенения Динамический анализ Статический анализ Ручное тестирование Нагрузочное тестирование …
Описание слайда:
Методы повышения качества кода Доказательство корректности программы Обзоры кода Юнит-тесты (TDD) Регрессионное тестирование Анализ покрытия различных путей выполенения Динамический анализ Статический анализ Ручное тестирование Нагрузочное тестирование …

Слайд 3


Чем раньше – тем лучше
Описание слайда:
Чем раньше – тем лучше

Слайд 4


Что такое статический анализ кода
Описание слайда:
Что такое статический анализ кода

Слайд 5


Инструменты статического анализа Cppcheck — бесплатный; Статический анализ входящий в Visual Studio; Статический анализ входящий в Intel Parallel Studio; PC-Lint — $389 за одну лицензию или $3500 – за 10, неограниченно по времени; PVS-Studio — €3500 за 5 лицензий, год использования; Klocwork — €30000 за пакет «сервер + 20 клиентов» за год использования; Coverity — дорого.
Описание слайда:
Инструменты статического анализа Cppcheck — бесплатный; Статический анализ входящий в Visual Studio; Статический анализ входящий в Intel Parallel Studio; PC-Lint — $389 за одну лицензию или $3500 – за 10, неограниченно по времени; PVS-Studio — €3500 за 5 лицензий, год использования; Klocwork — €30000 за пакет «сервер + 20 клиентов» за год использования; Coverity — дорого.

Слайд 6


Дорого… Почему не только TDD? в тестах тоже можно ошибиться; проверка мест, редко получающих управление; обнаружение плавающих ошибок (undefined behavior, гейзенбаги); не на все варианты кода можно написать юнит-тест: сложные счетные алгоритмы; большой объем потребляемой памяти; пользовательский интерфейс; другое.
Описание слайда:
Дорого… Почему не только TDD? в тестах тоже можно ошибиться; проверка мест, редко получающих управление; обнаружение плавающих ошибок (undefined behavior, гейзенбаги); не на все варианты кода можно написать юнит-тест: сложные счетные алгоритмы; большой объем потребляемой памяти; пользовательский интерфейс; другое.

Слайд 7


В тестах тоже можно ошибиться
Описание слайда:
В тестах тоже можно ошибиться

Слайд 8


Проверка мест, редко получающих управление
Описание слайда:
Проверка мест, редко получающих управление

Слайд 9


Обнаружение плавающих ошибок (undefined behavior, гейзенбаги)
Описание слайда:
Обнаружение плавающих ошибок (undefined behavior, гейзенбаги)

Слайд 10


Не на все варианты кода можно написать юнит-тест: сложные счетные алгоритмы Примеры: Численное моделирование Статический анализ кода
Описание слайда:
Не на все варианты кода можно написать юнит-тест: сложные счетные алгоритмы Примеры: Численное моделирование Статический анализ кода

Слайд 11


Не на все варианты кода можно написать юнит-тест: большой объем потребляемой памяти
Описание слайда:
Не на все варианты кода можно написать юнит-тест: большой объем потребляемой памяти

Слайд 12


Статический анализ кода Карпов Андрей Николаевич к.ф.-м.н., MVP, технический директор ООО «СиПроВер» Сайт: www.viva64.com E-Mail: karpov@viva64.com, слайд №12
Описание слайда:

Слайд 13


Не на все варианты кода можно написать юнит-тест: пользовательский интерфейс
Описание слайда:
Не на все варианты кода можно написать юнит-тест: пользовательский интерфейс

Слайд 14


Не на все варианты кода можно написать юнит-тест: другое
Описание слайда:
Не на все варианты кода можно написать юнит-тест: другое

Слайд 15


Игра – найди ошибку!
Описание слайда:
Игра – найди ошибку!

Слайд 16


Попробуйте найти ошибку. Задача N1. (Пока вы ещё не устали. А анализатор не устаёт!)
Описание слайда:
Попробуйте найти ошибку. Задача N1. (Пока вы ещё не устали. А анализатор не устаёт!)

Слайд 17


Попробуйте найти ошибку. Задача N1. (Пока вы ещё не устали. А анализатор не устаёт!)
Описание слайда:
Попробуйте найти ошибку. Задача N1. (Пока вы ещё не устали. А анализатор не устаёт!)

Слайд 18


Попробуйте найти ошибку. Задача N2.
Описание слайда:
Попробуйте найти ошибку. Задача N2.

Слайд 19


Попробуйте найти ошибку. Задача N2.
Описание слайда:
Попробуйте найти ошибку. Задача N2.

Слайд 20


Попробуйте найти ошибку. Задача N3.
Описание слайда:
Попробуйте найти ошибку. Задача N3.

Слайд 21


Попробуйте найти ошибку. Задача N3.
Описание слайда:
Попробуйте найти ошибку. Задача N3.

Слайд 22


Попробуйте найти ошибку. Задача N4.
Описание слайда:
Попробуйте найти ошибку. Задача N4.

Слайд 23


Попробуйте найти ошибку. Задача N4.
Описание слайда:
Попробуйте найти ошибку. Задача N4.

Слайд 24


Попробуйте найти ошибку. Задача N5.
Описание слайда:
Попробуйте найти ошибку. Задача N5.

Слайд 25


Попробуйте найти ошибку. Задача N5.
Описание слайда:
Попробуйте найти ошибку. Задача N5.

Слайд 26


Попробуйте найти ошибку. Задача N6.
Описание слайда:
Попробуйте найти ошибку. Задача N6.

Слайд 27


Попробуйте найти ошибку. Задача N6.
Описание слайда:
Попробуйте найти ошибку. Задача N6.

Слайд 28


Попробуйте найти ошибку. Задача N7.
Описание слайда:
Попробуйте найти ошибку. Задача N7.

Слайд 29


Попробуйте найти ошибку. Задача N7.
Описание слайда:
Попробуйте найти ошибку. Задача N7.

Слайд 30


Попробуйте найти ошибку. Задача N8.
Описание слайда:
Попробуйте найти ошибку. Задача N8.

Слайд 31


Попробуйте найти ошибку. Задача N8.
Описание слайда:
Попробуйте найти ошибку. Задача N8.

Слайд 32


Попробуйте найти ошибку. Задача N9.
Описание слайда:
Попробуйте найти ошибку. Задача N9.

Слайд 33


Попробуйте найти ошибку. Задача N9.
Описание слайда:
Попробуйте найти ошибку. Задача N9.

Слайд 34


Попробуйте найти ошибку. Задача N10.
Описание слайда:
Попробуйте найти ошибку. Задача N10.

Слайд 35


Попробуйте найти ошибку. Задача N10.
Описание слайда:
Попробуйте найти ошибку. Задача N10.

Слайд 36


Мифы о статическом анализе статический анализатор это продукт разового применения; профессиональные разработчики не допускают глупых ошибок; динамический анализ лучше чем статический; можно составить маленькую программу, чтобы оценить инструмент.
Описание слайда:
Мифы о статическом анализе статический анализатор это продукт разового применения; профессиональные разработчики не допускают глупых ошибок; динамический анализ лучше чем статический; можно составить маленькую программу, чтобы оценить инструмент.

Слайд 37


Миф: статический анализатор это продукт разового применения «я проверил и нашел мало ошибок»; аналогия с предупреждениями компилятора; ROI;
Описание слайда:
Миф: статический анализатор это продукт разового применения «я проверил и нашел мало ошибок»; аналогия с предупреждениями компилятора; ROI;

Слайд 38


Миф: профессиональные разработчики не допускают глупых ошибок
Описание слайда:
Миф: профессиональные разработчики не допускают глупых ошибок

Слайд 39


Миф: динамический анализ лучше чем статический (или valgrind спасёт мир)
Описание слайда:
Миф: динамический анализ лучше чем статический (или 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)
Описание слайда:
Дополнительная информация Анализатор 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)

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию