白盒测试采用静态分析法

黑盒测试：依据具体业务需求及应用场景，制定相应的测试案例

白盒测试：以程序代码的逻辑结构与运行机制为基础

代码审查：由开发人员对代码架构进行讲解，重点在于整体设计的合理性

代码走查：参会人员携带预先准备的数据进行检查，此时代码尚未执行，主要关注功能是否实现

若未对magic<0的情况进行判断，则会直接跳过所有语句块的执行，直接进入语句块4的处理流程。无论何种情况，语句块4始终会被执行。

![](ht