это процесс исследования программного продукта с целью получения информации о его качестве и выявления расхождений между фактическим и ожидаемым поведением системы.