生死をも左右するソフトウェアの設計・構築はどうすれば完璧に近づけられるのか？
http://gigazine.net/news/20150603-how-critical-software-tested/


こんな一文もありました。↓


1980年代後半、ちょうど航空業界ではエアバスがA340型機のデビューを控えていた頃だが、ソフトウェア関連やセーフティ関連のエンジニアの間ではあるエピソードが有名だった。
そのエピソードとは、ボーイングとエアバスという2大航空機メーカーで、FBWのテスト方法がどれだけ異なるかについてのものだった。

それによると、エアバスでは機体に搭載されるシステムを検証するために、最新かつ非常に優れた手法を取り入れ、モデル検証を行ってプログラムの形式的証明を実施した。
一方のボーイングでは、大がかりな設計審査とテストを行い、
最後に全てのプログラマーを機体の初飛行の際に同乗させた。
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


不具合直さずにリリースしたら、プログラマ全員死刑！　って事です。