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

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

${message}

${message}