wacate2012w

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

7. CFDの特徴と生い立ち• 技法として CFD法（CFD技法）は、同値分割、CFD、デシジョンテーブルから構成される• 図としてユーザーID パスワードメールアドレス登録未登録入力あり入力あり処理登録済入力なし入力なしエラー • フリーで利用できるツール「 drawCFD（仮）」 – http://softest.cocolog-nifty.com/labo/drawCFD/ – デシジョンテーブルへの変換も可能 Copyright (C) 2012 Kumiko Ohmi All rights reserved 7

12. 例題で考えみましょう• テストすべき結果と原因は？ – 例題新規会員登録ボタンを押した時の挙動  まず「ユーザーID」に未登録の値が入力されていることを確認する。  次に「パスワード」「メールアドレス」に、値が入力されていることを確認する。  上記の条件を全て満たす場合は登録処理へ、それ以外の場合はエラーとする。 Copyright (C) 2012 Kumiko Ohmi All rights reserved 12

13. 例題で考えみましょう• テストすべき結果は？ – 例題新規会員登録ボタンを押した時の挙動  まず「ユーザーID」に未登録の値が入力されていることを確認する。  次に「パスワード」「メールアドレス」に、値が入力されていることを確認する。  上記の条件を全て満たす場合は登録処理へ、それ以外の場合はエラーとする。 Copyright (C) 2012 Kumiko Ohmi All rights reserved 13

15. 例題で考えみましょう• 同値分割して、図にしましょう～結果  上記の条件を全て満たす場合は登録処理へ、それ以外の場合はエラーとする。 • 三浦マグロさんの場合 – ユーザーIDmaguro, ****, magu@example.com” • 若手太郎さんの場合 – “wakate, ****, taro@example.com” ⇒ 値に関わらず、「登録処理」 Copyright (C) 2012 Kumiko Ohmi All rights reserved 15

16. 例題で考えみましょう• 同値分割して、図にしましょう～結果  上記の条件を全て満たす場合は登録処理へ、それ以外の場合はエラーとする。 – 有効系か無効系を判断しましょう • 目的の機能が動作する結果 – 有効系の結果登録処理 • 目的の機能が動作しない結果 – 無効系の結果 – 下のほうに横線か塗りつぶしエ – CFDでは、優先度は有効系より低いラー Copyright (C) 2012 Kumiko Ohmi All rights reserved 16

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

21. 例題で考えみましょう• 流れ線をかきましょう  まず「ユーザーID」に未登録の値が入力されていることを確認する。  次に「パスワード」「メールアドレス」に、値が入力されていることを確認する。  上記の条件を全て満たす場合は登録処理へ、それ以外の場合はエラーとする。ユーザーID パスワードメールアドレス登録未登録入力あり入力あり処理登録済入力なし入力なし登録処理にたどりつくにはエラー原因のどこを通る？ Copyright (C) 2012 Kumiko Ohmi All rights reserved 21

22. 例題で考えみましょう• 注意その1 流れ線は処理順通りに – CFDでは、より合理的なテストをめざし実装の情報も利用メールアドレスパスワードユーザーID 登録入力あり入力あり未登録処理入力なし入力なし登録済ユーザーIDの確認でエラーなのにエラーメールアドレスとパスワードの処理が行われる？ Copyright (C) 2012 Kumiko Ohmi All rights reserved 22

27. 例題で考えみましょう• デシジョンテーブル作成ユーザーID パスワードメールアドレス登録未登録入力あり入力あり確認処理登録済入力なし入力なしテスト項目番号 1原因ユーザーID 未登録 1 エラー登録済 0 パスワード入力あり 1 入力なし 0 メールアドレス入力あり 1 入力なし 0結果登録処理 1 エラー Copyright (C) 2012 Kumiko Ohmi All rights reserved 27

28. 例題で考えみましょう• デシジョンテーブル作成テスト項目番号 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 1 Copyright (C) 2012 Kumiko Ohmi All rights reserved 28

29. 例題で考えみましょう• 照合してチェックユーザーID パスワードメールアドレス登録未登録入力あり入力あり処理登録済入力なし入力なしエラーテスト項目番号 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 1 Copyright (C) 2012 Kumiko Ohmi All rights reserved 29

33. 関連が深い技法：同値分割• 全部はテストできない – 同じ欠陥が出るであろうもの同士、グループに – 例 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){ … Copyright (C) 2012 Kumiko Ohmi All rights reserved 33

41. 関連が深い技法：デシジョンテーブル ※フォーマットや1、0、―の表記は異なることもあるテスト項目番号 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 1 Copyright (C) 2012 Kumiko Ohmi All rights reserved 41

42. 関連が深い技法：デシジョンテーブル ※フォーマットや1、0、―の表記は条件を、判定順に列挙する異なることもある（CFDでは「原因」）テスト項目番号 1 2 3 4 原因ユーザーID 未登録 1 0 1 1 登録済 0 1 0 0 パスワード入力あり ― 1 0 1 入力なし 0 ― 0 1 メールアドレス入力あり 1 ―― 動作（処理）を、実行順に列挙する 0 （CFDでは「結果」）入力なし 0 ―― 1 結果登録処理 1 エラー 1 1 1 Copyright (C) 2012 Kumiko Ohmi All rights reserved 42

43. 関連が深い技法：デシジョンテーブル ※フォーマットや1、0、―の表記は異なることもあるテスト項目番号 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 1 Copyright (C) 2012 Kumiko Ohmi All rights reserved 43

45. 関連が深い技法：デシジョンテーブル• CFDの場合 – CFD（図）で洗い出した原因、結果の同値を全て書く • デシジョンテーブルの条件はCFDの原因へ – デシジョンテーブルの条件（原因）の並びとCFDの原因並びは同じ • デシジョンテーブルの動作はCFDの結果へ • CFDの流れ線はデシジョンテーブルの列（条件と結果の組合せ）へ – 1で表現すると、同値クラスの登場回数が判り、Excelの関数等を使ってチェックしやすくなるテスト項目番号 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 1 Copyright (C) 2012 Kumiko Ohmi All rights reserved 45

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

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

62. ？• 最初の例題がこうだったら？ – 例題新規会員登録ボタンを押した時の挙動  ログイン状態でないことを確認する。  「ユーザーID」に有効な値が入力されていることを確認する。  次に「パスワード」「メールアドレス」に、値が入力されていることを確認する。  上記の条件を全て満たす場合は登録処理へ、それ以外の場合はエラーとする。  登録処理と同時にログイン処理も行われる。 Copyright (C) 2012 Kumiko Ohmi All rights reserved 62

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

75. 参考文献• 第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）内• テストケース抽出の一方式 : 「原因流れ図」 – http://ci.nii.ac.jp/naid/110002870800• テストケース抽出の一方式「順序回路を含む場合」 – http://ci.nii.ac.jp/naid/110002880001 Copyright (C) 2012 Kumiko Ohmi All rights reserved 75