摘要 |
<P>PROBLEM TO BE SOLVED: To automatically generate "verification characteristics" for model inspection from design information of software, and to automatically add time constraint applied to the design information to the verification characteristics, and to prepare a data transmission/reception sequence and time constraint without being aware of the degree of abstraction (hierarchy). Ž<P>SOLUTION: This invention is proposed as a model inspection support device. This model inspection support device is provided with: an additional model generation part for generating a process which mediates data to be transmitted/received between individual processes described in the data transmission/reception sequence based on the sequence as an additional verification model on the basis of a data transmission/reception sequence created on the basis of a DFD having one or more hierarchies; and a verification formula creation part which generates a verification formula to investigate whether the process reaches the end without stop on the basis of the additional verification model. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|