A folyamat elemzéséhez egy szoftver elem meglévő és a szükséges feltételek (azaz bugs) közötti különbségek észlelése, és a szoftver elem szolgáltatások értékelése érdekében.