Ah, I just love these sorts of pronouncements.
When was the last time you heard of a 747 crashing because of a software glitch? My first job was to verify the design and implementation of a major part of the flight software for that aircraft, so I'm kind of an expert on this subject. You have no idea how multi-faceted and sophisticated the verification and SQA processes are on these projects. First of all formal logical methods are used to design and validate all the control algorithms. Then the actual system is designed, with different subsystems being individually broken out and decomposed to the component (software and hardware) level so that a complete description is created, including every single state, all modes of operation, all possible conditions under which the aircraft could operate, etc. Then the various components are designed. During that design process a complete set of failure mode analyses are performed. For every single combination of components in the system it is determined what the individual effects of failure of each one in all possible modes of failure would be, then a fault tolerance matrix is constructed which allows the analysis of all possible combinations of failures and their effects.
Then I come in. I construct a complete simulation of the actual aircraft electrical and mechanical systems and its flight control system. Now I can literally put each card, box, subsystem, etc into a virtual aircraft and test it to determine that it ACTUALLY performs as predicted under at least the vast majority of these conditions and failure modes. This is all IN PARALLEL with the formal SQA process for the flight software in which each module is tested with all possible inputs, formal static code analysis is performed, etc.
We didn't HAVE errors. In all the millions of lines of code that was ever under my jurisdiction we never passed a single piece of code that had any error in it that could ever effect the safety of flight of any of the 7+ aircraft that I worked on. I'm not saying everything was always perfect. There were times when we found that flight software had issues, that there were system level issues that weren't discovered in design/test/review, but they were never things that went into a production aircraft and caused a problem that could have resulted in the aircraft being lost or even not flying that day.
The upshot of all this is I know something about quality of software. Russia's aerospace industry has a very serious issue, this is only like the 4th lost mission in the last couple years that I can count without even trying. They have to be cutting some serious corners and its BAD.