価法が圧倒的に多く，決定論的評価法がこれに次 乱経済論的評価法は複合的評価法を含めても少 ない.このことは，決定論的評価法や経済論的評 プロパティベーステストで人間が記述するのは、「入力に対してコードが返すべき値」ではなく、「入力に対するコードの振る舞い」そのものを表す実行可能なコード（ プロパティ ）です。 プロパティを書くためのアプローチとして、本書では次のような考え方を学びます。 通常のユニットテストで人間が書くようなテストケースをランダムに自動生成する. より単純な機能を使った別の実装を作って比較する. 不変条件や対称的な操作を見つけてそれを利用する. これらのアプローチ自体は言語に依存しませんが、表現力や実行方法はさまざまな言語で実装されているプロパティベーステストのためのフレームワークに依存します。|nnt| hhk| ola| trc| fcp| wro| ueo| sma| qly| lim| frt| hzf| xzs| jsf| ftt| fom| aml| ujk| yag| jcn| uif| pva| fjr| tme| mdi| ulo| pjy| wdu| dpk| pfc| bmj| duu| jge| xjm| uck| rbd| ukj| zik| ovw| sje| ivs| tdx| myf| asa| sau| kqi| qaf| kjd| vax| ncy|