タグ

PICTとtoolsに関するhonamisのブックマーク (1)

  • 第2回 PICTの基本的な使い方 | gihyo.jp

    表1で、パラメータの欄はパラメータの数と各パラメータが含む値の数を表します。たとえば34というパラメータの欄は、3つの値を含むパラメータが4つあることを意味します。表中のAETGとTestCoverは有償のツールです。 この表の結果によると、PICTはほぼ平均的な数の組み合わせを生成することがわかります。ここで注意してもらいたいことがあります。この表で示されているPICTの組み合わせ数は、最適な初期条件を指定した場合であるということです。 PICTはデフォルトで固有の初期条件を使用して生成を行います。この初期条件の違いにより、生成される組み合わせ数が若干違ってきます。たとえばパラメータが34の場合、デフォルトで生成される組み合わせは13です。またパラメータが313の場合、デフォルトで生成される組み合わせは20です。 初期条件の変更は、/rまたは/r:オプションで行うことができます。筆者が確

    第2回 PICTの基本的な使い方 | gihyo.jp
  • 1