Формулировка используется для означает, что соблюдение требования или тест является обязательным для соблюдения этой SRS.