最適化を施したある関数Fがあって、その引数と戻り値の関係が正しいかどうかをテストしたい。

そのために、最適化を施してなく計算処理は遅いのだが、
誰が見ても正しいと思えるような、慎重に実装した技術的には稚拙な、
Fと同じ引数と戻り値の関係を持つ関数Gを作り、大量の引数に両関数を適用して比較したい。

このようなテスト用の関数Gの名前は、何するのがいいんだろう。

たとえば F に対して test_G とすると、G をテストするようなイメージが湧く。
テストするのは G そのものではなくて、F と G が関数として同値かどうか。