Program yürütme olmadan bir programın değerlendirilmesi süreci. Da görmek denetlemeyi, Resepsiyon kod denetim, gözetim, statik Çözümleyicisi, gözden geçirme. Kontrast ile dinamik analizi.