「正当性 (計算機科学)」の版間の差分
削除された内容 追加された内容
m ボット: 言語間リンク 3 件をウィキデータ上の (d:Q360812 に転記) |
Kobasan1963 (会話 | 投稿記録) m編集の要約なし |
||
1行目:
[[計算機科学]]における'''正当性'''（Correctness）とは、[[アルゴリズム]]がその[[形式仕様記述]]に照らして正しいことを意味する。「機能的」正当性とは、アルゴリズムの入出力動作に関する正当性である（すなわち、各入力に対して正しく出力を生成すること）。[[形式的検証]]を参照されたい。
'''完全正当性'''（Total Correctness）は、アルゴリズムが常に停止することも要求される。一方、'''部分正当性'''（Partial Correctness）は単に返ってくる答えが正しいことのみを要求する（常に答えが返ってくるとは限らない）。[[チューリングマシンの停止問題|停止問題]]には汎用的解法はないので、完全正当性はより深い問題をはらんでいる。
| |||