Processen att analysera en programvara objekt att upptäcka skillnaderna mellan befintliga och obligatoriska villkor (d.v.s. bugs) och utvärdera funktioner i programvaran objektet.