Table 5.
Coverage of TCAS by seven approaches.
Statement coverage | Branch coverage | MC/DC | |
---|---|---|---|
RND | 69.37% | 48.29% | 12.12% |
GA | 87.82% | 70.57% | 15.47% |
SACO | 71.17% | 49.77% | 11.81% |
ILPACO | 85.89% | 64.28% | 17.64% |
IPVACO | 92.54% | 72.68% | 17.47% |
IGPACO | 89.28% | 69.28% | 17.68% |
ACIACO | 92.90% | 75.11% | 33.64% |