What does it mean, when you do a white box test :
"cover the edges with a basis, if possible. Otherwise cover the paths with a set of arbitrary test cases".
What I usually do in this kind of exercises is to compute the cyclomatic complexity of my control graph , and then find a number of paths that is the same of my complexity. I wrote the test cases and I finished.
How do I verify if my edges coverage is a basis ?