I have a problem with the way that we are currently handling the issue of “how do I know if my code is correct?” I’ve been thinking about this for a while, and it’s something that has come up in various conversations.

It’s not an easy thing to talk about because it touches on some very fundamental issues around how we write software. But I think it’s worth talking about, so here goes:

How do you know your code works? How can you be sure? What kind of evidence would convince you? And what does all this mean for testing? For TDD? For refactoring and design patterns and everything else we use to try to make our lives easier when writing software

Back to Main