System test support system and system test support method

An objective of the present invention to provide a system test support system and a system test support method which allows a developer to make a significant test even when the input contents are determined by a plurality of transitions. To achieve this objective, the present invention, by virtue of a software operation specification input, allows a developer to enter a software operation specification using a state transition model. A test sequence is then set up from transition sequence from a plurality of transition sequences and identification setting up feature, subsequently sets up the object identification to indicate the objects associated with the transition. Input items containing an operation that causes an event for each transition and operation targets which indicate the type of object on which the operation will be performed, are set up. The input contents determining feature determines the input contents for testing the test sequence, based on the object identifications and input items associated with a plurality of transitions in the test sequence. Finally, a test specification, complete with the input contents, is outputted by the outputting feature of the invention.