| 摘要 |
PROBLEM TO BE SOLVED: To provide a logic verifying system for improving and making uniform quality of logic verification for pointing out a fault by automatically executing optimized test menus hierarchically arranged on the basis of analysis of error contents when that error is detected. SOLUTION: Tests selected out of a test group 100 are prepared as test menus 201a-203a optimized corresponding to respective hierarchies. According to these prepared test menus 201a-203a, the tests classified into groups are executed. When any error is detected, the test menus 201c and 202c hierarchically arranged on the basis of the analysis of these error contents and optimized as tests by hierarchies are automatically executed. Thus, the optimal test can be executed for pointing out the logic fault without human intervention. Therefore, at the time point when the test is finished, a fault logic spot can be inferred.
|
