高级软件工程 静态代码的可信性分析概述145 第九讲 静态代码的可信性分析概述
高级软件工程 静态代码的可信性分析概述 1/45 第九讲 静态代码的可信性分析概述
高级软件工程 静态代码的可信性分析概述2/45 从静态代码分析动态特性: 机能完整? 易生何病? 什么性格? 道德水准?
高级软件工程 静态代码的可信性分析概述 2/45 机能完整? 易生何病? 什么性格? 道德水准? 从静态代码分析动态特性：
高级软件工程 静态代码的可信性分析概述3/45 主要考虑如何发现代码缺陷! 需要首先知道:可能存在什么样的代码缺陷! 缺陷与约束 什么是对的(约束: Constraint) 什么是不对的(缺陷: Defect)
高级软件工程 静态代码的可信性分析概述 3/45 主要考虑如何发现代码缺陷！ 需要首先知道： 可能存在什么样的代码缺陷！ 缺陷 与 约束: 什么是对的（约束：Constraint） 什么是不对的（缺陷：Defect）
高级软件工程 静态代码的可信性分析概述4/45 不论是人工还是自动 都需要: 利用已有的缺陷知识查找某个特定程序 关于代码 你有什么样的先验知识? 如何形式化描述这些知识? 如何使用这些知识查找缺陷?
高级软件工程 静态代码的可信性分析概述 4/45 关于代码 你有什么样的先验知识？ 如何形式化描述这些知识？ 如何使用这些知识查找缺陷？ 不论 是 人工 还是 自动 都需要： 利用 已有的缺陷知识查找 某个特定程序
高级软件工程 静态代码的可信性分析概述5/45 内容 静态代码缺陷査找的角色 静态代码缺陷基本类别 静态代码缺陷查找的主要方法 四、静态代码缺陷査找的常见工具 五、理论基础:不动点
高级软件工程 静态代码的可信性分析概述 5/45 内 容 一、静态代码缺陷查找的角色 二、静态代码缺陷基本类别 三、静态代码缺陷查找的主要方法 四、静态代码缺陷查找的常见工具 五、理论基础：不动点