仕様変更のためのモデリングとテスト設計技法

by たかはし

Slide 1

Slide 1 text

仕様変更のためのモデリングとテスト設計技法 WACATE 2024SUMMER 1 2024/06/22

Slide 2

Slide 2 text

自己紹介たかはし • 福島県郡山市在住 • 第三者検証会社勤務(入社3年目) • 業務 • テスト実行・テスト管理 • システムマニュアルの作成 • 運用・監視業務 • 猫派(写真は実家のねこ) 2024/06/22 WACATE 2024SUMMER 2

Slide 3

Slide 3 text

WACATEで加速最近、テストや検証の仕事に離れているため WACATEでテストについて学べてうれしい～！ 2022年夏・冬 WACATE 参加者として参加実行委員として参加 2023年夏 WACATE 2023年冬 WACATE 2024年夏 WACATE 2024/06/22 WACATE 2024SUMMER 3

Slide 4

Slide 4 text

セッションの流れ - 全体 - 4 2024/06/22 1.セッションに入る前 WACATE 2024SUMMER このセッションについてモデリング 2.前のセッションの振り返りテスト設計技法大変だったところのおさらいセッションの目的 3.モデリングとテスト設計技法を学ぶ

Slide 5

Slide 5 text

セッションの流れ – モデリング・テスト設計技法- 5 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER モデリングって何？モデリングの具体例モデリングをする時の視点解決ポイント-モデリング- モデリングとテスト設計技法のつながり同値分割デシジョンテーブルテスト状態遷移テスト解決ポイント-テスト設計技法- 境界値分析

Slide 6

Slide 6 text

セッションの流れ - 全体 - 6 2024/06/22 1.はじめに 3.モデリングとテスト設計技法を学ぶ WACATE 2024SUMMER このセッションについてモデリング 2.前のセッションの振り返りテスト設計技法大変だったところのおさらいセッションの目的

Slide 7

Slide 7 text

このセッションについてこのセッションは講義形式ですなので、講義を聞きながら不明点や疑問点、気になったところなどを事前に配布したセッション資料にメモしながら聞いてね！メモした不明点や疑問点、気になったところは本日の分科会で話してみよう！！！ 2024/06/22 WACATE 2024SUMMER 7

Slide 8

Slide 8 text

セッションの流れ - 全体 - 8 2024/06/22 1.はじめに WACATE 2024SUMMER このセッションについてモデリング 2.前のセッションの振り返りテスト設計技法大変だったところのおさらいセッションの目的 3.モデリングとテスト設計技法を学ぶ

Slide 9

Slide 9 text

大変だったところのおさらい仕様変更によるテスト手順書の修正のワークやってみて、どうでした？大変でした？ 2024/06/22 WACATE 2024SUMMER 9

Slide 10

Slide 10 text

なぜ大変だったんだろうか… プロダクトの仕様が理解しきれていない気がする… もともとのテスト手順書を修正するだけでいいのか不安… 1 2 2024/06/22 WACATE 2024SUMMER 10

Slide 11

Slide 11 text

セッションの流れ - 全体 - 11 2024/06/22 1.はじめに WACATE 2024SUMMER このセッションについてモデリングテスト設計技法 2.前のセッションの振り返り大変だったところのおさらいセッションの目的 3.モデリングとテスト設計技法を学ぶ

Slide 12

Slide 12 text

セッションの目的プロダクトの仕様が理解しきれていない気がする… もともとのテスト手順書を修正するだけでいいのか不安… 1 2 モデリングテスト設計技法 2024/06/22 解決するために学んでいく=セッションの目的 WACATE 2024SUMMER 12

Slide 13

Slide 13 text

セッションの流れ - 全体 - 13 2024/06/22 1.はじめに WACATE 2024SUMMER モデリング 2.前のセッションの振り返りテスト設計技法このセッションについて大変だったところのおさらいセッションの目的 3.モデリングとテスト設計技法を学ぶ

Slide 14

Slide 14 text

セッションの流れ – モデリング・テスト設計技法- 14 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点同値分割解決ポイント-テスト設計技法- 境界値分析デシジョンテーブルテスト状態遷移テスト

Slide 15

Slide 15 text

モデリングって何？ 15 モデリングの言葉の意味を調べてみると… 2024/06/22 WACATE 2024SUMMER 1. 模型を作る 2. 彫刻で、塑像における肉付けをする 3. 絵画で立体感を出す 4. 物事を模型や図表などによって表現する行為やその手法を指すモデリング

