Методы контроля программ

Лекция №14 » Статический анализ кода

1. Обзор методики статического анализа кода.
2. Виды статических анализаторов.
3. Метод метрик. Размерно-ориентированные метрики. Объектно-ориентированные метрики. Комбинированные метрики. Преимущества и недостатки.
4. Статические анализаторы на основе правил. FxCop.
5. Средства статической валидации, интегрированные в редактор кода. JetBrains ReSharper. Visual Assist.

Литература

•  Visual Assist
•  Resharper