Тестирование ПО. Инспекции и просмотры. Лекция 6

Инспектирование
Инспектирование – набор процедур и приемов обнаружения ошибок при изучении текста группой специалистов
Состав инспектирующей группы:
Автор
Готовит материал для инспекции
Отвечает на все вопросы по ходу
QA
Председатель (Senior Programmer или Team Leader)
Составляет план инспекции
Запись результатов и контроль следования плану
Проектировщик

Где применять
Сбор требований
спецификации
Разработка архитектуры
Дизайн функций
Детальная разработка
Внутренний дизайн
Кодирование и юнит тестирование
Код

Алгоритм
Планирование
Материалы распределяются за 2-3 дня до
Определяются основные моменты, на что обратить внимание
Определяются критерии успеха
Подготовка
Проверка на соответствие стандартам
Использование результатов прошлой проверки
Инспектирование
Никакой инспекции при отсутствии подготовки
Выработка решений и рекомендаций
Разбор ошибок
Разбор и анализ результатов
Проверка на исправление всех выявленных ошибок
Следование рекомендациям и решениям

Признаки провала
Технические
Концентрация на тривиальном
Переход на личности
Непонимание метрик, которые проверяются
Инспектирование чего угодно кроме качества
Не выработано никаких рекомендаций
Не выдержаны временные рамки
Не соответствие плану работы
Организационные
Затраты видны, результаты незаметны
Не информировать участников о прогрессе
Директивное управление/навязывание мнения
Не позволять ошибкам влиять на процедуру
Внедрение
Ожидание чудес от применения
Несоответствие ожиданиям руководства
Не вынесены никакие уроки

Порядок действий
Обсуждение логики программы (краткое описание автором программы)
Анализ по списку наиболее частых ошибок программирования
Основные моменты:
Время инспекции – не более 2 часов
Средняя скорость – 150 операторов в час
Конфиденциальность результатов
Attack the problem, not the person

Список вопросов
Ошибки обращения к данным:
Неинициализованные переменные
Выход за границы массивов
Индексы – целые числа?
Обращение к невыделенной/освобожденной памяти
Корректны ли атрибуты во всех псевдонимах?
Битовые строки: вычислимы ли адреса? Передаются ли как аргументы?
Идентичность определения структур в разных модулях
Проблемы с индексацией и обращениями к массивам

Список вопросов
Вычисления:
Есть ли вычисления неарифметических переменных
Вычисления с использованием данных разных типов
Вычисления с переменными разной длины
Переполнение/потеря промежуточного значения
Деление на ноль
Не выходят ли значения переменной за пределы установленного диапазона
Деление целых чисел

Список вопросов
Сравнение
Сравнение величин несравнимых типов
Корректность булевских выражений
Порядок следования операторов
Ввод-вывод
Корректность атрибутов файлов
Соответствие ввода/вывода формату
Соответствует ли размер буфера размеру записи?
Открыты ли файлы перед использованием
Ошибки ввода/вывода
Ловятся ли признаки конца файла

Список вопросов
Интерфейс
Равно ли число параметров числу аргументов
Соответствие типов параметров и аргументов
Соответствие единиц измерения для параметров/аргументов
Правильно ли заданны число аргументов, типы и порядок следования для аргументов встроенных функций
Обращения к локалам вне контекста
Передаются ли в качестве аргументов константы
Другие виды контроля
Есть ли какие-нибудь предупреждения или сообщения при компиляции
Нет ли пропущенных функций
Осуществляется контроль правильности входных параметров

Сквозной просмотр
Длительность – менее 2 часов
Состав группы – 3-5 человек
Автор
QA
Председатель
Пользователь*
Новичок в программировании*
* - могут отсутствовать
Механизм – ручное выполнение программы (на неком наборе тестов) и обсуждение всех возникших вопросов и найденных проблем