Despite the movement towards mathematically provable software, there is a realization among most developers that when a system is 'sufficiently complex', they can't reasonably test all of the possible things that could go wrong.

rant/ I offer that they were just too lazy/complacent to test it along the way and are primarily driven by the rewards forthcoming and not by the "product". Complexities are exactly what testing is all about. It's a wonderful ball of corporate mentality that continues to roll when the consumer is trained by the "product". / the rant never ends...