MODEL CHECKING APPARATUS HAVING A PLURALITY OF MODEL CHECKERS AND MODEL CHECKING METHOD USING THE SAME

摘要

PURPOSE: A model inspecting device including a plurality of model inspectors and a model inspecting method thereof are provided to perform efficient model inspection by performing model inspection in various verification attributes and selecting a proper model inspector. CONSTITUTION: A model preprocessing unit(100) receives a multilevel complex model and a verification attribute to be inspected for the complex model and divides the complex model into sub models to select a model inspector for inspecting the sub models. A model inspecting unit(200) includes model inspectors(240a-240n) having different model types. The model inspectors receive a sub model of a model type which is inspected according to the selection of the model preprocessing unit in order to inspect the verification attribute. An inspection result processing unit(300) outputs an inspection result of the model inspectors. [Reference numerals] (100) Model preprocessing unit; (20) Complex model; (220) Model type converting unit; (240) Model inspector; (260) Inspection result converter; (30) Verification attribute; (300) Inspection result processing unit; (40) Inspection result