Моделирование требований при помощи инструментов MathWorks

В этом видео показывается, как можно осуществлять моделирование требований с использованием инструментов MathWorks. Рассматривается применения метода функциональных диаграмм, или графов причинно-следственных связей. Такой подход позволяет осуществлять систематический поиск несоответствий в требованиях путем моделирования, проводить независимую валидацию требований и автоматически генерировать функциональные тесты и ожидаемые результаты.