The activity that derives and specifies test cases from test conditions