Test requirement weight

Facts

• The test requirement weight is calculated based on dominator and super-block analysis. <bib>vincenzi-etal:2003, 6</bib>.

• The weight of a testing requirement corresponds to the number of test requirements that will be covered if this particular requirement is covered. <bib>vincenzi-etal:2003, 6</bib>

• For each decision node, its weight is the maximum weight of its branches. <bib>vincenzi-etal:2003, 8</bib>

• A decision node has a zero weight if and only if all its branches are covered. <bib>vincenzi-etal:2003, 8</bib>

• A definition has a zero weight if and only if all its c-uses and p-uses are covered. <bib>vincenzi-etal:2003, 12</bib>