wacate2012w

かいてみようCFD
※公開用（一部、削除・更新しています）

WACATE2012冬

近江久美子（WACATE実行委員会）
（ワークのサポート上田卓由（WACATE実行委員会））

Copyright (C) 2012 Kumiko Ohmi All rights reserved 1

こんなあなたに

• 条件について考慮漏れがあった
• 仕様の確認不足で欠陥を見逃した


準備OK？
目次
1. まずは、基本
2.復習がてら～関連が深い技法
3. 腕試し！
4. 踏み込んで、＋α
5. 視野を広げて


準備OK？
目次

3. 腕試し！


CFDの特徴と生い立ち

• CFD＝Cause Flow Diagram
– 複雑な論理に対するテストに
– “Case Flow Diagram”（本「ソフトウェア
開発・検証技法」より）とされていた頃も
Windows3.1、
NTより前
• 松尾谷徹氏が1980年代に開発（1990年台）
– 今も発展し続けている
– WACATE2012冬「CFD++（仮）」



• 「テスト技法ポジショニングマップ」引用元：
http://www.hayst.com/Pages/positioning.aspx



• 技法として
CFD法（CFD技法）は、同値分割、CFD、デシジョ
ンテーブルから構成される

• 図としてユーザーID パスワードメールアドレス
登録
未登録入力あり入力あり
処理
登録済入力なし入力なし

エラー

• フリーで利用できるツール「 drawCFD（仮）」
– http://softest.cocolog-nifty.com/labo/drawCFD/
– デシジョンテーブルへの変換も可能


例題で考えみましょう

• 例題新規会員登録ボタンを押した時の
挙動

 まず「ユーザーID」に未登録の値が入力さ
れていることを確認する。
 次に「パスワード」「メールアドレス」に、値が
入力されていることを確認する。
 上記の条件を全て満たす場合は登録処
理へ、それ以外の場合はエラーとする。



• CFDの登場人物
–原因
–結果
–流れ（線）



• 手順
– CFDをかく
• 同値分割を使いテストすべき結果とその原因を見
つけ出し、図にする
• 処理順に従って流れ線をかく
– CFDを元にデシジョンテーブルをかく
• CFD、デシジョンテーブルを照合して確認する


同値分割を使いテ
ストすべき結果と
その原因を見つけ
出し、図にする



• テストすべき結果と原因は？
– 例題新規会員登録ボタンを押した時の挙動




• テストすべき結果は？




• 結果の原因は？

 まず「ユーザーID」に未登録の値が入力され
ていることを確認する。
 次に「パスワード」「メールアドレス」に、値が入
力されていることを確認する。
 上記の条件を全て満たす場合は登録処理
へ、それ以外の場合はエラーとする。



• 同値分割して、図にしましょう～結果
 上記の条件を全て満たす場合は登録処理へ、それ以外の
場合はエラーとする。

• 三浦マグロさんの場合
– ユーザーIDmaguro, ****, magu@example.com”
• 若手太郎さんの場合
– “wakate, ****, taro@example.com”
⇒ 値に関わらず、「登録処理」



• 同値分割して、図にしましょう～結果
 上記の条件を全て満たす場合は登録処理へ、それ以外の
場合はエラーとする。
– 有効系か無効系を判断しましょう
• 目的の機能が動作する結果
– 有効系の結果登録
処理

• 目的の機能が動作しない結果
– 無効系の結果
– 下のほうに横線か塗りつぶし
エ
– CFDでは、優先度は有効系より低い
ラー



• 同値分割して、図にしましょう～原因
 「パスワード」「メールアドレス」に、値が入力されていることを
確認する。
• 結果に対する影響を元に分割する
• 「入力されていること」以外＝「入力されていな
いこと」
– 1文字、2文字、 …＝「入力あり」
– 有効系か無効系を判断しましょう
• どちらが有効系の結果につながりますか？



確認する。
パスワード
入力あり

入力なし



確認する。
パスワード
同値分割図
入力あり
有効系 → 小さい島
無効系 → 大きい島
入力なし

– 図で表現した原因は処理の順に並べておきます


処理順に
従って
流れ線をかく



• 流れ線をかきましょう
 まず「ユーザーID」に未登録の値が入力されていることを確認する。
 次に「パスワード」「メールアドレス」に、値が入力されていることを確認す
る。
 上記の条件を全て満たす場合は登録処理へ、それ以外の場合はエ
ラーとする。

