The invention relates to a system and method for facilitating programmable
coverage domains for test case generation, feedback, and measurement. The
system comprises a domain definition input file; user-defined coverage
domain data entered into the domain definition input file; and a parser
operable for translating the user-defined coverage domain data into
machine-readable computer program code. The system further includes an
internal coverage domain comprising: a union of enabled coverage domains
extracted from the user-defined coverage domain data; a session component
comprising a session update count for each domain element; and a history
component comprising a history update count for each domain element. The
system further comprises a testcase generator including an internal
coverage feedback and measurement system. The testcase generator
comprises an instruction generator operable for generating instructions
for use in a testcase and an instruction simulator operable for
simulating execution of the instructions. The testcase generator accesses
information in the internal coverage domain via the internal coverage
feedback and measurement system, generates testcases for a current
generation session, and updates the internal coverage domain according to
the results of the testcase execution. The invention also comprises a
method and storage medium.