摘要 |
<P>PROBLEM TO BE SOLVED: To provide a device for inspection model generation, generating a state transition model capable of reducing the occurrence of state explosion when executing model inspection. Ž<P>SOLUTION: The device for inspection model generation is provided with: a model input part 20 for inputting a state transition model; a preliminary list generation part 21 for generating a preliminary transition list associating transitions for every event; a contraction list generation part 22 for retrieving a preliminarily transition list, for summarizing different events as one event group when transitions caused by the events are the same, and for generating a contraction transition list associating the summarized event group with the transitions caused by the events belonging to the event group; and a code conversion part 23 for converting model codes for inspection from the contraction transition list, and for generating model codes for inspection whose number of transition is smaller than that in the case of directly converting the model codes for inspection from the preliminary list. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|