Optimal Functional Flow Coverage in Test Cases with Functional Flow Matrix