プログラム検証とは何? わかりやすく解説 Weblio辞書 (original) (raw)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/07 01:59 UTC 版)
プログラム検証には労力がかかる。そのため、全ての開発対象を検証することはできず、一部の重要なプログラムを検証することしかできない。また、たとえプログラムを検証したとしても、それは、プログラムが仕様書通りに実装されていることを証明するだけであり、仕様書にバグがないことを証明するわけではない。 プログラム開発の本質の多くの部分は、仕様書のデバッグである。 完全で一貫した仕様書に到達することは、非常に難しい作業である。
※この「プログラム検証」の解説は、「銀の弾などない」の解説の一部です。
「プログラム検証」を含む「銀の弾などない」の記事については、「銀の弾などない」の概要を参照ください。