Testing activities that are based on models are becoming increasingly popular. UML models represent specification documents which provide the ideal basis for deriving test cases. They are even more valuable if UML tools are used that support the automatic test case generation. This report presents a summary of model-based testing techniques and test modeling techniques. These are the two fundamental aspects of testing with the UML. The first is concerned with deriving test information out of UML models, whereas the second concentrates on how to model test behaviour with the UML.
