JaSST 2009 Tokyo でプレゼンに使用したファイルが公開されました。

JaSST 2009 Tokyo で、「オープンソースの組み合わせテストツールの開発　－組み合わせにおける制約の表形式でのモデル化－」というテーマで発表したプレゼンテーションファイルのPDFがJaSSTのサイトに掲載されました。サイトのURIは以下の通りです。

http://www.jasst.jp/archives/jasst09e.html#zengo

このページの真中あたりにあります。
PDFへの直接のURIは以下の通りです。

http://www.jasst.jp/archives/jasst09e/pdf/D4-2.pdf

当日は、30分という枠内でPictMasterの制約表の説明から適用事例として組み合わせテスト（総合テスト）、状態遷移テスト、制御パステストまで説明したので説明が駆け足になってしまいました。

ゆっくりPDFを読んでもらうことである程度理解の助けになるのでないでしょうか。