| 摘要 |
A test case generation apparatus checks if there is a source code inspected portion in a model that is used to generate a test case. The inspected portion in the model is determined based on inspection information, and, when the inspected portion is found in the model, the inspected portion of the model is simplified. Thus, the test case generated by the test case generation apparatus has a fewer number of test patterns due to the simplified model of the inspected portion, and, as a result, achieves an enhancement of performance limit of an automatic test case generation of the test case generation apparatus.
|
