A test method for a semiconductor device that is provided with an ECC
circuit that uses product code that is composed of a first code and a
second code for implementing error correction of a memory, the test
method includes steps of: obtaining first pass/fail determination results
and second pass/fail determination results that are realized by
independent correction operations based on the first code and the second
code, respectively; recording the results in a first fail memory and a
second fail memory, respectively; executing a prescribed logical
operation such as an AND operation relating to the contents of the first
fail memory and the contents of the second fail memory; and based on the
results of the logical operation, remedying both fail bits and potential
fail bits.