次の記述の、 に入る最も適切な語句はどれか。
「一般に、プログラムの正当性は 性と部分正当性に分けて検証する。」
① 安定 ② 分解可能 ③ 高速 ④ 停止 ⑤ 再利用
プログラムの正当性は、「入力条件を満たしたプログラムを実行すると、
そのプログラムが必ず停止し、停止後はは出力条件を満たした状態に
なること」である。
入力条件を満たしたプログラムを実行すると、プログラムが停止した時に、
出力条件を満たした状態になる性質を部分正当性といい、
実行したプログラムが確実に停止する性質を停止性という。
EXCEL ＶＢＡのご相談なら ファーストマクロ へ
