Programaren inplementazioaren azterketa eta programaren eraginkortasuna kasuaren azterketan nagusi bihurtu ziren heinean, aurkikuntzak orokortzeko gaitasuna ere bai.
Programaren inplementazioa aztertzen da.