Static Analysis

Analysis of software artifacts such as requirements or code, carried out without execution of these software artifacts.