プロパティベーステストによるUIテスト: LLMによるプロパティ定義生成でエッジケースを捉える

DroidKaigi 2025

Transcript

5. Problem Space TestCase2 TestCase1 TestCase3 TestCase TestCase TestCase
6. Search Space by Generator Problem Space TestCase2 TestCase1 TestCase3 TestCase TestCase TestCase Property
7. Search Space by Generator Problem Space TestCase2 TestCase1 TestCase3 TestCase TestCase TestCase Property
9. 価格 支払い額
10. 価格 支払い額
12. Exploring Property Checking Checking Checking Checking Checking Checking
14. PBT UI Testing Stateful Property Compose Semantics UI PBT
19. テスト名 初期値 結果の検証 初期値
20. 星の総数は常に つである
27. 発車境界をまたぐと現在便が繰り上がる
28. 普通 番線
29. ① 境界前 現在便時刻 次便時刻 次は 行
30. ② 境界後（繰り上がり） 現在便時刻 次便時刻 次は 行 以降の電車はありません
31. 普通 番線
32. 普通 番線
33. 普通 番線 普通 番線 Departs 18:00 Departs 18:00 Current Next None None Current Next Departs 18:00 Departs 18:00
34. ① 境界前 現在便 次便 次は 行
35. ② 境界後（繰り上がり） 終電後表記 通常表記 現在便 次便 次は 行 以降の電車はありません
39. Initial State Command if it fails Preconditions Failure Execution Next State Postconditions Initial State Command Preconditions Next State Select Commands Execute SUT Model
42. 同一テスト内で再利用 ← 以降は状態リセットのみ （破棄しない）
47. 新着イベント 未読 新着イベント 未読
48. 新着イベント 未読 状態照合 なので副作用は
53. 再生成
56. 出力例：フォローボタンタップ ボタン が見える・押せる をタップ ボタン が現れる になる想定
58. 縮約結果の例 失敗する最小ケース アイテムを 個選択 フィルタ「カテゴリ 」を適用 全選択解除ボタンをクリック → 選択数が にならない 分析結果の例 根本原因 が フィルタ適用時の 配列を 更新していない。 修正箇所 の前に を追加
62. 本体のバージョン （ ） に必要な （ 用） テスト ライブラリ（最小限） テスト環境