摘要 |
PROBLEM TO BE SOLVED: To provide a traffic model generation device capable of generating a traffic model which enhances evaluation accuracy of a system while suppressing state explosion of traffic, as a model used for a probability model inspection when as to a system operated on the basis of a policy, an influence of the policy applied in accordance with a state change of the traffic exerted on the system is evaluated by way of the probability model inspection.SOLUTION: Threshold value extraction means 81 extracts, out of a policy applied to a system as an evaluation object, a value at which handling processing based on the policy is changed, as a threshold value. Parameter extraction means 82 extracts parameters used for generating a traffic model out of information of a section indicating a feature of traffic in the system as the evaluation target. A traffic model generation means 83 generates, as a traffic model, a state transition of the traffic to each state, which is obtained by performing division with threshold values generated on the basis of the extracted parameters. |