Two metric suites for requirements coverage are now available. While working with requirements, it is useful to know how many requirements are covered by design elements (with a satisfy relation) and test cases (with a verify relation). These are typical situations where metrics help you to evaluate the current state of requirements in your model and track the progress of their coverage.