特点:
不必运行程序
无需条件,易展开
方法:
代码审查(与设计的一致性、标准、可读性,表达式逻辑、结构合理性)
代码检查(与审查类似,但不如审查检查范围广)
桌面检查(阅读自己程序,效率低)
静态分析(借助于测试工具)
数据流、控制流、接口分析、表达式分析