Patent ID: 8549484
Filing Date: 2013-10-01
Classification: G06F,H04L

Abstract:
1. A configuration information verification apparatus, executed by a processor, comprising: 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 of the network 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 a selected one of the configuration items, and assigning a “true” value to the configuration item positioned on the route if the alive monitoring information indicates that the configuration item on the route is operating normally and assigning a “false” value to the configuration item positioned on the route if the alive monitoring information indicates that the configuration item on the route is not operating normally; and a logical formula verifying unit for verifying, from a plurality of logical formulae created by the logical formula creating unit with respect to the plurality of configuration items, whether an inconsistent logical formula is present.