Slide 16

Slide 16 text

モデリングって何？ 16 2024/06/22 WACATE 2024SUMMER 1. 模型を作る 2. 彫刻で、塑像における肉付けをする 3. 絵画で立体感を出す 4. 物事を模型や図表などによって表現する行為やその手法を指す ※「モデリング」はいろんな考え方がありますが今回はこの考え方について説明します。

Slide 17

Slide 17 text

モデリングって何？ 17 2024/06/22 WACATE 2024SUMMER 物事を模型や図表などによって表現する行為やその手法を指すモデリング＝図式化、視覚化

Slide 18

Slide 18 text

モデリングって何？ 18 2024/06/22 WACATE 2024SUMMER モデリング＝図式化、視覚化具体的に言うと… 業務のプロセスやシステムの構造などを抽象化し、全体像を把握しやすいよう可視化すること

Slide 19

Slide 19 text

セッションの流れ – モデリング・テスト設計技法- 19 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点同値分割解決ポイント-テスト設計技法- 境界値分析デシジョンテーブルテスト状態遷移テスト

Slide 20

Slide 20 text

モデリングの具体例 20 「たかはしが3時のおやつで食べたいシリーズ」 2024/06/22 WACATE 2024SUMMER かしわ餅チョコムースプリンいちごのサンドイッチたい焼きおでん塩パン

Slide 21

Slide 21 text

モデリングの具体例 21 2024/06/22 WACATE 2024SUMMER かしわ餅チョコムースプリンいちごのサンドイッチたい焼きおでん塩パンこのおやつたちにどんなラベリングをしますか？

Slide 22

Slide 22 text

モデリングの具体例 22 こんなラベリングをしてみました 2024/06/22 WACATE 2024SUMMER 和菓子 120円洋菓子 300円洋菓子 140円パン 300円和菓子 150円かしわ餅チョコムースプリンいちごのサンドイッチたい焼き軽食おでん 120円パン 150円塩パン

Slide 23

Slide 23 text

モデリングの具体例 23 カテゴリーで図にしてみる 2024/06/22 WACATE 2024SUMMER かしわ餅チョコムースプリンいちごのサンドイッチたい焼きおでん和菓子洋菓子軽食パン塩パン

Slide 24

Slide 24 text

モデリングの具体例 24 表にまとめる 2024/06/22 WACATE 2024SUMMER カテゴリー名称和菓子たい焼きかしわ餅洋菓子チョコムースプリン軽食おでんパン塩パンいちごのサンドイッチ

Slide 25

Slide 25 text

モデリングの具体例 25 2024/06/22 WACATE 2024SUMMER 抽象化し、全体像を把握しやすいよう可視化することカテゴリーで分ける図、表などにまとめるモデリング

Slide 26

Slide 26 text

セッションの流れ – モデリング・テスト設計技法- 26 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点同値分割解決ポイント-テスト設計技法- 境界値分析デシジョンテーブルテスト状態遷移テスト

Slide 27

Slide 27 text

モデリングの視点 27 2024/06/22 WACATE 2024SUMMER 和菓子 120円洋菓子 300円洋菓子パン 300円和菓子 150円かしわ餅チョコムースプリンいちごのサンドイッチたい焼き軽食おでん 120円パン塩パン視点が変わると抽象化する物、方向性が変わる例：「たかはしが3時のおやつで食べたいシリーズ」 140円 150円

Slide 28

Slide 28 text

モデリングの視点 28 カテゴリーで分ける 2024/06/22 WACATE 2024SUMMER かしわ餅チョコムースプリンいちごのサンドイッチたい焼きおでん和菓子洋菓子軽食パン塩パン

Slide 29

Slide 29 text

モデリングの視点 29 表にまとめる 2024/06/22 WACATE 2024SUMMER おやつの種類名称和菓子たい焼きかしわ餅洋菓子チョコムースプリン軽食おでんパン塩パンいちごのサンドイッチ

Slide 30

Slide 30 text

モデリングの視点 30 2024/06/22 WACATE 2024SUMMER かしわ餅チョコムースプリンいちごのサンドイッチたい焼きおでん 120円 140円 150円 300円塩パン「値段」の視点で分けると

Slide 31

Slide 31 text

