意外と知らない状態遷移テストの世界

by nihonbuson

Slide 1

Slide 1 text

意外と知らない状態遷移テストの世界ブロッコリー (@nihonbuson)

Slide 2

Slide 2 text

自己紹介 ● 風間裕也（ブロッコリー） ● 株式会社10X 品質管理チーム ● 副業…B-Testing（個人事業主）として ○ 株式会社MonotaRO（テストコンサルタント）他数社でお手伝い ● 社外活動 ○ WACATE実行委員長 ○ JaSST Review実行委員長 ○ Developers Summitコンテンツ委員 ○ SReEE（ソフトウェアレビューをエンジニアリングっぽく捉える会）リーダー ● 猫派 SNS上のアイコン

Slide 3

Slide 3 text

状態遷移テストとは何か

Slide 4

Slide 4 text

状態遷移テストとは何かブラックボックステスト技法のひとつ。状態遷移モデルの要素を実行するようにテストケースを設計する。状態遷移テスト（state transition testing） - ISTQB Glossary

Slide 5

Slide 5 text

例題を用いて説明ストップウォッチの「スタート/ストップ」ボタンと「リセット」ボタンについてどんなテストをしますか？ ※計測部分は正確であり、　テスト対象外とする ※ラップ機能は搭載していないとするスタート /ストップリセット https://goo.gl/iAvVm8

Slide 6

Slide 6 text

状態遷移図の作成

Slide 7

Slide 7 text

状態遷移図とは何か状態遷移図は、システムの取り得る状態と有効な遷移を示すことで、システムの振る舞いをモデル化する。遷移は、イベントによって開始され、さらにガード条件によって限定されることがある。遷移は瞬時に起きることを想定しており、遷移によってソフトウェアがアクションを起こす場合がある。 ISTQBテスト技術者資格制度 Foundation Level シラバス日本語版 Version 2023V4.0.J02 4.2.4 状態遷移テスト

Slide 8

Slide 8 text

状態遷移図の作成待機中

Slide 9

Slide 9 text

状態遷移図の作成待機中状態

Slide 10

Slide 10 text

状態遷移図の作成待機中開始擬似状態

Slide 11

Slide 11 text

状態遷移図の作成待機中計測中スタート/ ストップ押下

Slide 12

Slide 12 text

状態遷移図の作成待機中計測中スタート/ ストップ押下イベント

Slide 13

Slide 13 text

状態遷移図の作成待機中計測中遷移スタート/ ストップ押下

Slide 14

Slide 14 text

状態遷移図の作成待機中計測中一時停止中スタート/ ストップ押下スタート/ ストップ押下

Slide 15

Slide 15 text

状態遷移図の作成待機中計測中一時停止中スタート/ ストップ押下スタート/ ストップ押下スタート/ ストップ押下

Slide 16

Slide 16 text

状態遷移図の作成待機中計測中一時停止中リセット押下スタート/ ストップ押下スタート/ ストップ押下スタート/ ストップ押下

Slide 17

Slide 17 text

状態遷移図を積極的に作成すべきパターン① 待機中計測中スタート/ ストップ押下一時停止中同じイベントでも前状態によって遷移先の状態が異なる場合に作成すると良いスタート/ ストップ押下スタート/ ストップ押下リセット押下

Slide 18

Slide 18 text

状態遷移図を積極的に作成すべきパターン② 待機中計測中一時停止中同じ状態でもイベントによって遷移先の状態が異なる場合に作成すると良いスタート/ ストップ押下スタート/ ストップ押下スタート/ ストップ押下リセット押下

Slide 19

Slide 19 text

状態表の作成

Slide 20

Slide 20 text

状態表は、状態遷移図に相当するモデルである。行は状態を表し、列はイベント（存在する場合はガード条件）を表す。テーブルの項目（セル）は遷移を表し、ターゲット状態、ガード条件、および定義されている場合は結果のアクションを含む。状態遷移図とは対照的に、状態表は無効な遷移を明示的に示し、空のセルで表す。 ISTQBテスト技術者資格制度 Foundation Level シラバス日本語版 Version 2023V4.0.J02 4.2.4 状態遷移テスト状態表

Slide 21

Slide 21 text

状態表の作成待機中計測中スタート/ ストップ押下一時停止中スタート/ ストップ押下スタート/ ストップ押下リセット押下動作スタート/ストップ押下リセット押下前状態待機中計測中一時停止中

Slide 22

Slide 22 text

状態表の作成待機中計測中スタート/ ストップ押下一時停止中スタート/ ストップ押下スタート/ ストップ押下リセット押下動作スタート/ストップ押下リセット押下前状態待機中計測中計測中一時停止中

Slide 23

Slide 23 text

状態表の作成待機中計測中スタート/ ストップ押下一時停止中スタート/ ストップ押下スタート/ ストップ押下リセット押下動作スタート/ストップ押下リセット押下前状態待機中計測中計測中一時停止中一時停止中

Slide 24

Slide 24 text

状態表の作成待機中計測中スタート/ ストップ押下一時停止中スタート/ ストップ押下スタート/ ストップ押下リセット押下動作スタート/ストップ押下リセット押下前状態待機中計測中計測中一時停止中一時停止中計測中

Slide 25

Slide 25 text

状態表の作成待機中計測中スタート/ ストップ押下一時停止中スタート/ ストップ押下スタート/ ストップ押下リセット押下動作スタート/ストップ押下リセット押下前状態待機中計測中計測中一時停止中一時停止中計測中待機中

Slide 26

Slide 26 text

Slide 27

Slide 27 text

