方法，也就是用数学的方式证明程式的某些行为符合其设计规约。软体度量和反向工程可以视为一种静态程序分析的方式。在实务上，在定义所谓的软体品质指标（software quality objectives）后，软体度量的推导及程序分析常一起进行，在开发嵌入式系统时常会用这种方式进行。静态程序分析的商业用途可以用来验证安全关键电脑系统中的软体，并指出可能有计算机安全隐患的程式码，这类的应用越来越多。例如以下的产业已确定用静态程序分析作为提昇复杂软体品质的方法：在资讯安全的领域中，静态程序分析会称为静态应