数値計算ライブラリ開発においても、ソフトウェアテストは重要となる。本研究では、代表的な数値計算ライブラリLAPACKの固有値ソルバに対する効果的なソフトウェアテスト手法の確立を目指す。LAPACKにおける主要演算の行列-行列積(DGEMM)ルーチンへの開発者のバグの混入が、計算結果に与える影響について調査した。複数の異なる特性を持つバグモデルをDGEMMへ実装することで、ソフトウェアテスト時のテスト順序の最適化に資する、テストケースごとのバグの顕在化傾向について調査した。