Kotlin测试生成调研

如果我们对Android平台的Kotlin程序作测试生成，相当于完成一个跟你毕设内容一样，但目标是Kotlin语言的话，有没有技术上的瓶颈？比如是否存在某个环节没有支撑工具？

1. 面向Kotlin生成测试用例
2. 对应的Android Studio的插件
3. 支持Junit和AndroidTest的单元测试

对应于Spoon的静态分析工具包括下面的备选项，下面的只要有一个能完成提取抽象语法树就行。

可以用Soot，它有Kotlin接口。

有一个库是利用antlr+kotlin的语法，https://github.com/kotlinx/ast 或者类似于scala的编译器插件，用kotlin编译器提供的接口处理ast

https://kotlinlang.org/docs/ksp-overview.html https://github.com/JetBrains-Research/Kotlin-Analysis  有一个jetbrain对kotlin提供的插件支持

https://github.com/detekt/detekt  或者像这个库，基于kotlin编译器提供的ast

https://ieeexplore.ieee.org/abstract/document/9700340 优先看这个静态分析器能不能用