モデリングの視点 31 表にまとめる 2024/06/22 WACATE 2024SUMMER 値段名称 120円かしわ餅おでん 140円プリン 150円塩パンたい焼き 300円チョコムースいちごのサンドイッチ

Slide 32

Slide 32 text

モデリングの視点 32 視点が変わると抽象化する物、方向性が変わる 2024/06/22 WACATE 2024SUMMER 値段名称 120円かしわ餅おでん 140円プリン 150円塩パンたい焼き 300円チョコムースいちごのサンドイッチおやつの種類名称和菓子たい焼きかしわ餅洋菓子チョコムースプリン軽食おでんパン塩パンいちごのサンドイッチ

Slide 33

Slide 33 text

モデリングの視点 33 2024/06/22 WACATE 2024SUMMER めちゃ甘い甘い甘い甘いかしわ餅チョコムースプリンいちごのサンドイッチたい焼きしょっぱいおでん甘い塩パン「味」でラベリングしてみるしょっぱいめちゃ甘い

Slide 34

Slide 34 text

モデリングの視点 34 2024/06/22 WACATE 2024SUMMER かしわ餅チョコムースプリンいちごのサンドイッチたい焼きおでん塩パン「味」でベン図が表現できるめちゃ甘い甘いしょっぱい

Slide 35

Slide 35 text

モデリングの視点 35 視点が変わると抽象化する物、方向性が変わるため 2024/06/22 WACATE 2024SUMMER 重要なポイント・どういう視点でモデリングするか・何に注目してモデリングするか

Slide 36

Slide 36 text

セッションの流れ – モデリング・テスト設計技法- 36 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点同値分割解決ポイント-テスト設計技法- 境界値分析デシジョンテーブルテスト状態遷移テスト

Slide 37

Slide 37 text

解決ポイント-モデリング- 37 2024/06/22 WACATE 2024SUMMER モデリングの考え方を用いて考えてみるとプロダクトの全体像が把握しやすくなる！理解が深まる！プロダクトの仕様が理解しきれていない気がする… 1 仕様a 仕様2 仕様1 仕様b 仕様a 仕様2 仕様1 仕様b

Slide 38

Slide 38 text

セッションの流れ – モデリング・テスト設計技法- 38 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点同値分割解決ポイント-テスト設計技法- 境界値分析デシジョンテーブルテスト状態遷移テスト

Slide 39

Slide 39 text

モデリングとテスト設計技法のつながり 39 2024/06/22 WACATE 2024SUMMER 「テスト設計技法」はモデリングの一部同値分割状態遷移図デシジョンテーブルモデリング etc. テスト設計技法抽象化図式化表

Slide 40

Slide 40 text

セッションの流れ – モデリング・テスト設計技法- 40 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点同値分割解決ポイント-テスト設計技法- 境界値分析デシジョンテーブルテスト状態遷移テスト

Slide 41

Slide 41 text

同値分割 41 テスト対象が同じ振る舞いをすると仮定できる入力や出力などの値の集合や範囲を「同値パーティション（同値クラスともよぶ）」としてまとめ、同値パーティション内の代表値のみをテストすることによりテストの数を削減する技法である 2024/06/22 WACATE 2024SUMMER 同値パーテーション

Slide 42

Slide 42 text

同値分割 42 2024/06/22 WACATE 2024SUMMER 和菓子 120円洋菓子 300円洋菓子 140円パン 300円和菓子 150円かしわ餅チョコムースプリンいちごのサンドイッチたい焼き軽食おでん 120円パン 150円塩パン「たかはしが3時のおやつで食べたいシリーズ」で考えてみよう！

Slide 43

Slide 43 text

同値分割 43 2024/06/22 WACATE 2024SUMMER 和菓子 120円洋菓子 300円洋菓子 140円パン 300円和菓子 150円かしわ餅チョコムースプリンいちごのサンドイッチたい焼き軽食おでん 120円パン 150円塩パンたかはし 3時前におやつ買おうかな～！ …あれ、財布に200円しかない…？！？！

Slide 44

Slide 44 text

同値分割 44 2024/06/22 WACATE 2024SUMMER 買えるおやつの同値パーテーション 120円かしわ餅 150円塩パン 140円プリンおでん 120円 150円たい焼き 300円 300円チョコムースいちごのサンドイッチ買えないおやつの同値パーテーション

Slide 45

Slide 45 text

