『JaSST 2009 Tokyo でプレゼンに使用したファイルが公開されました。』
ソフトウェアの組み合わせテスト技法の１つであるペアワイズ法（Pairwise法）（またはオールペア法（All-pairs法）ともいう）と直交表を採用した組み合わせテストケース生成ツール PictMasterの使い方をはじめ、テスト全般のトピックスを掲載していきます。 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.
『矛盾した制約指定を素早く見つけるには』
ソフトウェアの組み合わせテスト技法の１つであるペアワイズ法（Pairwise法）（またはオールペア法（All-pairs法）ともいう）と直交表を採用した組み合わせテストケース生成ツール PictMasterの使い方をはじめ、テスト全般のトピックスを掲載していきます。 多くの制約を指定する場合、うっかりすると相互に矛盾する制約を指定してしまうことがあります。この場合、PICTは以下の例のような警告メッセージを出力します。 Constraints Warning: Restrictive constraints. Output will not contain following values: A: a1 この例では、パラメータAの値a1が組み合わせに１つも含まれないという警告です。こうした警告が現れるのは、値a1が組み合わせに現れない矛盾した制約を指定したためです。 このような警告が現れる
『状態遷移テストへのAll-Pair法の適用』
ソフトウェアの組み合わせテスト技法の１つであるペアワイズ法（Pairwise法）（またはオールペア法（All-pairs法）ともいう）と直交表を採用した組み合わせテストケース生成ツール PictMasterの使い方をはじめ、テスト全般のトピックスを掲載していきます。 状態遷移図のテストは、状態遷移図から状態遷移表を作成し、状態遷移表をもとに状態とイベントの組み合わせをテストします。今回はこの状態遷移図のテストにAll-Pair法を適用してみようというものです。 例として図１の状態遷移図を示します。この図では、状態S0～S3があり、イベントe1～e5で状態を遷移します。状態S0以外ではイベントe0で状態S0に遷移します。状態S1とS3および状態S2とS3との間はイベントによって往復できます。All-Pair法で扱うには、状態をパラメータとし、イベントを値とします。こうしてある状態のとき、ある
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
DevelopSense - Things can be different
