... is really not relevant to software testing.

If you actually know what the halting problem is, you know that if your code triggers that, it is pretty much broken. If you're not writing a programming language.