高级软件工程 静态代码的可信性分析概述8/45 静态缺陷查找 不运行程序(广义测试包含这类活动) ●静态分析可以涉及更多的路径组合 测试一次只能有一个执行轨迹 可以分析多种属性 死琐?安全漏洞?性能属性? ●源码?目标码?高级软件工程 静态代码的可信性分析概述 8/45 静态缺陷查找 ⚫ 不运行程序(广义测试包含这类活动) ⚫ 静态分析可以涉及更多的路径组合 – 测试一次只能有一个执行轨迹 ⚫ 可以分析多种属性 – 死琐？安全漏洞?性能属性? ⚫ 源码？目标码？