Класс: 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