摘要 |
<p><P>PROBLEM TO BE SOLVED: To improve the efficiency of verification work by proving the correctness of processing that is not actually an error among errors arising in the operation of a transmission source device. <P>SOLUTION: In a designation sequence, a packet of transaction A and a packet of transaction B are alternately transmitted from a transmission source device 101 to a transmission destination device 102. When a packet of transaction B is transmitted fifth though a packet of transaction B is transmitted fourth, a monitoring apparatus 100 detects the packet transmitted fifth as a packet transmitted in a sequence different from the designated sequence. Then, the monitoring apparatus 100 determines whether a skipped packet has been skipped by the permission of a designated constraint or not and outputs the determination result. <P>COPYRIGHT: (C)2011,JPO&INPIT</p> |