Методы верификации программного обеспечения

3.1. 
Экспертиза 
 
Экспертизой ПО (software review, переводится также как критический анализ, 
рецензирование, просмотр, обзор, оценка и просто анализ) называют все методы 
верификации, в которых оценка артефактов жизненного цикла ПО выполняется 
людьми, непосредственно анализирующими эти артефакты. 

---

35 
Традиционно выделяют следующие виды экспертиз. 

Техническая экспертиза (technical review) — систематический анализ 
артефактов проекта квалифицированными специалистами для оценки их 
внутренней согласованности, точности, полноты, соответствия стандартам и 
принятым в организации процессам, а также соответствия друг другу и общим 
задачам проекта. 

Сквозной контроль (walkthrough) — метод экспертизы, в рамках которого один 
из членов команды проверки представляет ее участникам последовательно все 
характеристики проверяемого артефакта, а они анализируют его, задавая 
вопросы, внося замечания, отмечая возможные ошибки, нарушения стандартов и 
другие дефекты. 

Инспекция (software inspection) — последовательное изучение характеристик 
артефакта, обычно следующее некоторому плану, с целью обнаружения в нем 
ошибок и дефектов. 

Аудит (audit) — анализ артефактов и процессов жизненного цикла, 
выполняемый людьми, не входящими в команду проекта, для оценки 
соответствия этих артефактов и процессов задачам проекта, заключенному 
контракту, общим стандартам, друг другу и пр. 
Термины «экспертиза» (review) и «инспекция» (inspection) часто употребляются 
для описания всех перечисленных методов верификации, четкого различия между ними 
большинство работ не проводит. В рамках этого обзора, так же, как и в стандарте 
IEEE 1028 [52] инспекцией считается более формализованная и поверхностная 
проверка, нацеленная на обнаружение формальных дефектов (подобно техническому 
осмотру автомобиля) — обычно в ее ходе по некоторому контрольному списку 
проверяется формальное наличие определенных свойств и отсутствие определенных 
видов дефектов.