Improving Testing Process by Program Static Analysis

• 通过静态分析提高程序测试的效率