6.3.1 测试法分支程序设计