ソフトウェア技術者のためのバグ百科事典（11）「数値演算」のバグは奥が深い：山浦恒央の“くみこみ”な話（132）（3/3 ページ）

4．バグの兆候

4.1 演算誤差が発生する

　演算誤差の原因を見つけることは非常に困難です。手掛かりは、途中までは何事もなかった演算結果が突然発散したり、有効数字を極端に失ったりした場合は、演算誤差を疑いましょう。

4.2 オーバーフローとゼロ除算

　ログから演算結果を追いましょう。変数の値が「Inf」や0に戻る場合は、オーバーフローを疑い、「NaN」となる場合は、ゼロ除算の可能性があります。また、環境によっては動作が停止するため、参考にしてください。

4.3 演算ルールを間違える

　実行結果が正しく出ず、計算ロジックが間違っているかもしれないと考えた場合は、「式が正しいか」「符号ミスをしていないか」「演算順序が正しいか」などの演算ルールに着目しましょう。

5．対策

5.1 演算誤差

　演算誤差は、事前に対策を立てることが難しいと思いますが、以下に気を付けましょう。

• 事前にどの程度の精度を持っているか把握する
• 大きめの型を使用する
• 計算式を工夫し、桁落ち、情報落ちが発生しにくい計算式に変更する

5.2 オーバーフロー、ゼロ除算

5.2.1 オーバーフロー

　仕様や設計の段階で、おおよその最大値・最小値が分かるはずです。その情報から、オーバーフローを起こしそうな演算処理があるか確認しましょう。また、時間があれば、最大値・最小値を入れるテストを行ってください。

5.2.2 ゼロ除算

　計算式に除算がある場合、ゼロ除算を回避する条件式を追加しましょう。また、静的解析ツールなどを活用し、問題がないか確認することも大事です。

5.3 演算ルールを間違える

　まずは、仕様の数式を読み解き、意図を確認しましょう。これが意外に難しく、演算ルールを理解する必要があります。分からない場合は、仕様定義者に意図を確認しましょう。

6．まとめ

　今回は、四則演算に関するバグ（演算誤差、オーバーフロー、演算ルール）を取り上げました。

• 演算誤差のバグは、演算によって発生する誤差が蓄積して発生します。このバグは、何事もなく進んでいた出力結果が突然発散する場合は要注意です。言語の演算精度を理解し、誤差が発生しない計算式に変更して対処しましょう
• オーバーフローは、取り得る値の範囲を超えてしまった場合に発生します。仕様や設計書から考え得る最大値・最小値を把握し、オーバーフローが発生しないか確認しましょう
• ゼロ除算は、式をゼロで割ってしまう場合に発生します。このバグの発生時は、NaN（Not a Number）やプログラムの動作が停止することがあり、注意しましょう。対策案としては、除算の場所でゼロ割り算が発生し得るかを確認することです
• 演算ルールの間違いは、式や優先順位、数学的なルールを見落としている場合に発生します。演算結果が意図したものと異なる場合、演算の意図を確認しましょう。対策方法は、仕様定義者にヒアリングしながら、意図を理解することです

7．終わりに

　今回は、四則演算に関するバグを取り上げました。四則演算はプログラミングの基本ですが、意外と発生するバグだと筆者は感じています。特に、オーバーフローやゼロ除算は、クリティカルなバグとなります。気を付けましょう。

　また、オーバーフローやゼロ除算は、前シリーズのバグ検出ドリルや書籍版バグ検出ドリルにも問題として登場します。興味がある方は、目を通していただければと思います。