Класс: slreq. Ссылка
Пакет: slreq
Проверяйте, обосновано ли ссылочное требование
tf = isJustifiedFor(ref, linkType)
проверяет, является ли ссылочное требование tf
= isJustifiedFor(ref
, linkType
)ref
обосновано для типа ссылки, заданного как linkType
.
% Check if referenced requirement ref1 is justified for Implementation ref1_Status = isJustifiedFor(ref1, 'Implement') ref1_Status = logical 1 % Check if referenced requirement ref2 is justified for Verification ref2_Status = isJustifiedFor(ref2, 'Verify') ref2_Status = logical 0