Три основные возможности:

  • Обеспечение трассируемости требований
  • Анализ покрытия модели тестами
  • Осуществление проверок на стандарты моделирования