Model-Driven Testing: Using the UML Testing Profile