摘要 |
<P>PROBLEM TO BE SOLVED: To provide a technology for verification in units of a data processing block even if having a configuration for performing parallel operation divided into two or more sequences. <P>SOLUTION: In a pointer list of an object corresponding to each data processing block, a pointer of an object called next to the object is registered (S810-S814), the object is called to verify the data processing block corresponding to the object, and after calling, an object indicated by a pointer registered in the pointer list of the object is called next (S815). <P>COPYRIGHT: (C)2006,JPO&NCIPI |