健全性テスト
サニティテストは、数値計算のクロスチェックに使うさまざまな規模感の概算や経験則である。例えば以下の通り:
738を二乗して54,464を得たとき、サニティチェックをすばやく行うと、この結果が正しくないことがすぐにわかる。 700 < 738だが、一方、700 = 7 × 100 = 490,000 > 54,464となる。2つの正の整数をそれぞれ2乗しても大小関係は保たれるため、計算の矛盾にすぐに気づく。正解となる738 = 544,644は、54,464の10倍以上の大きさである。
918 × 155は142,135ではあり得ない。なぜなら918は3で割り切れるが、142,135は割り切れないからだ(各桁の数字の合計は16となるため3の倍数でない)。また、2つの数字の積の1の位は1の桁同士の積の1の位と同じである必要がある: 8 × 5 = 40だが、142,135は「40」のように1の桁が「0」ではない。正解は918 × 155 = 142,290でなる。さらに、偶数と奇数の積は偶数であるのに対し、142,135は奇数であるといった、さらに迅速なチェックもできる。