| 摘要 |
PURPOSE:To reduce errors and to shorten the input test data making time by describing clearly sequence relation between input and output. CONSTITUTION:A function diagram 1 is inputted by an input and check device 4, and input data is checked in the device 4. If input data is correct, a state transition 10 and a decision table 9 indicating a logical model in each satte or a relation 11 are taken out. If input data has an error, a message is outputted, and test items are not generated. A state transition structuring device 7 gives a name to each transition of the state transition 10 and generates a condition structure equation in accordance with prescribed processing procedures. That is, when the processing is started, the same transitions are collected in the first step, and the state is deleted if a transition exists in the next step, and the processing is terminated if a transition does not exist in the next step. |
