Hi,
I'm currently investigating the MBT tools which use UML. I have not
been able to find much information about Telelogic Tau and Rhapsody
and am a bit confused about them. Do they support MBT for functional
testing in the same way that conformiq and leirios do? Or are they
more system level tools that focus on Model driven development?

I would appreciate any information on these tools.

Thanks,
Melissa