同値分割 45 2024/06/22 WACATE 2024SUMMER 買えるおやつの同値パーテーションの代表値 120円かしわ餅 150円塩パン 140円プリンおでん 120円 150円たい焼き 300円 300円チョコムースいちごのサンドイッチ買えないおやつの同値パーテーションの代表値

Slide 46

Slide 46 text

同値分割 46 2024/06/22 WACATE 2024SUMMER 買えるおやつの同値パーテーションの代表値 120円かしわ餅 150円塩パン 140円プリンおでん 120円 150円たい焼き 300円 300円チョコムースいちごのサンドイッチ買えないおやつの同値パーテーションの代表値同値パーテーションの代表値が成果物

Slide 47

Slide 47 text

同値分割 47 2024/06/22 WACATE 2024SUMMER メリット同じ振る舞いをするグループにつき１つの値等でテストを行う →テストケースを少なくまとめることができる使いどころ入力値、出力値、内部変数、時間に依存する値などいつ使うかあらゆるテスト（単体テスト〜受け入れテストまで）

Slide 48

Slide 48 text

セッションの流れ – モデリング・テスト設計技法- 48 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER 同値分割解決ポイント-テスト設計技法- 境界値分析モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点デシジョンテーブルテスト状態遷移テスト

Slide 49

Slide 49 text

境界値分析 49 プログラムの誤りが同値パーティションの境界部分に存在しやすいことに着目し、その境界上の値をしようしてテストする技法である同値パーティションの上限、加減の値、および、その直前、直後の値をテストすることにより、範囲間違いや不等号の取り違えなどを検出する 2024/06/22 WACATE 2024SUMMER 同値パーテーション最大値最小値

Slide 50

Slide 50 text

境界値分析 50 2024/06/22 WACATE 2024SUMMER 和菓子 20円洋菓子 300円洋菓子 140円パン 300円和菓子 150円かしわ餅チョコムースプリンいちごのサンドイッチたい焼き軽食おでん 120円パン 150円塩パン「たかはしが3時のおやつで食べたいシリーズ」で考えてみよう！

Slide 51

Slide 51 text

境界値分析 2024/06/22 おやつ自動販売機でおやつを買おう！ 120円 300円 140円 300円 150円かしわ餅チョコムースプリンいちごのサンドイッチたい焼きおでん 120円 150円塩パン 51

Slide 52

Slide 52 text

境界値分析 52 2024/06/22 WACATE 2024SUMMER 和菓子 120円洋菓子 300円洋菓子 140円パン 300円和菓子 150円かしわ餅チョコムースプリンいちごのサンドイッチたい焼き軽食おでん 120円パン 150円塩パンたかはしおやつ♪おやつ♪おやつを買おう～♪ …あれ、財布に150円しかない…？！？！

Slide 53

Slide 53 text

境界値分析 53 2024/06/22 WACATE 2024SUMMER 120円かしわ餅 150円塩パン 140円プリンおでん 120円 150円たい焼き 300円 300円チョコムースいちごのサンドイッチ買えるおやつの同値パーテーション無効パーテーション買えないおやつの同値パーテーション 150円 120円 119円 151円

Slide 54

Slide 54 text

境界値分析 54 2024/06/22 WACATE 2024SUMMER 買えるおやつの同値パーテーション無効パーテーション買えないおやつの同値パーテーション 150円 120円 119円 151円 1つのパーティションの最小値と最大値の境界値が成果物

Slide 55

Slide 55 text

境界値分析 55 2024/06/22 WACATE 2024SUMMER メリット同値クラスの境界値では一般的に欠陥が潜んでることが多い →効率的に欠陥を見つけることができる使いどころ入力値、出力値、内部変数、時間に依存する値などいつ使うかあらゆるテスト（単体テスト〜受け入れテストまで）

Slide 56

Slide 56 text

セッションの流れ – モデリング・テスト設計技法- 56 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER テスト設計技法同値分割解決ポイント-テスト設計技法- 境界値分析モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点デシジョンテーブルテスト状態遷移テスト

Slide 57

Slide 57 text

デシジョンテーブルテスト 57 デシジョンテーブルとはテスト対象の複数ある条件の組み合わせを表にまとめるテストするために使用する 2024/06/22 WACATE 2024SUMMER SQuBOK策定部会編「ソフトウェア品質知識体系ガイド(第3版)」日経BP社、2020年デシジョンテーブルは、ビジネスルールなどの複雑なロジックを記録する効果的な方法である＊因子：テストの結果を変える要因となりうるもの