ユーザーID パスワードメールアドレス
登録
処理

登録処理にたどりつくにはエラー
原因のどこを通る？



• 注意その1 流れ線は処理順通りに
– CFDでは、より合理的なテストをめざし実装
の情報も利用

メールアドレスパスワードユーザーID
登録
入力あり入力あり未登録
処理
入力なし入力なし登録済

ユーザーIDの確認でエラーなのにエラー
メールアドレスとパスワードの処理が
行われる？



• 注意その2 無効系は１つずつテスト

登録
処理

エラー
エラーはどの原因で起こった？



• （図としてのCFDは）完成！
登録
処理

エラー

• ここからデシジョンテーブルをかきまし
ょう


CFDを元に
デシジョン
テーブルをかく



• デシジョンテーブル作成
– CFDの原因→デシジョンテーブルの条件へ
– CFDの結果→デシジョンテーブルの動作へ
– CFDの流れ線を追って、デシジョンテーブル
の列を埋める



登録
未登録入力あり入力あり確認
処理

テスト項目番号 1
原因ユーザーID 未登録 1 エラー
登録済 0
パスワード入力あり 1

入力なし 0

メールアドレス入力あり 1

入力なし 0

結果登録処理 1
エラー


テスト項目番号 1 2 3 4
原因ユーザーID 未登録 1 0 1 1
登録済 0 1 0 0
パスワード入力あり 1 ― 1
0

入力なし 0 ― 0
1

メールアドレス入力あり 1 ―― 0

入力なし 0 ―― 1

エラー 1 1 1



• 照合してチェック
登録
処理

エラー
登録済 0 1 0 0
0

1


入力なし 0 ―― 1

エラー 1 1 1



• 手順
– CFDをかく
• 同値分割を使いテストすべき結果とその原因を洗
い出す
• 結果、原因を図にする
• 処理順に従って流れ線をかく
– CFDを元にデシジョンテーブルをかく
• CFD、デシジョンテーブルを照合して確認する


準備OK？
目次

2. 復習がてら
～関連が深い技法
3. 腕試し！

関連が深い技法：同値分割



• 全部はテストできない
– 同じ欠陥が出るであろうもの同士、グループに
– 例 1月の日付が入力されていたら、…
• 1/1-1/31
• 上記以外
12/ 1/ 1/
1/1 1/2 … 2/1 2/2
31 30 31

