>>1
故に厳しくテストされて、冗長化されたものが使われるんでしょ。
昔話題になっていた前進翼のやつはデジタルなコンピュータが2基、とアナログコンピュータが1機の構成で、通常はデジタル1基、トラブルと2基目に切り替えて、それも逝った時はアナログモードで動かすそうだ。

プログラマはもちろんミスするから、それを補うためにテストが行われるの。完全なテストは存在しないけど、想定されるケースの網羅性によって完全に近づくもんです。
まともなソフトウェア開発現場では開発者とは別に専門のテスターがいてイロイロ虐めてくれるのよ。