> the number of tests, checks and counterchecks they have to go through before being approved for service is soul crushing.

> I'm pretty sure that the total count of in the bug database of any airline software currently in service basically amounts to zero.

The military, NASA, and a bunch of other critical organizations really wish that what you were saying was true. http://en.wikipedia.org/wiki/List_of_software_bugs