Класс: slreq.Requirement
Пакет: 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