18.2.3 测试控制有效性的程序的性质