Structural coverage analysis method

This paper describes a method to obtain structural coverage using a combination of structural coverage attained through Requirement-Based Testing (RBT) and Analysis. This method sets a specific coverage level that must be obtained through RBT alone for each element. The remaining code, not structurally covered, is then analyzed using a number of criteria. This combination of testing and analysis provides the structural coverage, which is part of the requirement-based formal verification test results.