A Practical Approach to Measuring and Improving the Functional Verification of Embedded Software