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

标准抗拉强度下限σb≥540MPa的钢制压力容器，耐压试验后应当进行（）抽查。