Advance verification method and recording medium

Abstract

A non-transitory computer-readable recording medium stores an advance verification program that causes a computer to execute a process. The process includes creating one or more state transition information items indicating a transition of a state of a device, based on a condition described in a policy rule and configuration information indicating the device included in a system, the policy rule describing a content of a process to be executed by the system and the condition for executing the process; and referring to quality information describing a quality to be satisfied in the system, determining whether there is a state transition information item in which the state of the device does not transition from a state of not satisfying the quality when complying with the policy rule, among the created one or more state transition information items, and outputting information indicating a result of the determination.

Dependencies are inferred from the claim text.