Configuration information verification apparatus and configuration information verification method

Abstract

A configuration information verification apparatus includes an alive monitoring information collecting unit for collecting alive monitoring information from a plurality of configuration items constituting a network, a logical formula creating unit for referring to configuration information that represents information about connection relationships between the configuration items and creating a logical formula with respect to each configuration item by performing an AND operation on configuration items positioned on a route leading to corresponding configuration item, and assigning a 'true' value to the logical formula if the alive monitoring information indicates that the corresponding configuration item is operating normally and assigning a 'false' to the logical formula if the alive monitoring information indicates that the corresponding configuration item is not operating normally; and a logical formula verifying unit for verifying, from a plurality of logical formulae, whether an inconsistent logical formula is present.