アルゴリズム的なテスト導出.