根据白盒测试法,选择测试用例使程序中每个语句至少被执行一次是属于（）覆盖;选择测试用例使程序中每个判定至少都获得一次"真"值和一次"假"值是属于（）覆盖。