| 摘要 |
PROBLEM TO BE SOLVED: To provide a model inspection support device, for creating a model including operation specifications as well as restriction conditions, in model creation for model inspection, without needing learning of a special model description language. SOLUTION: The model inspection support device 1 includes: a specification input part 1a which receives specifications related to system operation and restriction conditions showing properties required for the system as information in a table format; and model generation parts 1b and 1c which generate, based on descriptions extracted from tables 2, 3 and 4 of the information, a model inspection program 6 including an operation and restriction condition of the system to be verified. The tables including the state transition table 2 describing state transitions of the system, the restriction condition table 4 describing possible values of constituting elements in the system for each state of the system, and the action table 3 describing contents of actions described in the state transition table. COPYRIGHT: (C)2009,JPO&INPIT
|
