PROGRAM DESIGN DEVELOPMENT SUPPORTING DEVICE AND STORAGE MEDIUM STORED WITH TEST SPECIFICATION PREPARATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To improve the reliability of test by automating the preparation of test specification, and preventing the mixing of human error. SOLUTION: The respective pieces of state transition information of each object are connected to each other based on the transmission and reception relation of an event, and a state transition model is generated by a state transition model generating means 22, and a start state and an end state are inputted to the generated state transition model, and a state transition path from the start state to the end state is retrieved by a state transition path retrieving means 26.