摘要 |
<p>PROBLEM TO BE SOLVED: To efficiently perform network verification considering a communication control unit.SOLUTION: A network verification device 1 includes: a network information acquisition section 11 for acquiring a transfer matrix individually showing a flow of a communication control unit at each switch device in a target network, where the transfer matrix is formed by physical topology information showing connection relation among switch devices in the target network through physical ports, and a plurality of pieces of transfer regulation information respectively showing combination of input time header data, an input port, an output port, and output time header data on a communication control unit which is transferred by each switch device; and a verification processing section 10 for estimating a state of the target network with respect to a predetermined item by performing calculation using the transfer matrix acquired by the network information acquisition section.</p> |