高级软件工程 静态代码的可信性分析概述9/45 在线检测 ●当系统正在为用户提供服务时,一般不能 进行测试:输入受限 但可以进行检测,获取各种状态、事件 ●进行分析,并可能据此调整目标系统 ●尽量减少对系统的应用 ●与静态分析结合?高级软件工程 静态代码的可信性分析概述 9/45 在线检测 ⚫ 当系统正在为用户提供服务时，一般不能 进行测试：输入受限 ⚫ 但可以进行检测，获取各种状态、事件 ⚫ 进行分析，并可能据此调整目标系统 ⚫ 尽量减少对系统的应用 ⚫ 与静态分析结合？