Method for generating random test cases without causing infinite loops

摘要

A method for generating test cases for testing integrated circuits which comprises the step of apportioning a plurality of instructions into a plurality of groups of test instructions. At least some of the plurality of groups include a plurality of control flow instructions each of which transfer execution to a different one of the plurality of groups. This method prevents a test of an integrated circuit from entering an infinite loop.