平成26年度 技術士第二次試験問題【必須科目】
【16】情報工学部門
T−7
次の記述の、
      に入る最も適切な語句はどれか。
 「一般に、プログラムの正当性は停止性と     性に分けて検証する。」

 @ 安定 A 部分正当 B 高速 C 再利用  D 分解可能



【正解】 A
プログラムの正当性は、「入力条件を満たしたプログラムを実行すると、
そのプログラムが
必ず停止し、停止後は出力条件を満たした状態に
なること」である。

入力条件を満たしたプログラムを実行すると、プログラムが停止した時に、
出力条件を満たした状態になる性質を
部分正当性といい、
実行したプログラムが確実に停止する性質を
停止性という。


EXCELのVBAのご相談なら ファーストマクロ 



T−6 目次 T−8
ファーストマクロ TOPページ