【基本情報技術者試験平成25年秋期午前】問題・解説・解答

[TOP] [午前分野別] [午後分野別] [キーワード索引] [令和元年秋午前] [令和元年秋午後]

平成25年秋期基本情報技術者午前問49

問49　　 プログラムの正当性の検証

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

ア　アサーションチェック　　　　　　　　イ　コード追跡

ウ　スナップショットダンプ　　　　　　　エ　テストカバレッジ分析

解説

ア：正しい

イ：コード追跡 は、プログラムを実行させ、命令を追跡してプログラムの動作を確認する手法である。

ウ：スナップショットダンプ は、実行中のプログラムの特定の位置の変数の値やメモリの内容を表示し、プログラムの動作を確認する手法である。

エ：テストカバレージ分析 は、ホワイトボックステストにおいて、コード中のどれだけの割合の部分を実行できたかを評価するのに使う手法である。

【平成22年秋問44】応用情報