A Test Case (Activity / StateMachine / Interaction) is a method for verifying a requirement.