Процесът на оценка на програма без изпълнение на програмата. Вижте също бюро проверка, одит, инспекция, статичен анализатор, стационарните под код. Анализ на контраст с динамично.