ソフトウェア技術者のためのバグ百科事典（17）無限ループやbreak抜け、コーディングのバグ再び：山浦恒央の“くみこみ”な話（138）（3/3 ページ）

5．バグの兆候

5.1 ワーニングを見逃すな

　ワーニング（警告）を軽微な記述ミスと無視せず、致命的なエラーだと考えて、必ず対処しましょう。今回のワーニングの例を図1、図2に示します。

図1　領域外書き換えのワーニング例（クリックで拡大）

図2　代入記述のミスのワーニング例（クリックで拡大）

　図1は領域外書き換えのワーニング、図2は筆者がやってしまったバグのワーニングを示しました。バグのヒントはワーニングに隠されているかもしれません^※2）。まずは十分、分析しましょう。

5.2 処理が終わらない

　無限ループは、非常に特徴的なバグです。強制終了するまで、繰り返し同じ処理を実行し続けるような場合に疑いましょう。無限ループ発生時には、フラグ変数の設定ミス、代入記述のミス、switch文のbreak抜けなどを疑うとよいでしょう。大きな状態遷移を扱うプログラムでは、このバグが潜んでいる可能性があります。

5.3 プログラムが停止する可能性

　領域外を書き換えると、環境によっては、プログラムが停止することがあります。もちろん、その他のバグかもしれませんので、バグの候補の一つとして考えてください。

6．対策

　今回取り上げたコーディングのバグの対策には下記があります。

6.1 ツールを使用する

　静的解析ツールを使用すると、この「よくあるバグ」を見つけられます。

6.2 作りながら動かす

　初心者のうちは、少しずつ確認しながら実装を進めましょう。例えば、複数個の条件分岐のブロックができたら、デバッガなどで条件分岐を確認するといいでしょう。少し面倒に思いますが、後々苦労しないため、小さい範囲で確認しましょう。

7．終わりに

　コーディングのバグは、単純バグの場合がほとんどですが、プログラムを結合して実行すると、不可解な挙動をします。今回紹介したバグは、皆さんにとっては既知のバグでしょうが、数あるバグの一つとして、再度、思い出していただければ幸いです。

　今回のバグは、拙著「ソフトウェア技術者のためのバグ検出ドリル」（日科技連出版）でも取り上げています（電子版、書籍版の両方で）。興味がある方はご参照ください。