WACATE2018 夏 原因結果グラフ解説
•3 likes•12,416 views
Report
Share
Download to read offline
WACATE2018 夏 原因結果グラフについての解説（一部抜粋）
More Related Content
Recently uploaded
Recently uploaded(10)
Featured
Featured(20)
WACATE2018 夏 原因結果グラフ解説
- 1. Jun 2018 TwoFive, Inc.
- 2. 1. 自己紹介とセッションの流れ 2. ワーク#1 3. 原因結果グラフの解説（描き方編） 4. コーヒーブレイク！ 5. 解説の続き（制約編） 6. ワーク#2 2 l. 原因結果グラフ WACATE などそのほか （コーヒーブレイク程度）＞
- 3. 3 l. A 原因結果グラフというツールを知ること B 原因結果グラフの描き方を知ること C 使いこなす第一歩目を経験すること
- 4. 原因結果グラフ（CEG）に慣れるための3つの課題 自分なりにテスト条件を考えてみてください 指定した結果ノードをもとに CEG を描いてく ださい CEG を描いてください 4 l. 理解度に合 わせて力試し ワーク1 ワーク2 ワーク3
- 6. ＜定義＞ 原因結果グラフ（Cause Effect Graph） 複雑な仕様を持つテスト対象に対して、入力・状態・イベ ント（原因）と出力（結果）の論理関係をグラフで表現して 、デシジョンテーブルに変換する組み合わせテスト技法 6 l. • 複雑な論理関係を整理できる • テスト条件を自動生成できる • 論理関係のテストを効率的に実施できる
- 7. 1 テスト対象を分析・変換・整理する 2 結果とその原因を見つけて論理関係を作る 3 CEG の制約を見つける 7 l. 4 CEG からデシジョンテーブルを作成する こ こ ま で
- 19. Yes か No かで 答えられるか 19 l. 「他にないか」 と問いかけよう 「どういう時に？」 と問いかけよう
- 20. 全額負担 品質部門あるいは開発部門に所属していれば、報告書を提出 することでWACATE参加費用の全額会社負担される。 ただし、2回目以降の参加費用は半額を自己負担とする。 半額負担 Yes か No か で答えられるか （＝命題） 20 l.
- 23. 全額負担 品質部門あるいは開発部門に所属していれば、報告書を提出 することでWACATE参加費用の全額会社負担される。 ただし、2回目以降の参加費用は半額を自己負担とする。 半額負担 ・・・に所属していれば、 報告書を提出すること Yes か No か で答えられるか （＝命題） 23 l.
- 27. 全額負担 品質部門あるいは開発部門に所属していれば、報告書を提出 することでWACATE参加費用の全額会社負担される。 ただし、2回目以降の参加費用は半額を自己負担とする。 半額負担2回目以降である Yes か No か で答えられるか （＝命題） 27 l.
- 32. 選挙権 がある 例） 選挙権は、日本国民で満18歳以上であることが条件 日本国民 満18歳 以上 IF “日本国民” AND “満18歳以上” THEN “選挙権がある” 32 l. ノード リンク 論理関係
- 33. 選挙権 がある 例） 欠格事由がある場合は選挙権はない 条件を 満たす 欠格事由 IF “条件を満たす” AND NOT “欠格事由” THEN “選挙権がある” 33 l. 否定記号
- 39. 身分確認 できる 例） 旅券、免許証またはマイナンバーカード提示で身分確認 旅券の 提示 免許証の 提示 IF “旅券の提示” OR “免許証の提示” OR “マイナンバーカードの提示” THEN “身分確認できる” マイナンバー カードの提示 39 l.
- 49. 例） オフサイドというルールは、「オフサイドポジションにいる選手に対して、 パスを出す事を禁止する」というものである。 ここで「オフサイドポジション」とは 以下の条件を全て満たした位置の事を指す。 A. 相手陣内にいる B. ボールより前にいる C. 相手の2番目に後ろの選手よりゴールラインに近い位置にいる 49 l. オフサイド パスを出す A B C オフサイド パスを出す A B C オフサイド ポジション
- 51. 51 l. オフサイド パスを出す A B C オフサイド ポジション どういう場合に中間ノードを用意するか？ 中間ノードの真偽を知りたいとき（局所化） A も B も C も 当てはまるなら オフサイド ポジション
- 58. 1. 基本的な CEG の構成要素 2. 結果ノードの見つけ方 3. 原因ノードの見つけ方 4. 論理関係の見つけ方 5. 中間ノードの作り方 58 l.
- 61. 61 l. ＜定義＞ 制約（Constraint） 原因ノードや中間ノードに対して、取りうる組合せに制限 をかけること • ありえない組み合わせを排除できる • 論理関係のテスト網羅性を高める
- 63. 63 l. クーラー 起動 例） スイッチを「強冷」「弱冷」「除湿」にするとクーラー起動 強冷 弱冷 除湿 EXCL いずれか一つのノードが真になる場合（高々一つ） 該当するノードに制約 EXCL をつける
- 69. 69 l. #1 #2 #3 #4 原因 品質部門 T F T F 開発部門 F T F F 報告書提出 T F T T 2回目以降 F F T T 部門条件 T T T F 全額負担条件 T F T F 結果 全額負担 T F F F 半額負担 F F T F CEG を元にして 必要最低限の 論理テストを 確認する どうやって作ったのかわからない！
- 70. 1 全ての論理展開式を作成する 2 ありえない論理展開式を除外する 3 論理展開式を選択してテスト条件を作成する 70 l. 4 全ての論理展開式を網羅するまで繰り返す とりあえず覚えなくていいです
- 73. 73 l. CEG から TD を生成する手順は非常に手間です。 ある程度仕組みを理解した後は自動化が最適です。 テスト条件 作成
- 77. 最後に
- 78. どんな方法でテストをするか検討する 2 結果と原因を見つけて論理関係を作る 3 CEG の制約を見つける 1 テスト対象を分析・変換・整理する 78 l. 4 CEG からデシジョンテーブルを作成する
- 80. 80 l. CEG や CEGTest の使い方も 紹介されています 同値分割と 境界値分析