Het proces van het analyseren van een software-item te detecteren van de verschillen tussen bestaande en vereiste voorwaarden (dat wil zeggen, insecten) en te evalueren van de kenmerken van het item software.