IBM Rational / Telelogic Tau

IBM Rational Tau обеспечивает стандартизованную разработку сложных систем и программного обеспечения на основе моделей.

Это решение используется при разработке информационных систем и корпоративных ИТ-приложений, в том числе архитектуры SOA.

• Поддерживает разработку сервис-ориентированной архитектуры (SOA) на основе моделей.
• Обеспечивает автоматическую проверку на наличие ошибок и проверку моделей на основе правил, а также предоставляет анализатор на базе моделей.
• Объединяет процессы моделирования требований и разработки встроенных приложений, что позволяет группам разработчиков сосредоточиться на создании необходимых компонентов проекта или программы.
• Обеспечивает возможность совместной работы, что позволяет всем участникам даже самых масштабных проектов легко и быстро связываться друг с другом и обмениваться данными.
• Автоматически создает пользовательские отчеты и документацию на любой стадии цикла разработки.
• Обеспечивает автоматическое генерирование и выполнение тестов.
• Имеет открытую архитектуру, основанную на UML 2.1, что позволяет дополнять и настраивать Tau в соответствии с потребностями организации.
• Поддерживаемые операционные системы: Sun Solaris, Windows.

Наличие диаграмм нового типа позволило привнести в инструмент Tau более широкие возможности.

1. Так появилась опция Verifier, которая в режиме "реального" времени (вы сами задаете масштаб условной единицы времени) позволяет моделировать поведение всей системы или ее отдельных частей, с использованием MSС-диаграмм (Message Sequence Chart).

Пользователь имеет возможность задавать любые входные воздействия (в требуемой последовательности - "пачками", последовательно, параллельно) с тем, чтобы наблюдать как модель реагирует и отрабатывает тот функционал, который в нее закладывался. При этом в любом месте любой диаграммы пользователь имеет возможность поставить знак остановки (break-point) и в специальных окнах (watch window) контролировать значения любых переменных. Наличие опции Verifier позволяет находить ошибки на самых ранних стадиях дизайна, что сокращает время на поиск ошибок и значительно снижает затраты на тестирование.

2. Появилась возможность иметь почти 100% готового к использованию кода, который автоматически создается встроенным кодо-генератором. В настоящее время Tau имеет 4 независимых кодогенератора: С, С++, C#, Java.
   
3. При таком подходе - если речь, например, идет о real-time или embedded systems - пользователь имеет возможность создавать модель (систему), не привязываясь к  онкретной операционной системе или типу процессора:
• согласитесь, ведь вашему заказчику почти все равно ЧТО находится внутри вашей системы, ему важно знать КАК система отрабатывает требуемый функционал;
• технический прогресс не стоит на месте и все чаще появляются новые типы процессоров, - и что же, переписывать софт заново??? - Нет, теперь уже не придется переписывать софт, подстраивась под новый тип процессора или ОС, а только лишь изменить настройки кодо-генератора.

Такой подход дает возможность сосредоточить усилия разработчиков именно на создании модели и ее функционала, а не тратить их время на ручную "писанину" кода, при которой вносится масса ошибок, потому что никуда от человеческого фактора не уйти...

4. И появилась возможность следовать рекомендациям OMG-группы, а именно: перейти от широко используемой в прошлом стартегии CDA [Code-Driven Architecture] к новой стратегии MDA [Model-Driven Architecture].

Tau имеет 3 составляющих - собственно Tau, Tau/Architect и Tau/Developer - каждая из которых имеет свое предназначение.

Tau:

- построение модели\-ей с использованием диаграмм, имеющихся в стандарте UML2.0;

- проверка диаграмм на соответствие синтаксису и семантики (нотации) языка UML2.0;

- автоматический поиск и локализация ошибок в диаграммах.

Tau/Architect:

- построение модели\-ей с использованием диаграмм, имеющихся в стандарте UML2.0;

- проверка диаграмм на соответствие синтаксису и семантики (нотации) языка UML2.0;

- автоматический поиск и локализация ошибок в диаграммах;

- динамическая проверка поведения модели;

- отработка и корректировка функционала, закладываемого в модель.

Tau/Developer:

- построение модели\-ей с использованием диаграмм, имеющихся в стандарте UML2.0;

- проверка диаграмм на соответствие синтаксису и семантики (нотации) языка UML2.0;

- автоматический поиск и локализация ошибок в диаграммах;

- динамическая проверка поведения модели;

- отработка и корректировка функционала, закладываемого в модель;

- автоматическая генерация до исходного кода на языке используемого кодо-генератора.

Широкий набор опций позволяет компании оптимизировать свои расходы и не приобретать ничего лишнего в нагрузку.

Tau может быть интегрирован с DOORS [Requirements Management] так, что сразу становится наглядным как каждое из конкретных требований реализуется с помощью тех или иных диаграмм, описывающих поведение системы\модели. При этом возможности трассировки DOORS сохраняются и имеют продолжение в Tau.