diagnostikaprogramm, mis uurib lähteprogramme või andmeid, otsides süntaksi- ja semantikavigu või lahknevusi spetsifitseeritud nõuetest.