Programinės įrangos įrankis, kuris priima kaip įvesties šaltinį kodas, tyrimo kriterijai, specifikacijas ar duomenų struktūros apibrėžimai; naudoja šios sąnaudos generuoti bandymų įvesties duomenis; ir, kartais, nustato laukiamų rezultatų.