Quantitative Qualitätsaussagen über Testbenches mittels formaler Eigenschaften