Slide 58

Slide 58 text

デシジョンテーブルテスト 140円 150円プリンたい焼きおでん 120円「たかはしが3時のおやつで食べたいシリーズ」で考えてみよう！おやつ自動販売機でおやつを2つ以上、290円分買うとおまけがもえらえるんだ！おまけがほしいからこの3つで検討！ 58 2024/06/22 WACATE 2024SUMMER

Slide 59

Slide 59 text

デシジョンテーブルテスト 59 デシジョンテーブルにまとめるとこんな表になる 2024/06/22 WACATE 2024SUMMER 因子水準＃1 #2 #3 #4 #5 #6 #7 #8 おやつプリン Y Y Y Y N N N N たい焼き Y Y N N Y Y N N おでん Y N Y N Y N Y N 合計金額 290円以上 X X - - - - - - 290円未満 - - X X X X X X 結果おまけがもらえる X X - - - - - - おまけがもらえないーー X X X X X X 140円 150円プリンたい焼きおでん 120円

Slide 60

Slide 60 text

デシジョンテーブルテスト 60 デシジョンテーブルにまとめるとこんな表になる 2024/06/22 WACATE 2024SUMMER 因子水準＃1 #2 #3 #4 #5 #6 #7 #8 おやつプリン Y Y Y Y N N N N たい焼き Y Y N N Y Y N N おでん Y N Y N Y N Y N 合計金額 290円以上 X X - - - - - - 290円未満 - - X X X X X X 結果おまけがもらえる X X - - - - - - おまけがもらえないーー X X X X X X 条件記述部 (条件の一覧) 条件指定部（条件組み合わせ）動作記述部 (結果の一覧) 動作指定部（組み合わせに対する結果）

Slide 61

Slide 61 text

デシジョンテーブルテスト 61 デシジョンテーブル①条件記述部を書く 2024/06/22 WACATE 2024SUMMER おやつを2つ以上、290円分買うとおまけがもえらえる！おやつの候補 140円 150円プリンたい焼きおでん 120円合計金額 290円以上 290円未満 0円

Slide 62

Slide 62 text

デシジョンテーブルテスト 62 デシジョンテーブル①条件記述部を書く今回は購入するおやつの組み合わせを出したいので、合計金額を出すために考慮すべき有効なクラスを条件記述部に書く 2024/06/22 WACATE 2024SUMMER 因子水準おやつプリンたい焼きおでん合計金額 290円以上 290円未満おやつの候補プリンたい焼きおでん合計金額 290円以上 290円未満

Slide 63

Slide 63 text

デシジョンテーブルテスト 63 デシジョンテーブルテスト②動作記述部を書く想定される動作や結果を動作記述部に書き出す 2024/06/22 WACATE 2024SUMMER 結果おまけがもらえるおまけがもらえないおまけがもえらえる

Slide 64

Slide 64 text

デシジョンテーブルテスト 64 デシジョンテーブルテスト③条件指定部を書くそれぞれの因子の条件の組み合わせを条件指定部に記載一般的には取りうる水準を全て条件記述部に書いて、 Y,N（Yes,No）を条件指定部に書いた方が抜け漏れは見つけやすい 2024/06/22 WACATE 2024SUMMER 因子水準＃1 #2 #3 #4 #5 #6 #7 #8 おやつプリン Y Y Y Y N N N N たい焼き Y Y N N Y Y N N おでん Y N Y N Y N Y N 合計金額 290円以上 X X - - - - - - 290円未満 - - X X X X X X

Slide 65

Slide 65 text

因子水準＃1 #2 #3 おやつプリン Y Y Y たい焼き Y Y N おでん Y N Y 合計金額 290円以上 X X - 290円未満 - - X 結果おまけがもらえる X X - おまけがもらえないーー X デシジョンテーブルテスト 65 デシジョンテーブルテスト④条件指定部を書く 2024/06/22 WACATE 2024SUMMER 条件指定部の条件から想定される結果を記入 ★ここでは当てはまるものに Xを入力

Slide 66

Slide 66 text

デシジョンテーブルテスト 66 デシジョンテーブルテスト④条件指定部を書くデシジョンテーブルの出来上がり！ 2024/06/22 WACATE 2024SUMMER 因子水準＃1 #2 #3 #4 #5 #6 #7 #8 おやつプリン Y Y Y Y N N N N たい焼き Y Y N N Y Y N N おでん Y N Y N Y N Y N 合計金額 290円以上 X X - - - - - - 290円未満 - - X X X X X X 結果おまけがもらえる X X - - - - - - おまけがもらえないーー X X X X X X

