Ⅰ－６
次の記述の、 に入る最も適切な語句はどれか。
「一般に、プログラムの正当性は 性と部分正当性に分けて検証する。」
① 安定 ② 分解可能 ③ 高速 ④ 停止 ⑤ 再利用
類題
H26 Ⅰ-7
正解
④
解説
プログラムの正当性は、入力条件を満たしたプログラムを実行すると、そのプログラムが必ず停止し、停止後は出力条件を満たした状態になることである。
入力条件を満たしたプログラムを実行すると、プログラムが停止した時に、出力条件を満たした状態になる性質を部分正当性といい、実行したプログラムが確実に停止する性質を停止性という。