浮動小数点演算と数学ライブラリの多数のテストプログラムは、Netlib から ucbtest パッケージで入手できます。これらのプログラムには、Paranoia のバージョン、Z. Alex Liu のバークレー初等関数テストプログラム、IEEE テストベクトル、および Prof. W. Kahan の開発による数論的方法に基づく、正しく丸められた乗算、除算、および平方根のハードテストケースを生成するプログラムが含まれています。
ucbtest は http://www.netlib.org/fp/ucbtest.tgz にあります。