Slide 67

Slide 67 text

デシジョンテーブルテスト 67 デシジョンテーブルテスト⑤テストケースにするもしテストケースにするなら、こんな感じ 2024/06/22 WACATE 2024SUMMER ケースおやつの組み合わせ合計金額期待される結果 1 プリン＋たい焼き＋おでん 290円以上おまけがもらえる 2 プリン＋たい焼き 290円以上おまけがもらえる 3 プリン＋おでん 290円未満おまけがもらえない 4 プリンのみ 290円未満おまけがもらえない 5 たい焼き＋おでん 290円未満おまけがもらえない 6 たい焼きのみ 290円未満おまけがもらえない

Slide 68

Slide 68 text

デシジョンテーブルテスト 68 2024/06/22 WACATE 2024SUMMER デシジョンテーブルが成果物因子水準＃1 #2 #3 #4 #5 #6 #7 #8 おやつプリン Y Y Y Y N N N N たい焼き Y Y N N Y Y N N おでん Y N Y N Y N Y N 合計金額 290円以上 X X - - - - - - 290円未満 - - X X X X X X 結果おまけがもらえる X X - - - - - - おまけがもらえないーー X X X X X X

Slide 69

Slide 69 text

デシジョンテーブルテスト 69 2024/06/22 WACATE 2024SUMMER メリット複数因子の条件によって結果が分かれる時に、仕様を抜け漏れなく整理してテストできる使いどころ複数の条件の組み合わせによって結果が分かれる場合いつ使うか統合テスト、システムテスト

Slide 70

Slide 70 text

デシジョンテーブルテスト 70 注意条件自体がもれていると効果がないデシジョンテーブルとは複数因子からなる結果の条件を明らかにして、そこにフォーカスしてテストする技法条件が複雑な場合に効果を発揮するが、テストケース数が爆発することもある 2024/06/22 WACATE 2024SUMMER 他の条件が存在しないか確認、条件の粒度を定めるテストしたい条件、結果以外のテスト（境界値分析など）を含めて書かない

Slide 71

Slide 71 text

セッションの流れ – モデリング・テスト設計技法- 71 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER テスト設計技法同値分割解決ポイント-テスト設計技法- 境界値分析モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点デシジョンテーブルテスト状態遷移テスト

Slide 72

Slide 72 text

状態遷移図テスト 72 状態遷移図や状態遷移表を使ってテスト対象プログラムの仕様を整理し、これに基づいてテストケースを作成する技法である網羅する遷移の数を表す「Nスイッチカバレッジ」により網羅基準を設定する 2024/06/22 WACATE 2024SUMMER SQuBOK策定部会編「ソフトウェア品質知識体系ガイド(第3版)」日経BP社、2020年

Slide 73

Slide 73 text

状態遷移図テスト 73 おやつ自動販売機のイベントに対する状態の変化を整理し、状態遷移にフォーカスしたテストをしてみる 2024/06/22 WACATE 2024SUMMER 待機中購入完了購入待機中お金を入れる状態遷移図状態イベントお金を入れるおやつボタンを押す待機中購入待機中 N/A 購入待機中 N/A 購入完了 …イベント …状態お金を入れるおやつボタンを押す

Slide 74

Slide 74 text

• おやつ自動販売機にお金を入れると、購入可能なおやつボタンが点灯する • 点灯したおやつボタンを押すと、おやつがおやつ取出口に落ちて待機中に戻る • おつりがあれば、おつりレバーを引くとおつりがおつり返却口に落ちて待機中に戻るおやつ自動販売機でのおやつ購入までの流れ状態遷移図テスト 74 2024/06/22 WACATE 2024SUMMER

Slide 75

Slide 75 text

状態遷移テスト①状態を見つける状態遷移図テスト待機中購入待機中おやつ購入完了おつり返却完了待機中 75 2024/06/22 WACATE 2024SUMMER 待機中 • おやつ自動販売機にお金を入れると、購入可能なおやつボタンが点灯する • 点灯したおやつボタンを押すと、おやつがおやつ取出口に落ちて待機中に戻る • おつりがあれば、おつりレバーを引くとおつりがおつり返却口に落ちて待機中に戻る

Slide 76

Slide 76 text