if (mmdd >= 20120101 and mmdd <=20120131){
…



• 全部はテストできない
– 同じ欠陥が出るであろうもの同士、グループに
– 例 1月の日付が入力されていたら、…

12/ 1/ 1/
1/1 1/2 … 2/1 2/2
31 30 31
日付
1/1-1/31

2/1-12/31



• 同値分割図、何かに似ていませんか？

パスワード ML申込み

入力ありする
日付
入力なししない
1/1-1/31

2/1-12/31

Copyright (C) 2012 Kumiko Ohmi All rights reserved


• 同値分割図、何かに似ていませんか？

ML申込み
ML申込み
する
する
しない

しない



• CFDの場合
– 図にして考えると、他にないか？を考えやすい
• 例 ML申込み「する」の場合は、…

ML申込み

する • しない



• CFDの場合
– 図にして考えると、他にないか？を考えやすい
• 例 ML申込み「する」の場合は次の処理を行う

ML申込み
• しない
する • 申込み済
• 過去に申し込んでいたことがある

仕様、設計に抜け漏れはないか？
考えましょう


関連が深い技法：デシジョンテーブル



• デシジョンテーブル
– 複数の変数や条件の論理的な関係を扱うとき
に活用できる


※フォーマットや1、0、―の表記は
異なることもある

登録済 0 1 0 0
0

1


入力なし 0 ―― 1

エラー 1 1 1


条件を、判定順に列挙する異なることもある
（CFDでは「原因」）
登録済 0 1 0 0
パスワード入力あり ― 1
0 1

1

メールアドレス入力あり 1 ――
動作（処理）を、実行順に列挙する 0
（CFDでは「結果」）
入力なし 0 ―― 1

エラー 1 1 1


異なることもある

登録済 0 1 0 0
条件（原因）の組合せとそれに
パスワード入力あり
対応する動作（結果）が書かれている
1 ― 1
0

規則（各列）
1

メールアドレス
タテに読む
入力あり 1 ―― 0

入力なし 0 ―― 1

エラー 1 1 1



• デシジョンテーブル
– 原因と結果（条件と動作）の関係を表で表現
• テストを実行するときに扱いやすい
• 異なる視点からの二重チェックができる
– 原因と結果が全てテストされるか？
– 組合せ、流れ線に抜けはないか？



• CFDの場合
– CFD（図）で洗い出した原因、結果の同値を全て書く
• デシジョンテーブルの条件はCFDの原因へ
– デシジョンテーブルの条件（原因）の並びとCFDの原因並びは同じ
• デシジョンテーブルの動作はCFDの結果へ
• CFDの流れ線はデシジョンテーブルの列（条件と結果の組合せ）
へ
– 1で表現すると、同値クラスの登場回数が判り、Excelの
関数等を使ってチェックしやすくなる
登録済 0 1 0 0
0

1


入力なし 0 ―― 1

エラー 1 1 1


準備OK？
目次

3. 腕試し！


ワーク1

• 個人ワークで考えて頂きます
• 回答時間は10分
– 足りない人はその後の休憩10分もどうぞ
• 時間が余ったら…
– デシジョンテーブル作成
– CFDとの照合
• 迷ったところはメモ！
– ワーク2の共有時間や休憩時間に


ワーク1

※問題は別紙で配布。
別紙は本「公開用」のプレゼン資料には
掲載しないが、
後の「4. 踏み込んで、＋α 」内にて
問題文の一部を掲載している。


ワーク1

• この例題でお伝えしたかったこと
– 「どちらのやり方でかこうかな」迷ったひと
はいますか？


準備OK？

ズームイン、

ズームアウト


ズームイン、ズームアウト

• 同値分割の粒度を変えてズームイン、ズ
ームアウト
– 必要なテストを絞り込む
– 例 ※出力Wの有効／無効は別途テストする
出力W
200W 出力W

500W
有効なW
600W
無効なW
1000W
無効なW


ワーク2

• 個人ワークで考えて頂いたあとで、グル
ープ内で共有して頂きます
– 考え方を説明できるようにしてください
• 例原因と結果の洗い出しから図示までに考えた
こと
• 例流れ線をかくときに考えたこと
– 時間が余ったら…
• CFDとの照合


ワーク2

※問題は別紙で配布。
問題に関するプレゼン資料および別紙は、
本「公開用」のスライドには掲載なし。


ワーク2

• 回答時間：15分間
– 時間が余ったら…
• CFDとの照合
• 終了後、20分程度かけて考え方を班内で
共有して頂きます


ワーク2

• 共有の時間：20分間
• 班内で考え方を共有しましょう
– 目的は、他のひとの回答と同じところ、違う
ところから学ぶことです
– 考え方まで踏み込んで聞いてみましょう
• 考え方、置いた前提、疑問点
– ワーク1で疑問があれば、この機会に
• 何班かに、出た話を発表して頂きます
– 共有しましょう。2、3まとめてください


準備OK？
目次
3. 腕試し！



？

• ワーク1の問題がこうだったら？
①重量センサがONであることを確認する。
②出力Wが以下のいずれかであることを確認する。
200W ／ 500W ／ 600W ／ 1000W
③あたため時間を確認する。
20秒～1800秒（30分）が有効な値である。
整数で指定し、20秒単位で設定することができる。
④扉センサがONであることを確認する。
⑤上記①～③全てを満たす場合はあたためを開始
する。満たさない場合は、通常エラーとする。④を満
たさない場合は、扉開放エラーとする。


？

エラーの出し分けも
確認したいときは？
（略）
④扉センサがONであることを確認する。
⑤上記①～③全てを満たす場合はあたためを開始す
る。満たさない場合は、通常エラーとする。④を満たさ
ない場合は、扉開放エラーとする。


準備OK？

有効系？
無効系？


有効系？無効系？

• 優先的にテストしたいものは、有効系に
– ユーザ（お客様）にとって重要なものは？
優先的にテストすべきものは？
– 絶対的な区別ではない

• 例扉センサがOFFの場合は別処理が続く
• 例エラーやワーニングのメッセージの
出し分けを確認したい


有効系？無効系？

• ワーク1 回答例
扉センサ
出力W あたため時間
ON
有効なW 有効な時間 OFF

無効なW 無効な時間
重量センサ
あたた
ON め開
始
OFF

扉開
通常
放エ
エラー
ラー


？

• 最初の例題がこうだったら？

 ログイン状態でないことを確認する。
 「ユーザーID」に有効な値が入力されていることを確認す
る。
 次に「パスワード」「メールアドレス」に、値が入力されてい
ることを確認する。
 上記の条件を全て満たす場合は登録処理へ、それ以
外の場合はエラーとする。
 登録処理と同時にログイン処理も行われる。


状態を扱う


状態を扱う
最初は未済でも、
• 何か足りない… 結果的には済になる…

ログイン状態ユーザーID パスワードメールアドレス

未済未登録入力あり入力あり登録
処理
済登録済入力なし入力なし

エラー


状態を扱う

• 状態＝自分自身も変わることがある
– 原因と結果の両方に登場
ログイン状態ユーザーID パスワードメールアドレス

未済未登録入力あり入力あり登録
処理
済登録済入力なし入力なし

ログイン状態の変化

済へ
エラー
未済へ


ここまでの話

• CFDの特徴と生い立ち
• CFDの書き方
• 同値分割、デシジョンテーブルとの関係
• トピック
– ズームイン、ズームアウト
– 有効系？無効系？
– 状態を扱う


準備OK？
目次
3. 腕試し！



なぜCFD？
ー見落とし防止、コミュニケーション
促進の仕掛け


視野を広げて

• インシデント、欠陥(バグ、不具合、…)
– 見落とし
• 例条件の考慮漏れが、リリース後の問題に
• 例うるう年の場合を想定していなかった

– コミュニケーション不足
• 例仕様の確認不足でバグに気づけなかった
• 例入力がない場合は、処理は終了？続行？


視野を広げて

– 見落とし



視野を広げて

• CFD
– 処理順を意識する
• 設計の検討に使い早期から見落とし防止に
• 必要なテストを絞込み、優先度の高い部分の
テストを練る時間を増やす
– 図なので全体を意識、俯瞰しやすい
– 「今見ているものの外側」に目を向けや
すい
– 一人でも使える



– 見落とし



視野を広げて

• CFD
–設計段階で使うと早期にテストに意識を向けや
すくなる
• 設計でCFDをつくりテストでそこから生成し
たデシジョンテーブルを使う
– 直感的に理解しやすい
– テストエンジニアでなくても読める
• ステークホルダー同士の情報共有や説明にも


参考文献
• 2012年度秋山浩一のソフトウェアテスト技法ドリルセミナーテキスト
– 一般財団法人日本科学技術連盟, 2012年
• ソフトウェアテスト技法ドリル―テスト設計の考え方と実際
– 秋山浩一 (著) ,日科技連出版社, 2010年
• ソフトウェア・テスト PRESS 総集編
– ソフトウェア・テストPRESS編集部編 (著), ソフトウェア・テストPRESS編集部 (編集) ,
技術評論社, 2011年
– 付属CD内ソフトウェア・テスト PRESS Vol.9
• ソフトウェアテストの未来を知るヒント続・ソフトウェアテスト・ヒストリー（日
本編）, 辰巳敬三
– 付属CD内ソフトウェア・テストPRESS Vol.8
• 難しいテストを簡単にCFD法の極意【前編】, 松尾谷徹
• ソフトウェア開発・検証技法
– 松本正雄 (著), 小山田正史 (著), 松尾谷徹 (著), 電子情報通信学会, 1997年


参考文献
• 第4回ソフトウェアテスト技法ドリル勉強会講義資料
– http://www.slideshare.net/oota_ken/4
• CFD 技法の評価と事例に基づくガイドの作成
– http://www.juse.or.jp/software/pdf/20_spc/8/7_d_report.pdf
• 原因流れ図によるテストケース抽出技法
– http://ci.nii.ac.jp/naid/110002874854
• 三賢者、テストを語る
– http://www.jasst.jp/archives/jasst07e/pdf/A5.pdf
• ソフトウェアテストの勉強室
– アーカイブス CFD法
• http://softest.cocolog-nifty.com/blog/cfd/index.html
– drawCFD（仮）
• http://softest.cocolog-nifty.com/labo/drawCFD/
• ソフトウェアテストの本質を振り返る
– http://jasst.jp/symposium/jasst12kansai/pdf/A2-3.pdf
• テスト技法ポジショニングマップ
– http://www.hayst.com/Pages/positioning.aspx
– ※サイト「HAYST法」（http://www.hayst.com/Pages/default.aspx）内
• テストケース抽出の一方式 : 「原因流れ図」
• テストケース抽出の一方式「順序回路を含む場合」


wacate2012w

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Destacado

Destacado (20)

wacate2012w