テスト

最近の言語では言語または標準ライブラリにテスト用の機能を持つようになってきている。

テストの自動化をすることで、回帰テストをやりやすくする。

テストを自動的に作るまでには至っていない。(そもそも意味論を正しく伝えられないならば無理)

形式記述言語を使うことでテストができると称しているが、形式記述言語内での整合性までしか判断できず、「整合していても要件から見ると間違い」とか「要件レベルで間違っている」というのを見つけることは本質的に不可能である。(ポカヨケくらいはできるかもしれないが)

ほとんどのテスト機能は、実行して結果が期待と一致しているという判定。