情報処理技術者試験ナビ

当サイトは準備中です。

FE 25秋 問49

問題

プログラム実行中の特定の時点で成立する変数間の関係や条件を記述した論理式を埋め込んで,そのプログラムの正当性を検証する手法はどれか。

アサーションチェック
コード追跡
スナップショットダンプ
テストガバレッジ分析

 

答え

      ア

解説

 

 

関連情報

オンラインテキスト

 

キーワード

 

過去の出題