Да. Проверяют, поддерживает ли программа исследованную версию и формат СУБД, какие входные данные и параметры использованы, создаёт ли она изменения и какие ограничения указаны разработчиком. Название известного продукта не подтверждает правильность конкретного запуска.
Версию и конфигурацию инструмента связывают с журналом действий и полученным отчётом. Автоматический результат сверяют с первичными данными или независимым способом. Для закрытого программного обеспечения проверяемость могут обеспечить контрольные примеры, экспорт промежуточных результатов и точное описание операций. Рецензент оценивает фактически применённый метод, а не исходит из личных предпочтений. Если ограничение инструмента могло изменить ответ, это показывают на конкретном фрагменте, отделяя установленный факт от предположения.