可验证性是需求规格的基本属性：一条需求必须能被某个客观检查判定为通过或不通过。