バグのないプログラム

2017-02-16 20:47
[tag:]

プログラムがなすモデル、プログラマが作ったと思っているモデル、仕様書がなすモデル、仕様書を書いた人間が想定していたモデル、プログラムを使用する人間が期待するモデル等、プログラムには様々なモデル化が関係するが、そのモデル間の齟齬がバグと呼ばれるものである。

最初と最後のモデルが同じ構造を有していればよいので、理学的にはバグのないプログラムは可能だろう。
しかし、工学的には「十分に気を付ける」の十分性を満たすためのコストが、コードの規模と間に挟まるモデルの数に応じて指数的に増加するように思われる。

とりあえず余計なモデルの数を減らせばよいのでは。