# US 2017/0257286 A1 · Advance verification method and recording medium > Agents: this data is available as JSON from the patentgrep API and MCP server — see https://patentgrep.com/llms.txt - Number: US 2017/0257286 A1 - Document ID: US20170257286A1 - Status: Published application - Kind: A1 - Application number: 15/408,473 - Filed: 2017-01-18 - Published: 2017-09-07 - Earliest claimed: 2016-03-04 - Assignees: Fujitsu Limited - Applicants: Fujitsu Limited - Inventors: Shinya Kitajima; Shinji Kikuchi - Web page: https://patentgrep.com/patent/US20170257286A1 ## CPC - H04L 43/0817: by checking functioning - H04L 43/091: Measuring contribution of individual network components to actual service level - H04L: TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION (arrangements common to telegraphic and telephonic communication H04M) ## 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. ## Claims ### Claim 1 A non-transitory computer-readable recording medium storing an advance verification program that causes a computer to execute a process, the process comprising: 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. ### Claim 2 (depends on 1) The non-transitory computer-readable recording medium according to claim 1, wherein the information indicating the result of the determination includes the state transition information item in which the state of the device does not transition from the state of not satisfying the quality when complying with the policy rule. ### Claim 3 (depends on 1) The non-transitory computer-readable recording medium according to claim 1, wherein the information indicating the result of the determination includes at least one of state information indicating the state of the device before the transition and state information indicating the state of the device after the transition, included in the state transition information item in which the state of the device does not transition from the state of not satisfying the quality when complying with the policy rule. ### Claim 4 (depends on 1) The non-transitory computer-readable recording medium according to claim 1, the process further comprising: creating a new state information item by integrating a plurality of state information items having overlapping parts in a description of the condition, among state information items that are created by using the condition and the configuration information and that indicate the state of the device. ### Claim 5 (depends on 1) The non-transitory computer-readable recording medium according to claim 1, the process further comprising: creating one or more new state information items by combining a plurality of state information items, among state information items that are created by using the condition and the configuration information and that indicate the state of the device. ### Claim 6 (depends on 5) The non-transitory computer-readable recording medium according to claim 5, the process further comprising: deleting, from the one or more new state information items, a description relating to an internal state of the device that is stopped, when the one or more new state information items include the description relating to the internal state of the device that is stopped. ### Claim 7 (depends on 5) The non-transitory computer-readable recording medium according to claim 5, the process further comprising: deleting, from the one or more new state information items, a state information item determined to be a combination of the states that cannot exist, based on a dependency relationship between the states of the device. ### Claim 8 (depends on 1) The non-transitory computer-readable recording medium according to claim 1, the process further comprising: creating another new state information item by integrating a plurality of state information items included in a new state information item, when the new state information item has been created by combining the plurality of state information items respectively indicating the state of a plurality of the devices of a same type, among state information items that are created by using the condition and the configuration information and that indicate the state of the device. ### Claim 9 (depends on 1) The non-transitory computer-readable recording medium according to claim 1, the process further comprising: determining, with respect to the created one or more state transition information items, whether state information indicating the state of the device before the transition is state information indicating the state of not satisfying the quality; and determining whether the created one or more state transition information items correspond to the transition of the state of the device when complying with the policy rule, when the state information indicating the state of the device before the transition is determined to be the state information indicating the state of not satisfying the quality, to determine whether there is the state transition information item in which the state of the device does not transition from the state of not satisfying the quality when complying with the policy rule. ### Claim 10 An advance verification method executed by a computer, the advance verification method comprising: 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.