| 摘要 |
PURPOSE:To prepare necessary and sufficient test cases and to check free of omission by forming the system status combining equipment information, work information and the state of a group of equipments possible to occur from the condition of equipments. CONSTITUTION:A system status forming section 211 finds out all possible status of the system from combination of equipment attribute data 201 and work attribute data 202 and determines the state that satisfies equipment group restriction data 203 out of them and makes it system status data 207. A rule applying section 212 applies control rule data 206 to each system status and determines control command and makes it control command data 208. An action model applying section 213 finds out the mode of transition of the state of the system basing on the state of each system and control command for it, and stores assemblage of state in transition status data 209. When a state that does not satisfy control specification is found in the transition status data 209, a control restriction judging section 214 stores it in a specification contravention data 210. |
