【KotlinFest 2026】Kotlin × グラフ理論：Unstable APIで挑む関数レベルAffected Test Selectionライブラリ

Kotlin Fest 2026登壇資料

1. Kotlin × グラフ理論： Unstable APIで挑む関数レベル Affected Test Selectionライブラリ Haruto Kato 1
2. ⾃⼰紹介 加藤 遥⽃ (@HalunoYo) Android Engineer @ BizReach 低レイヤー & セキュリティ好き ※本発表は所属企業とは関係ありません Haruto Kato 2
3. 悩みの紹介 単体テスト時間⻑すぎ問題 Haruto Kato 3
4. 悩みの紹介 func A() func B() @Test func A() +9 func A() func C() Haruto Kato @Test func B() @Test func C() 4
5. 悩みの紹介 func A() func B() @Test func A() +9 func A() func C() Haruto Kato @Test func B() @Test func C() 5
6. 転期 競技プログラミング Haruto Kato 6
7. Rotting Oranges(腐っていく蜜柑) Haruto Kato 7
8. Rotting Oranges(腐っていく蜜柑) Haruto Kato 8
9. Rotting Oranges(腐っていく蜜柑) Haruto Kato 9
10. Rotting Oranges(腐っていく蜜柑) Haruto Kato 10
11. 問題の抽象化 ある要素が変わった時、 影響を受ける他の要素を全列挙する Haruto Kato 11
12. 問題の再具体化 ある関数が変わった時、 影響を受ける他の関数を全列挙する Haruto Kato 12
13. グラフ理論とは グラフ理論 (Graph Theory) Haruto Kato 13
14. グラフ理論とは 2 4 1 6 5 3 ノード(頂点) エッジ(辺) Haruto Kato 14
15. グラフ理論とは B D A F E C ノード(頂点) エッジ(辺) Haruto Kato 15
16. グラフ理論とは B D A F E C ノード(頂点) エッジ(辺) Haruto Kato 16
17. 強み B D A F E C Haruto Kato 17
18. 強み B D A F E C Haruto Kato 18
19. 強み B D A F E C Haruto Kato 19
20. 強み B D A F E C Haruto Kato 20
21. ノードB,Dの関係性 B A F C Haruto Kato fun B() { ?/ Dを呼ぶ val result = D() } D E 21
22. ノードD,Fの関係性 B A F C Haruto Kato fun D() { ?/ Fを呼ぶ val result = F() } D E 22
23. 確認すべき⽅向 A D V テストすべき関数たち Haruto Kato 23 F
24. グラフ問題 変更された関数ノードが与えられます 当該ノードに対し到達可能なノードを全列挙せよ Haruto Kato 24
25. OSS紹介とお願い sazanami Kotlinプロジェクト向け。 差分から関数単位でテスト範囲を絞る。 Haruto Kato 25
26. 処理全体像 入力 Haruto Kato 加工 26 出力
27. 処理全体像 入力 Haruto Kato 加工 27 出力
28. ⼊⼒フェーズの責務 git差分を受け取る 変更された関数モデルを作成 Haruto Kato 28
29. 変更関数ドメインモデル data class ChangedFunction { val fqn: CallableFqn, val moduleName: ModuleName, … } Haruto Kato 29
30. 処理内容 fun B() { val result = D() + } Haruto Kato ChangedFunction( fqn = “com.hogehoge.B”, moduleName = “core”, ) 30
31. 処理全体像 入力 Haruto Kato 加工 31 出力
32. 加⼯フェーズの責務 Kotlin Analysis⽤解析セッション構築 関数コールグラフ構築 影響範囲⾛査 Haruto Kato 32
33. 加⼯フェーズの責務 Kotlin Analysis⽤解析セッション構築 関数コールグラフ構築 影響範囲⾛査 Haruto Kato 33
34. Kotlin Analysis⽤解析セッション構築 1. Kotlin Analysis API 2. 解析環境構築 Haruto Kato 34
35. Kotlin Analysis⽤解析セッション構築 1. Kotlin Analysis API 2. 解析環境構築 Haruto Kato 35
36. Kotlin Analysis API Kotlin Analysis API Kotlin Analysis API Standalone Haruto Kato 36
37. Kotlin Analysis API Kotlin Analysis API Kotlin Analysis API Standalone Haruto Kato 37
38. 違い モジュール ファイル 全て⾃前で提供 Haruto Kato 38 Etc
39. Kotlin Analysis API PSIからは分からない”意味”を教えてくれる Haruto Kato 39
40. PSI(Program Structure Interface) ファイル クラス 関数A Haruto Kato 関数B 40 関数C
41. 意味解析の不明点 class KotlinLove { fun love(){ return hoge.funcA() } } funcAとは...？ Haruto Kato 41
42. 意味解析の不明点 class KotlinLove { fun love(){ return hoge.funcA() } } io.github.sazanami.hoge.funcA Haruto Kato 42
43. Kotlin Analysis⽤解析セッション構築 1. Kotlin Analysis API 2. 解析環境構築 Haruto Kato 43
44. build.gradle.kts dependencies { implementation("kotlin:analysis-api-for-ide:$ktVersion") { isTransitive = false } // 他にも⾊々インポート } implementation("kotlin:symbol-light-classes-for-ide:$ktVersion"){ isTransitive = false } Haruto Kato 44
45. 推移的依存を使⽤しない理由 推移的依存の場合： ⾮公開の内部ライブラリ(analysis-api-fir等)を参照する。 そのため、公開済artifactのみを使うよう明⽰ Haruto Kato 45
46. モジュール情報収集 fun collectModuleInfo() mapOf( ":core" to listOf("/project/core/src/main/kotlin"), ":app" to listOf("/project/app/src/main/kotlin") ) Haruto Kato 46
47. モジュール依存関係情報収集 fun collectModuleDependencies() mapOf( ":app" to setOf(":core", “:data”) ) Haruto Kato 47
48. マルチモジュールの壁 マルチモジュール対応 Haruto Kato 48
49. マルチモジュールの壁 ModuleB ModuleA Haruto Kato ModuleC 49
50. マルチモジュールの壁 Developer Kotlin Analysis ModuleAの依存先はこれ ModuleB?? ModuleB Haruto Kato ModuleC 50 ModuleC??
51. トポロジカルソート fun topologicalSort() Haruto Kato 51
52. トポロジカルソート適⽤ Before A B C B C A After Haruto Kato 52
53. コンテキスト登録 fun buildStandaloneAnalysisSession() { val session = buildStandaloneAnalysisAPISession(disposable) { for (moduleName in sortedModules) { … val module = buildKtSourceModule { this.moduleName = moduleName sourceRoots.forEach { addSourceRoot(it) } for (dep in allDependencies) { … addRegularDependency(dep) } } addModule(module) } } } Haruto Kato 53
54. コンテキスト登録 fun buildStandaloneAnalysisSession() { val session = buildStandaloneAnalysisAPISession(disposable) { for (moduleName in sortedModules) { … val module = buildKtSourceModule { this.moduleName = moduleName sourceRoots.forEach { addSourceRoot(it) } for (dep in allDependencies) { … addRegularDependency(dep) } } addModule(module) } } } Haruto Kato 54
55. セッションとは Application Project Module KtFile A KtFile B Haruto Kato 55
56. コンテキスト登録 fun buildStandaloneAnalysisSession() { val session = buildStandaloneAnalysisAPISession(disposable) { for (moduleName in sortedModules) { … val module = buildKtSourceModule { this.moduleName = moduleName sourceRoots.forEach { addSourceRoot(it) } for (dep in allDependencies) { … addRegularDependency(dep) } } addModule(module) } } } Haruto Kato 56
57. コンテキスト登録 fun buildStandaloneAnalysisSession() { val session = buildStandaloneAnalysisAPISession(disposable) { for (moduleName in sortedModules) { … val module = buildKtSourceModule { this.moduleName = moduleName sourceRoots.forEach { addSourceRoot(it) } for (dep in allDependencies) { … addRegularDependency(dep) } } addModule(module) } } } Haruto Kato 57
58. コンテキスト登録 fun buildStandaloneAnalysisSession() { val session = buildStandaloneAnalysisAPISession(disposable) { for (moduleName in sortedModules) { … val module = buildKtSourceModule { this.moduleName = moduleName sourceRoots.forEach { addSourceRoot(it) } for (dep in allDependencies) { … addRegularDependency(dep) } } addModule(module) } } } Haruto Kato 58
59. コンテキスト登録 fun buildStandaloneAnalysisSession() { val session = buildStandaloneAnalysisAPISession(disposable) { for (moduleName in sortedModules) { … val module = buildKtSourceModule { this.moduleName = moduleName sourceRoots.forEach { addSourceRoot(it) } for (dep in allDependencies) { … addRegularDependency(dep) } } addModule(module) } } } Haruto Kato 59
60. コンテキスト登録 fun buildStandaloneAnalysisSession() { val session = buildStandaloneAnalysisAPISession(disposable) { for (moduleName in sortedModules) { … val module = buildKtSourceModule { this.moduleName = moduleName sourceRoots.forEach { addSourceRoot(it) } for (dep in allDependencies) { … addRegularDependency(dep) } } addModule(module) } } } Haruto Kato 60
61. 加⼯フェーズの責務 Kotlin Analysis⽤解析セッション構築 関数コールグラフ構築 影響範囲⾛査 Haruto Kato 61
62. コールグラフ構築の全体像 1. KtFile内の1⾏⽬から最終⾏まで全⾛査 2. 関数呼び出しを検知 3. 呼び出し元関数を特定 4. ⼿順2及び3の関数同⼠の関係性をグラフ化 Haruto Kato 62
63. コールグラフ構築の全体像 1. KtFile内の1⾏⽬から最終⾏まで全⾛査 2. 関数呼び出しを検知 3. 呼び出し元関数を特定 4. ⼿順2及び3の関数同⼠の関係性をグラフ化 Haruto Kato 63
64. KtFile全⾛査 1 2 3 4 5 6 7 8 Haruto Kato package io.github.kotlin_love import … class KotlinLove { fun love(){ return } } 64
65. KtFile全⾛査 1 2 3 4 5 6 7 8 Haruto Kato package io.github.kotlin_love import … class KotlinLove { fun love(){ return } } 65
66. KtFile全⾛査 1 2 3 4 5 6 7 8 Haruto Kato package io.github.kotlin_love import … class KotlinLove { fun love(){ return } } 66
67. KtFile全⾛査 1 2 3 4 5 6 7 8 Haruto Kato package io.github.kotlin_love import … class KotlinLove { fun love(){ return } } 67
68. KtFile全⾛査 改⾏無しパターン 改⾏有りパターン class KotlinLove { fun love(){ return } } class KotlinLove { fun love() { return } } Haruto Kato 68
69. KtFile全⾛査 with PSI PSI Haruto Kato 69
70. PSIの表現モデル KtElement https://kotlin.github.io/analysis-api/fundamentals.html#kotlin-psi Haruto Kato 70
71. PSI Tree化 KtClass KtClassBody class KotlinLove { fun love(): Unit { return } } KtNamedFunction KtTypeReference KtBlockExpression KtReturnExpression Haruto Kato 71
72. PSI Tree化 KtClass KtClassBody class KotlinLove { fun love(): Unit { return } } KtNamedFunction KtTypeReference KtBlockExpression KtReturnExpression Haruto Kato 72
73. PSI Tree化 KtClass KtClassBody class KotlinLove { fun love(): Unit { return } } KtNamedFunction KtTypeReference KtBlockExpression KtReturnExpression Haruto Kato 73
74. PSI Tree化 KtClass KtClassBody class KotlinLove { fun love(): Unit { return } } KtNamedFunction KtTypeReference KtBlockExpression KtReturnExpression Haruto Kato 74
75. PSI Tree化 KtClass KtClassBody class KotlinLove { fun love(): Unit { return } } KtNamedFunction KtTypeReference KtBlockExpression KtReturnExpression Haruto Kato 75
76. PSI Tree化 KtClass KtClassBody class KotlinLove { fun love(): Unit { return } } KtNamedFunction KtTypeReference KtBlockExpression KtReturnExpression Haruto Kato 76
77. PSI Tree化 KtClass KtClassBody class KotlinLove { fun love(): Unit { return } } KtNamedFunction KtTypeReference KtBlockExpression KtReturnExpression Haruto Kato 77
78. コールグラフ構築の全体像 1. KtFile内の1⾏⽬から最終⾏まで全⾛査 2. 関数呼び出しを検知 3. 呼び出し元関数を特定 4. ⼿順2及び3の関数同⼠の関係性をグラフ化 Haruto Kato 78
79. 関数呼び出しの検出 KtCallExpression Haruto Kato 79
80. 関数呼び出しの検出 KtCallExpressionだ！ Haruto Kato 80
81. 関数呼び出しの検出 fun processFile(file: KtFile) { file.accept(object : KtTreeVisitorVoid() { override fun visitCallExpression(expression: KtCallExpression){ processCallExpression(expression) super.visitCallExpression(expression) } } } Haruto Kato 81
82. 関数呼び出しの検出 fun processFile(file: KtFile) { file.accept(object : KtTreeVisitorVoid() { override fun visitCallExpression(expression: KtCallExpression){ processCallExpression(expression) super.visitCallExpression(expression) } } } Haruto Kato 82
83. 関数呼び出しの検出 fun processFile(file: KtFile) { file.accept(object : KtTreeVisitorVoid() { override fun visitCallExpression(expression: KtCallExpression){ processCallExpression(expression) super.visitCallExpression(expression) } } } Haruto Kato 83
84. コールグラフ構築の全体像 1. KtFile内の1⾏⽬から最終⾏まで全⾛査 2. 関数呼び出しを検知 3. 呼び出し元関数を特定 4. ⼿順2及び3の関数同⼠の関係性をグラフ化 Haruto Kato 84
85. 呼び出し元関数の検出 KtCallExpressionだ！ Haruto Kato 85
86. 呼び出し元関数の検出 KtNamedFunction Haruto Kato 86
87. 呼び出し元関数の検出 KtCallExpressionだ！ Haruto Kato 87
88. 呼び出し元関数の検出 KtNamedFunctionだ！ KtCallExpressionだ！ Haruto Kato 88
89. 呼び出し元関数の検出 fun resolveOwnerNode(expression: KtExpression) { var current: PsiElement = expression.parent while (current ?= null) { when (current) { is KtNamedFunction ?> { … return current.fqName } … } current = current.parent } } Haruto Kato 89
90. 呼び出し元関数の検出 fun resolveOwnerNode(expression: KtExpression) { var current: PsiElement = expression.parent while (current ?= null) { when (current) { is KtNamedFunction ?> { … return current.fqName } … } current = current.parent } } Haruto Kato 90
91. 呼び出し元関数の検出 fun resolveOwnerNode(expression: KtExpression) { var current: PsiElement = expression.parent while (current ?= null) { when (current) { is KtNamedFunction ?> { … return current.fqName } … } current = current.parent } } Haruto Kato 91
92. 呼び出し元関数の検出 fun resolveOwnerNode(expression: KtExpression) { var current: PsiElement = expression.parent while (current ?= null) { when (current) { is KtNamedFunction ?> { … return current.fqName } … } current = current.parent } } Haruto Kato 92
93. 呼び出し元関数の検出 fun resolveOwnerNode(expression: KtExpression) { var current: PsiElement = expression.parent while (current ?= null) { when (current) { is KtNamedFunction ?> { … return current.fqName } … } current = current.parent } } Haruto Kato 93
94. コールグラフ構築の全体像 1. KtFile内の1⾏⽬から最終⾏まで全⾛査 2. 関数呼び出しを検知 3. 呼び出し元関数を特定 4. ⼿順2及び3の関数同⼠の関係性をグラフ化 Haruto Kato 94
95. グラフモデルの考え Haruto Kato Caller Callee A B 95
96. ノードに対するエッジは1以上存在 B 複数の関数を呼ぶ A C B 複数の関数から呼ばれる A C Haruto Kato 96
97. コールグラフにはテスト関数も存在 B テスト関数 A 通常関数 C Haruto Kato 97
98. グラフデータの持ち⽅ - NG B map(A to listOf(B,C)) A C Haruto Kato 98
99. グラフデータの持ち⽅ - NG 知りたいこと： ある関数が、どの関数たちから呼ばれているか？ Haruto Kato 99
100. グラフデータの持ち⽅ - NG B map(A to listOf(B,C)) A C ある関数が、どの関数たちを呼んでいるか？ Haruto Kato 100
101. グラフデータの持ち⽅ - OK B A map(listOf(B,C) to A) C ある関数が、どの関数たちから呼ばれているか？ Haruto Kato 101
102. CallGraph実装 class CallGraph { private val edges: MutableMap<Node, MutableSet<Node?> } fun addEdge(caller: Node, callee: Node) { … } … Haruto Kato 102
103. グラフ構築 fun processCallExpression(expression: KtExpression) { val caller = resolveOwnerNode(expression) ?: return analyze(expression) { val call = expression.resolveToCall() val symbol = call?.singleFunctionCallOrNull()?.symbol symbol?.let { val callee = Node(symbol) graph.addEdge(caller, callee) } } } Haruto Kato 103
104. 関数呼び出しの検出 fun processFile(file: KtFile) { file.accept(object : KtTreeVisitorVoid() { override fun visitCallExpression(expression: KtCallExpression){ processCallExpression(expression) super.visitCallExpression(expression) } } } Haruto Kato 104
105. グラフ構築 fun processCallExpression(expression: KtExpression) { val caller = resolveOwnerNode(expression) ?: return analyze(expression) { val call = expression.resolveToCall() val symbol = call?.singleFunctionCallOrNull()?.symbol symbol?.let { val callee = Node(symbol) graph.addEdge(caller, callee) } } } Haruto Kato 105
106. グラフ構築 fun processCallExpression(expression: KtExpression) { val caller = resolveOwnerNode(expression) ?: return analyze(expression) { val call = expression.resolveToCall() val symbol = call?.singleFunctionCallOrNull()?.symbol symbol?.let { val callee = Node(symbol) graph.addEdge(caller, callee) } } } Haruto Kato 106
107. グラフ構築 fun processCallExpression(expression: KtExpression) { val caller = resolveOwnerNode(expression) ?: return analyze(expression) { val call = expression.resolveToCall() val symbol = call?.singleFunctionCallOrNull()?.symbol symbol?.let { val callee = Node(symbol) graph.addEdge(caller, callee) } } } Haruto Kato 107
108. グラフ構築 fun processCallExpression(expression: KtExpression) { val caller = resolveOwnerNode(expression) ?: return analyze(expression) { val call = expression.resolveToCall() val symbol = call?.singleFunctionCallOrNull()?.symbol symbol?.let { val callee = Node(symbol) graph.addEdge(caller, callee) } } } Haruto Kato 108
109. resolveToCall val x = hoge.kotlinLove() resolveToCall io.github.sazanami.core.KotlinLove.kotlinLove Haruto Kato 109
110. グラフ構築 fun processCallExpression(expression: KtExpression) { val caller = resolveOwnerNode(expression) ?: return analyze(expression) { val call = expression.resolveToCall() val symbol = call?.singleFunctionCallOrNull()?.symbol symbol?.let { val callee = Node(symbol) graph.addEdge(caller, callee) } } } Haruto Kato 110
111. 加⼯フェーズの責務 Kotlin Analysis⽤解析セッション構築 関数コールグラフ構築 影響範囲⾛査 Haruto Kato 111
112. BFSについて BFS (幅優先探索) Haruto Kato 112
113. BFSについて rootノードに近い順に各ノードを⾛査する⼿法 Haruto Kato 113
114. BFSのパフォーマンスは良い O(V+E) V : 総ノード数 E: 総エッジ数 Haruto Kato 114
115. BFSについて B A C Haruto Kato 115 D
116. BFSについて B A C Haruto Kato 116 D
117. BFSについて B A C Haruto Kato 117 D
118. BFSについて B A C Haruto Kato 118 D
119. 影響範囲⾛査 B’ A C Haruto Kato 119 D’
120. 影響範囲⾛査 B’ A C Haruto Kato 120 D’
121. 影響範囲⾛査 B’ A C Haruto Kato 121 D’
122. 影響範囲⾛査 B’ A C Haruto Kato 122 D’
123. 影響範囲⾛査 B’ A C Haruto Kato 123 D’
124. 影響範囲⾛査 B’ A C Haruto Kato 124 D’
125. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 125
126. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 126
127. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 127
128. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 128
129. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 129
130. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 130
131. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 131
132. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 132
133. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 133
134. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 134
135. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 135
136. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 136
137. 影響範囲⾛査 fun findAffectedTests(changedFunctions: Set<ChangedFunction>) { val affectedTests = mutableSetOf<Node>() val seen = mutableSetOf<Node>() val queue = ArrayDeque(changedFunctions) while (queue.isNotEmpty()) { val callee = queue.removeFirst() if (callee in seen) continue seen.add(callee) val callers = graph.getCallersByFqn(callee.fqn) for (caller in callers) { if (caller.isTest) { affectedTests.add(caller.fqn) } queue.add(caller) } } return affectedTests } Haruto Kato 137
138. 処理全体像 入力 Haruto Kato 加工 138 出力
139. 出⼒フェーズ io.github.sazanami.hoge.funcA io.github.sazanami.hoge.funcB io.github.sazanami.hoge.funcC Haruto Kato 139
140. 出⼒フェーズ ファイルへ書込み 出⼒⽤ストリームへ書込み その他 Haruto Kato 140
141. 限界 現在の限界 Haruto Kato 141
142. 技術の破綻 B A Haruto Kato 142
143. 技術の破綻 B A 到達可能性(Reachability) Haruto Kato 143
144. 技術の破綻(Observerパターン) fun emitter() = dispatch(EVENT_A) fun collector() = runBlocking { EVENT_A().collect { … } } Haruto Kato 144
145. 技術の破綻(Observerパターン) B A Haruto Kato 145
146. 限界 静的解析で追えない情報は検出が困難 Haruto Kato 146
147. 限界 CIなど最終防衛ラインでは使えない Haruto Kato 147
148. 限界との向き合い⽅ ただ、カバーできる⽅法はまだある Haruto Kato 148
149. ⾃分なりの限界との向き合い⽅ ariadne MCPサーバ。 sazanamiを経由してAIエージェントに 現在の差分からテストすべき関数を渡す。 Haruto Kato 149
150. ariadneの発想 AI駆動開発… 正確性 < 速度 Haruto Kato 150
151. 限界との向き合い⽅ 1. 精度を改善する 2. 運⽤でカバーする 3. 課題が弱点となりにくい領域へ軸を移す Haruto Kato 151
152. まとめ 1. Kotlin Analysis APIはPSIと組み合わせることで強⼒ 2. グラフ理論を応⽤すると依存関係を表現可能 3. 静的解析のみで100%検知は不可能 Haruto Kato 152
153. Thank you for your attention ご清聴ありがとうございました！ Haruto Kato 153