| 摘要 |
<p><P>PROBLEM TO BE SOLVED: To provide a method for verifying networks, and apparatus to verify the transfer of a packet on the network and a network constitution, without actually operating the network. Ž<P>SOLUTION: From a data expressing each of a correspondence relation between the identifier of a first communications apparatus and the identifier of a second communications apparatus for receiving the packet transmitted from the first communications apparatus, the correspondence relation between the identifier of the second communications apparatus and the identifier of a third communications apparatus for receiving the packet transmitted from the second communications apparatus, and the correspondence relation between a first tag added to the packet received at the second communications apparatus and a second tag added to the packet transferred from the second communications apparatus to the third communications apparatus, a network model is generated which includes state transition data showing the state transition of the network, which is specified by motion mode information showing the each tag, identifiers of each apparatus, and each apparatus are in transmission mode or in the transfer mode; and whether the network model satisfies a request specification is verified. Ž<P>COPYRIGHT: (C)2005,JPO&NCIPI Ž</p> |
