The quality assurance of all released runset files should ideally be 100% complete to ensure the best quality of the runsets. This means that the designs used for testing should be sufficient to test all of the design rules with the appropriate data in the runset to reach 100% coverage, which is not easy to ensure. The present invention provides a methodology that addresses this problem by quantitatively measuring the test coverage of backend verification runsets. The methodology not only reports the uncovered rules, but also assists the quality assurance engineers in locating reasons as to why those rules are not covered and how coverage can be improved by designing appropriate test cases.