平成22年度 秋期 午前 問23

✓ これが正解イ後に使用されない変数への代入

解説

動かさずに文面だけで分かるものが対象です。

静的解析は、プログラムを実行せずに、書かれている文そのものを機械が読んで調べるやり方です。実行しないので、走らせて初めて分かる事柄は原理的に取れません。逆に、文の並びをたどれば決まる事柄なら取れます。ある変数に値を入れたあと、その値がどこからも読まれないまま次の代入で上書きされる、あるいは処理が終わってしまう、という形は、代入した位置と参照した位置の関係だけで見つけられます。書き間違いや消し忘れの手掛かりになるので、この種の道具が真っ先に報告する項目です。判定の軸は一つだけです。その事柄が、プログラムを動かさずに文面だけで決まるのか、それとも動かして初めて値が定まるのかを見ます。

ほかの選択肢はなぜ違うのか

• ア関数ごとの実行処理時間：どれだけ時間がかかったかは、実際に走らせて計測しなければ数字になりません。与える入力や機械の状態でも変わるので、書かれた文をいくら読んでも定まらない値です。
• ウプログラム仕様に対応する処理の記述漏れ：本来書かれるべきだったのに書かれていないものは、文の側に手掛かりが残りません。何を書くべきかは仕様書の側にあり、人が両者を突き合わせて初めて分かります。
• エ用意したテストケースでは実行されなかった…：どの命令を通ったかは、用意した入力で実際に走らせ、通過の記録を集めて初めて分かります。走らせる前の段階では、通る通らないが決まっていません。