Of course there is always a limit on testing software, and no money in the world can guarantee that a reasonably complex software is absolutely error free. But I agree, if anyone has the budget to get at least the basics right, then it would be the “big ones” like Microsoft, Google, and Apple.