Quantitative methods for design of benchmark suites

We present black-box models of workload difference and we then to develop quantitative methods for the design of benchmark suites. The proposed design methods (the method of optimum subsets, and the method of optimum weights) combine a new concept of program space coverage functions, and the criteria of completeness, redundancy, density, and granularity of benchmark suites.