5.2.4 程序的静态测试