• おやつ自動販売機にお金を入れると、購入可能なおやつボタンが点灯する • 点灯したおやつボタンを押すと、おやつがおやつ取出口に落ちて待機中に戻る • おつりがあれば、おつりレバーを引くとおつりがおつり返却口に落ちて待機中に戻る状態遷移テスト②イベントを見つける状態遷移図テスト 76 2024/06/22 WACATE 2024SUMMER

Slide 77

Slide 77 text

状態遷移テスト③状態遷移図・状態遷移表を作る状態遷移図テスト 77 2024/06/22 WACATE 2024SUMMER 購入待機中おつり返却完了待機中黒文字…イベント …状態お金を入れるおやつボタンを押すおつりがある場合おつりのレバーを引くおつりがない場合これ、合ってるのかな…？購入完了

Slide 78

Slide 78 text

状態遷移図テスト 78 デシジョンテーブルテスト⑤テストケースにするもしテストケースにするなら、こんな感じ 2024/06/22 WACATE 2024SUMMER 状態/イベントお金を入れるおやつボタンを押すおつりレバーを引く待機中購入待機中 N/A N/A 購入待機中？？？購入完了？？？購入完了？？？ N/A おつり返却完了おつり返却完了？？？ N/A N/A

Slide 79

Slide 79 text

状態遷移図テスト 79 デシジョンテーブルテスト⑤テストケースにするもしテストケースにするなら、こんな感じ 2024/06/22 WACATE 2024SUMMER 状態/イベントお金を入れるおやつボタンを押すおつりレバーを引く待機中購入待機中 N/A N/A 購入待機中？？？購入完了？？？購入完了？？？ N/A おつり返却完了おつり返却完了？？？ N/A N/A どうなるっけ？ここ抜けてた…

Slide 80

Slide 80 text

状態遷移図テスト 80 デシジョンテーブルテスト⑤テストケースにするもしテストケースにするなら、こんな感じ 2024/06/22 WACATE 2024SUMMER 状態/イベントお金を入れるおやつボタンを押すおつりレバーを引く待機中購入待機中 N/A N/A 購入待機中 N/A 購入完了待機中購入完了購入待機中 N/A おつり返却完了おつり返却完了購入待機中 N/A N/A

Slide 81

Slide 81 text

状態遷移テスト③状態遷移図・状態遷移表を直す状態遷移図テスト 81 2024/06/22 WACATE 2024SUMMER 購入待機中待機中黒文字…イベント …状態お金を入れるおやつボタンを押すおつりがある場合おつりのレバーを引くおつりがない場合購入完了おつりのレバーを引くお金を入れるおつり返却完了お金を入れる

Slide 82

Slide 82 text

状態遷移図テスト 82 状態遷移テスト④テストケースを作る（手作業） 2024/06/22 WACATE 2024SUMMER 経路番号状態遷移状態遷移状態 01 待機中お金を入れる購入待機中おつりレバーを引く待機中 02 待機中お金を入れる購入待機中おやつボタンを押す購入完了 03 購入待機中お金を入れる購入待機中おつりレバーを引く待機中 04 購入待機中おやつボタンを押す購入完了お金を入れる購入待機中 05 購入待機中おつりレバーを引く待機中お金を入れる購入待機中 06 購入完了お金を入れる購入待機中おつりレバーを引く待機中 07 購入完了お金を入れる購入待機中おやつボタンを押す購入完了これは一部

Slide 83

Slide 83 text

状態遷移図テスト 83 Nスイッチカバレッジは網羅の遷移の数 2024/06/22 WACATE 2024SUMMER 遷移前状態イベント期待結果待機中お金を入れる購入待機中購入待機中おやつボタンを押す購入待機中遷移前状態イベント状態1 イベント期待結果待機中お金を入れる購入待機中おやつボタンを押す購入完了購入待機中おやつボタンを押す購入待機中おやつボタンを押す購入完了０スイッチカバレッジ（スタート状態→ゴール状態） Nスイッチカバレッジ(ここでは1スイッチ) （スタート状態→別のN個の状態を挟む →ゴール状態）

Slide 84

Slide 84 text

Nスイッチカバレッジを図から出すのは大変！状態遷移図テスト 84 2024/06/22 WACATE 2024SUMMER 購入待機中待機中黒文字…イベント …状態お金を入れるおやつボタンを押すおつりがある場合おつりのレバーを引くおつりがない場合購入完了おつりのレバーを引くお金を入れるおつり返却完了お金を入れる

