代码检查法比动态测试方法更有效率