高级软件工程 静态代码的可信性分析概述3/45 主要考虑如何发现代码缺陷! 需要首先知道:可能存在什么样的代码缺陷! 缺陷与约束 什么是对的(约束: Constraint) 什么是不对的(缺陷: Defect)高级软件工程 静态代码的可信性分析概述 3/45 主要考虑如何发现代码缺陷！ 需要首先知道： 可能存在什么样的代码缺陷！ 缺陷 与 约束: 什么是对的（约束：Constraint） 什么是不对的（缺陷：Defect）