Эксперт сопоставляет конкретные требования с поведением определённой версии. Для спорной функции фиксируют документ и его редакцию, роль пользователя, настройки, входные данные, шаги, ожидаемый и фактический результат. Так можно показать отсутствие функции, ошибку расчёта или иной воспроизводимый недостаток, а также установить, какие требования имеющимися материалами проверить нельзя.
Проверка интерфейса иногда возможна без исходного кода; объяснение внутренней причины может потребовать исходных текстов, журналов и среды сборки. Если отказ не повторился, изучают условия прежнего сбоя и сохранённые сведения. Один успешный запуск не опровергает все прежние ошибки. Подробнее о такой проверке — в разделе об экспертизе соответствия ПО техническому заданию. Для начала выберите спорные требования и подготовьте примеры операций.