I've been wondering what does everyone else use to verify that all code paths have been tested?
Small programs can usually be looked thru with ease but larger programs especially finite state machine type programs tend to be harder to verify.
Best idea i got so far other than plainly trying to meticolously test every possibility is to make a sub and write to a long array if that line has been processed or not. Or rather if the program pointer has passed that line ever or not. And later check if the array has been cleared or not.
I'm thinking that i would declare the array like 10000 long so that it would fit the maximum number of lines in any program. If the main run pointer has been at that line i would set it to 0.
What this idea is lacking is a way to check the length of a program in number of lines.
How do you verify that you have tested all code paths? Suggestions for my idea above?