High quality logic verification stress test generation using two-stage randomization

摘要

A novel and useful stress test generation mechanism that is operative to divide the task of generating test case programs (files) into a first randomization stage and a second randomization stage. The first randomization stage selects the scenario and the second randomization stage generates a test case in accordance with the chosen scenario. In other words, during stage 1, a test scenario (i.e. value-categories) is randomly determined (using the weights assigned to the value-categories within each scenario-dimension). In stage 2, a test is randomly generated for the chosen scenario. Thus, for each scenario-dimension, one or more values are generated randomly for the chosen value-category. Once the values for the value-categories are generated, an output test file for use by the logic verification is generated.

主权项

1. A method of generating stress tests for logic verification, said method comprising:
randomly selecting a category to be tested for each dimension in an input template, wherein the category is randomly selected based on a weight associated with the category, the category indicating a test flavor corresponding to logic or a verification environment; and randomly generating one or more values for each selected category.