The Coverage analysis provides coverage information at immediate higher or lower levels by analyzing traceability properties values. Coverage analysis visualizes and verifies that requirements are covered with design, implementation, test cases, or other subjects.
Test cases not only plan how to verify each requirement, but also identify a relation between the requirement and test case and show the coverage to ensure that each requirement will be appropriately tested.