Мне интересно, что разрешено (или, по крайней мере, какова лучшая практика) в диаграмме требований SysML, касающейся использования ссылок "удовлетворить / проверить" между вариантами использования, тестовыми примерами и требованиями.
Как Я понимаю, что, как правило, прецедент «удовлетворяет» требованию, а прецедент «проверяет» его.
Возможно ли это для прецедента «проверить» >> требование?
Я нашел разные источники с противоречивыми утверждениями по этому вопросу.
Для классического примера с будильником, с:
Req1: чтобы разбудить в выбранное время
UseCase1: установить время будильника и радиочастоту.
Test1: Учитывая, что в 101.5FM есть станция, и время установлено правильно, когда я устанавливаю будущий будильник и устанавливаю Частота до 101.5FM, затем я буду слушать станцию в указанное время.
Какая тогда правильная и / или лучшая диаграмма?
(UseCase1) - удовлетворять -> [ Req1], [TestCase1] - проверить -> [Req1]
или
(UseCase1) - выполнить -> [Req1], [TestCase1] - проверить -> (UseCase1)
или
(UseCase1) - проверить -> [Req1], [TestCase1] - проверить -> [Req1]
Спасибо за любые уточнения!