Slide 85

Slide 85 text

状態遷移テスト④テストケースを作る（手作業）状態遷移図テスト 85 2024/06/22 WACATE 2024SUMMER 購入待機中待機中購入完了おつり返却完了 1.全ての状態を書き出す

Slide 86

Slide 86 text

状態/ イベントお金を入れるおやつボタンを押すおつりレバーを引く待機中購入待機中 N/A N/A 購入待機中 N/A 購入完了待機中購入完了購入待機中 N/A おつり返却完了状態遷移テスト④テストケースを作る（手作業）状態遷移図テスト 86 2024/06/22 WACATE 2024SUMMER 購入待機中待機中購入完了おつり返却完了 2.状態遷移表を見て遷移先の状態をぶら下げる（木構造にする）おやつボタンを押すおつりレバーを引く待機中購入完了

Slide 87

Slide 87 text

状態/ イベントお金を入れるおやつボタンを押すおつりレバーを引く待機中購入待機中 N/A N/A 購入待機中 N/A 購入完了待機中購入完了購入待機中 N/A おつり返却完了状態遷移テスト④テストケースを作る（手作業）状態遷移図テスト 87 2024/06/22 WACATE 2024SUMMER 購入待機中待機中購入完了おつり返却完了 3.やりたい網羅基準（１スイッチ）になるまでⅱを繰り返すおやつボタンを押すおつりレバーを引く待機中購入完了おつり返却完了購入待機中

Slide 88

Slide 88 text

状態遷移図テスト 88 状態遷移テスト④テストケースを作る（手作業） 2024/06/22 WACATE 2024SUMMER 経路番号状態遷移状態遷移状態 01 待機中お金を入れる購入待機中おつりレバーを引く待機中 02 待機中お金を入れる購入待機中おやつボタンを押す購入完了 03 購入待機中お金を入れる購入待機中おつりレバーを引く待機中 04 購入待機中おやつボタンを押す購入完了お金を入れる購入待機中 05 購入待機中おつりレバーを引く待機中お金を入れる購入待機中 06 購入完了お金を入れる購入待機中おつりレバーを引く待機中 07 購入完了お金を入れる購入待機中おやつボタンを押す購入完了これは一部

Slide 89

Slide 89 text

状態遷移図テスト 89 2024/06/22 WACATE 2024SUMMER 購入待機中待機中黒文字…イベント …状態お金を入れるおやつボタンを押すおつりがある場合おつりのレバーを引くおつりがない場合購入完了おつりのレバーを引くお金を入れるおつり返却完了お金を入れる状態遷移図が成果物

Slide 90

Slide 90 text

状態遷移図テスト 90 2024/06/22 WACATE 2024SUMMER メリットシステムの状態の変化にフォーカスしたテストができる状態遷移の仕様誤りや設計誤りを見つけることができる使いどころシステムの状態遷移が複数の状態に変化する場合いつ使うか統合テスト、システムテスト

Slide 91

Slide 91 text

状態遷移図テスト 91 注意どこまでも複雑になるのでテストしたいのかは考えること（Nスイッチカバレッジ）なんの状態をテストしたいか特定してテストする（購入状態がテストしたいのか？画面遷移がテストしたいのか？） 2024/06/22 WACATE 2024SUMMER

Slide 92

Slide 92 text

セッションの流れ – モデリング・テスト設計技法- 92 2024/06/22 モデリングテスト設計技法 WACATE 2024SUMMER モデリングって何？解決ポイント-モデリング- モデリングとテスト設計技法のつながりモデリングの具体例モデリングをする時の視点同値分割解決ポイント-テスト設計技法- 境界値分析デシジョンテーブルテスト状態遷移テスト

Slide 93

Slide 93 text

解決ポイント-テスト設計技法- 93 2024/06/22 WACATE 2024SUMMER モデリングの考え方を用いて考えてみるとプロダクトの仕様が理解できていれば、テスト設計技法を使ってパターンやテストすべきところを明確になる！テスト項目書の修正するところが分かる！テスト項目書の不足分がある場合でも対応できる！もともとのテスト手順書を修正するだけでいいのか不安… 2 具体的な解決方法は次のセッションで分かるよ！

Slide 94

Slide 94 text

最後に 94 ご清聴ありがとうございました！みんながんばっていこうね！ 2024/06/22 WACATE 2024SUMMER