システム開発に於けるソースコードの正しさとは何か。

バグがないこと、ではない。仕様書の記載をソースコードが守っていることだ。仕様書はソースコードのルールである。遵守していればそのソースコードは正しくそうでなければそのソースコードは正しくない。

こんなことは基本中の基本である。知らない方がどうかしている。