1. A method for testing software under test (SUT) with respect to a partial design model (PDM) having a boundary which differs from a boundary of the SUT, the method comprising: recording a set of input information, including the SUT, the PDM, and coverage criteria defining a required number of the test cases; identifying, via a host machine, a set of variables in the SUT that corresponds to boundary signals for the PDM; and extracting a set of test cases meeting the coverage criteria using the SUT, the PDM, and the set of variables.