4.4.2.45 The IV&V provider shall verify that code coverage is measured by analysis of the results of the execution of tests.