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