状態表の作成待機中計測中スタート/ ストップ押下一時停止中スタート/ ストップ押下スタート/ ストップ押下リセット押下リセット押下リセット押下動作スタート/ストップ押下リセット押下前状態待機中計測中計測中一時停止中一時停止中計測中待機中

Slide 28

Slide 28 text

状態表の作成待機中計測中スタート/ ストップ押下一時停止中スタート/ ストップ押下スタート/ ストップ押下リセット押下リセット押下リセット押下自己遷移はハイフンで表現する ※通例の表現動作スタート/ストップ押下リセット押下前状態待機中計測中ー計測中一時停止中ー一時停止中計測中待機中

Slide 29

Slide 29 text

もしもリセットボタンが非活性になる場合… 動作スタート/ストップ押下リセット押下前状態待機中計測中 N/A 計測中一時停止中 N/A 一時停止中計測中待機中待機中計測中スタート/ ストップ押下一時停止中スタート/ ストップ押下スタート/ ストップ押下リセット押下起こり得ない遷移は N/A(Not Applicable)で表現する ※通例の表現

Slide 30

Slide 30 text

テストケース例 # 前状態操作期待結果 1 0:00で停止しているスタート/ストップボタン押下カウントアップが始まる 2 0:00で停止しているリセットボタン押下 0:00で停止したままになる 3 カウントアップしているスタート/ストップボタン押下押した瞬間の時間でカウントが止まる 4 カウントアップしているリセットボタン押下何も変わらずカウントアップし続ける 5 0:05で停止しているスタート/ストップボタン押下 0:05からカウントアップが再開する 6 0:05で停止しているリセットボタン押下 0:00に変化し、停止している

Slide 31

Slide 31 text

Slide 32

Slide 32 text

お題

Slide 33

Slide 33 text

お題（ワークのため割愛）

Slide 34

Slide 34 text

ポイント ● 状態遷移図を描くことで、認識の違いに気付ける ● 状態表を書くことで、起こり得ない遷移や自己遷移のパターンに気付ける

Slide 35

Slide 35 text

カバレッジ

Slide 36

Slide 36 text

カバレッジ JSTQB Advanced Level テストアナリストには以下のカバレッジが提示されている ● 遷移カバレッジ ● Nスイッチカバレッジ ○ 0スイッチカバレッジ　＝　遷移カバレッジ ○ 1スイッチカバレッジ ○ 2スイッチカバレッジ … ● ラウンドトリップカバレッジ ● （＋αとして）無効な遷移を含める

Slide 37

Slide 37 text

遷移カバレッジ＝0スイッチカバレッジ

Slide 38

Slide 38 text

遷移カバレッジ（0スイッチカバレッジ）すべての状態に滞在し、すべての遷移を通過することを保証する。 ISTQBテスト技術者資格制度 Advanced Level シラバス日本語版テストアナリスト Version 3.1.1.J03

Slide 39

Slide 39 text

遷移カバレッジ（0スイッチカバレッジ）の例リセットスタート/ ストップスタート/ ストップスタート/ ストップリセットリセット待機中計測中一時停止中

Slide 40

Slide 40 text

Slide 41

Slide 41 text

遷移カバレッジ（0スイッチカバレッジ）の例リセットスタート/ ストップスタート/ ストップスタート/ ストップリセットリセット待機中計測中一時停止中上記2ケースを実行することで、遷移カバレッジが100%になる

Slide 42

Slide 42 text

Nスイッチカバレッジ

Slide 43

Slide 43 text

Nスイッチカバレッジ「N スイッチカバレッジ」は、長さ N+1 でカバーされたスイッチの数を意味し、その長さのスイッチの総数のパーセンテージで表す。例えば、100%の1スイッチカバレッジを達成するには、 2つの連続する遷移のすべての有効なシーケンスを、1 回以上テストする必要がある。このテストでは、100%の 0 スイッチカバレッジで見落としがちな故障の種類のいくつかを見つけ出すことができる。 ISTQBテスト技術者資格制度 Advanced Level シラバス日本語版テストアナリスト Version 3.1.1.J03

Slide 44

Slide 44 text

Nスイッチカバレッジの説明用お題状態C 状態A 状態B 状態D 状態E

Slide 45

Slide 45 text

0スイッチカバレッジ状態C 状態A 状態B 状態D 状態E 上の各矢印をテストすることで、すべての遷移を通過する

Slide 46

Slide 46 text

0スイッチカバレッジ状態C 状態A 状態B 状態D 状態E 上の各矢印をテストすることで、すべての遷移を通過する

Slide 47

Slide 47 text

0スイッチカバレッジ状態C 状態A 状態B 状態D 状態E 上の各矢印をテストすることで、すべての遷移を通過する

Slide 48

Slide 48 text

0スイッチカバレッジ状態C 状態A 状態B 状態D 状態E 上の各矢印をテストすることで、すべての遷移を通過する

Slide 49

Slide 49 text

0スイッチカバレッジを満たすテストケース状態C 状態A 状態B 状態D 状態E 2ケースを実施することで、 0スイッチカバレッジを満たすことができる

Slide 50

Slide 50 text

1スイッチカバレッジ状態C 状態A 状態B 状態D 状態E 状態Aを起点、状態Cを切り替えポイントとして、状態A→状態C→？？のパターンすべての遷移を通過する

Slide 51

Slide 51 text

Slide 52

Slide 52 text

1スイッチカバレッジ状態C 状態A 状態B 状態D 状態E 同様に状態Bを起点、状態Cを切り替えポイントとして、状態B→状態C→？？のパターンすべての遷移を通過する

Slide 53

Slide 53 text

Slide 54