![Show Menu](styles/mobile-menu.png)
![Page Background](./../common/page-substrates/page0175.jpg)
Proof Test Coverage (
C
PT
)
The Proof test coverage is simply calculated by:
Where:
CPT
is the proof test coverage
;
λ
unidentified by PT
is the dangerous undetected failure rate
identified by the proof test;
λ
DU
Total
is the Total undetected dangerous failure rate.