最基本的bug发现技能是将代码拆分成每一个可能的执行路径，然后检查每一条。 附加：通过拆分if语句创建的每个代码宇宙比原始代码更简单，更容易检查。