设计测试用例使程序中的每个语句至少能执行一次,这种测试方法是