摘要 |
PROBLEM TO BE SOLVED: To provide a means for accurately guaranteeing the operation of the whole hardware without omission in a short time by verifying an effect of a corrected block only in a position where its output condition satisfies an input condition of a non-corrected block to be connected. SOLUTION: This structure comprises a means extracting a corrected block; a means extracting a non-corrected block to which an output condition from the extracted corrected block is connected; a means determining the input condition of the extracted non-corrected block from a restriction condition of the whole hardware before correction; and a means confirming that the input condition from the block after correction satisfies a determined restriction condition. COPYRIGHT: (C)2007,JPO&INPIT
|