We build test cases within the modeling tool to verify the model under the test