Test case generation est case Software to be tested verification Output+ Software to be tested Output Test Case verification Test case generation