If your code is likely to run into an infinite loop, you should assert that in
your application code. This is one of the things tests can not do for you.

No everything can be solved with schoolbook engineering :)

cheers,
AA