Класс: slreq. Требование
Пакет: slreq
Проверка обоснованности требований
tf = isJustifiedFor(req, linkType)
проверяет, является ли требование tf = isJustifiedFor(req, linkType)req выравнивается для типа связи, указанного в linkType.
% Check if requirement req1 is justified for Implementation req1_Status = isJustifiedFor(req1, 'Implement') req1_Status = logical 1 % Check if requirement req2 is justified for Verification req2_Status = isJustifiedFor(req2, 'Verify') req2_Status = logical 0