Technika oceny kodu i dokumentacji bez jego wykonywania, obejmująca przeglądy kodu i analizę statyczną.