Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
Avatar for Tetta Noguchi Tetta Noguchi
September 11, 2025
Programming
1
6.7k

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

DroidKaigi 2025

Avatar for Tetta Noguchi

Tetta Noguchi

September 11, 2025
Tweet

Other Decks in Programming

See All in Programming
プロダクトオーナーから見たSOC2 _SOC2ゆるミートアップ#2
Avatar for Kenta Suzuki kekekenta
0
190
LLM Observabilityによる 対話型音声AIアプリケーションの安定運用
Avatar for Hiroyuki Moriya gekko0114
2
410
Apache Iceberg V3 and migration to V3
Avatar for Tomohiro Tanaka tomtanaka
0
140
AtCoder Conference 2025
Avatar for shindannin shindannin
0
1k
組織で育むオブザーバビリティ
Avatar for ryotaro kobayashi ryota_hnk
0
170
疑似コードによるプロンプト記述、どのくらい正確に実行される？
Avatar for kokuyouwind kokuyouwind
0
380
今から始めるClaude Code超入門
Avatar for 448jp | OKI Yoshiya 448jp
7
8.2k
今こそ知るべき耐量子計算機暗号(PQC)入門 / PQC: What You Need to Know Now
Avatar for mackey0225 mackey0225
3
370
コマンドとリード間の連携に対する脅威分析フレームワーク
Avatar for Aja9tochin pandayumi
1
440
0→1 フロントエンド開発 Tips🚀 #レバテックMeetup
Avatar for 弁護士ドットコム bengo4com
0
540
HTTPプロトコル正しく理解していますか？ 〜かわいい猫と共に学ぼう。ฅ^•ω•^ฅ ﾆｬ〜
Avatar for ♛Heitor Hirose hekuchan
2
680
[KNOTS 2026登壇資料]AIで拡張‧交差する プロダクト開発のプロセス および携わるメンバーの役割
Avatar for hisatake hisatake
0
240

Featured

See All Featured
The MySQL Ecosystem @ GitHub 2015
Avatar for Sam Lambert samlambert
251
13k
世界の人気アプリ100個を分析して見えたペイウォール設計の心得
Avatar for Akihiro Kokubo akihiro_kokubo
PRO
66
36k
Bridging the Design Gap: How Collaborative Modelling removes blockers to flow between stakeholders and teams @FastFlow conf
Avatar for Kenny Baas-Schwegler baasie
0
440
The State of eCommerce SEO: How to Win in Today's Products SERPs - #SEOweek
Avatar for Aleyda Solis aleyda
2
9.5k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
Avatar for Tammy Everts tammyeverts
55
3.2k
ピンチをチャンスに：未来をつくるプロダクトロードマップ #pmconf2020
Avatar for Aki / @LoveIdahoBurger aki_iinuma
128
55k
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
307
120k
Organizational Design Perspectives: An Ontology of Organizational Design Elements
Avatar for Dr. Kim W Petersen kimpetersen
PRO
1
75
Prompt Engineering for Job Search
Avatar for Mfonobong Umondia mfonobong
0
160
Leo the Paperboy
Avatar for Maya Tellez mayatellez
4
1.4k
Accessibility Awareness
Avatar for Sarah Abderemane sabderemane
0
47
Exploring anti-patterns in Rails
Avatar for Elle Meredith aemeredith
2
250

Transcript

  1. None
  2. None
  3. None
  4. None

  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
  8. None

  9. 価格 支払い額

  10. 価格 支払い額

  11. None

  12. Exploring Property Checking Checking Checking Checking Checking Checking

  13. None

  14. PBT UI Testing Stateful Property Compose Semantics UI PBT

  15. None
  16. None
  17. None
  18. None

  19. テスト名 初期値 結果の検証 初期値

  20. 星の総数は常に つである

  21. None
  22. None
  23. None
  24. None
  25. None
  26. None

  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. ② 境界後（繰り上がり） 終電後表記 通常表記 現在便 次便 次は 行 以降の電車はありません

  36. None
  37. None
  38. None

  39. Initial State Command if it fails Preconditions Failure Execution Next

    State Postconditions Initial State Command Preconditions Next State Select Commands Execute SUT Model
  40. None
  41. None

  42. 同一テスト内で再利用 ← 以降は状態リセットのみ （破棄しない）

  43. None
  44. None
  45. None
  46. None

  47. 新着イベント 未読 新着イベント 未読

  48. 新着イベント 未読 状態照合 なので副作用は

  49. None
  50. None
  51. None
  52. None

  53. 再生成

  54. None
  55. None

  56. 出力例：フォローボタンタップ ボタン が見える・押せる をタップ ボタン が現れる になる想定

  57. None

  58. 縮約結果の例 失敗する最小ケース アイテムを 個選択 フィルタ「カテゴリ 」を適用 全選択解除ボタンをクリック → 選択数が にならない

    分析結果の例 根本原因 が フィルタ適用時の 配列を 更新していない。 修正箇所 の前に を追加
  59. None
  60. None
  61. None

  62. 本体のバージョン （ ） に必要な （ 用） テスト ライブラリ（最小限） テスト環境