A method and apparatus are provided for verifying policies that govern a policy-based system. The method and apparatus may be implemented as a policy verifier that acts upon one or more policies. Each policy comprises a condition and a consequent. The policy verifier acquires configuration information about the system under management, thereby acquiring an understanding of the system. The policy verifier determines whether all the policies are feasible for the system, and if not, reports problems or errors that cause the policies to be non-feasible. The policy verifier also verifies that a configuration required by a particular policy consequent can be actually carried out by the managed system. In one embodiment, the policy verifier operates on network management policies, of a policy-based network management system. As a result, the invention improves the accuracy and safety of policies prepared for a network that previously did not use policy-based management.

Метод и прибор обеспечены для проверки политик управляют политик-osnovanno1 системой. Метод и прибор могут быть снабжены как верификатор политики действует на one or more политиках. Каждая политика состоит из условия и consequent. Верификатор политики приобретает данные по конфигурации о системе под управлением, таким образом приобретая вникание системы. Верификатор политики обусловливает ли все политики возможны для системы, и if not, проблемы рапортов или ошибки которые причиняют политики быть нон-vozmojny. Верификатор политики также проверяет что конфигурация необходима определенным consequent политики может фактическ быть снесена вне управляемой системой. В одном воплощении, верификатор политики приводится в действие дальше руководящие политики сети, политик-osnovanny1 системаа организации хозяйства сети. В результате, вымысел улучшает точность и безопасность политик подготовленных для сети которая ранее не использовала политик-osnovannoe управление.