软件测试：程序的CFG如左图，设计测试用例，满足语句覆盖，判定条件，条件组合，路径覆盖