如何测试函数中使用的所有对象均已先完成初始化？

我有一个Kotlin类中的函数foo1，内部会用到若干预定义对象，原本逻辑是先调用init函数初始化所有对象，再使用它们：

class A {
    fun foo1(){
        init(objectA)
        init(objectB)
        println(objectA)
        println(objectB)
    }
}

我需要编写测试，确保foo1中用到的所有对象都先通过init完成初始化。像下面这种未初始化就使用objectB的情况必须被检测出来：

class A {
    fun foo1(){
        init(objectA)
        println(objectA)
        println(objectB)
    }
}

我现在有两个核心疑问：

1. 如何遍历foo1函数中实际使用的所有对象？
2. 如何验证init函数已经针对某个特定对象被调用过？

我试过谷歌搜索但没找到明确方案，猜测可能需要用到反射，但具体实现不清楚。期望测试在第一个案例中通过，第二个案例中失败。

针对疑问1：遍历函数中使用的所有对象 #

直接用反射做不到这一点——反射只能获取类的成员信息，无法解析函数内部的执行逻辑和对象引用。你需要用到字节码分析工具或者Kotlin的AST（抽象语法树）解析工具：

• 字节码分析：用ASM、ByteBuddy这类库，解析foo1方法的字节码，找出所有被访问的对象引用。比如Kotlin字节码中，访问成员对象会对应GETSTATIC或GETFIELD指令，遍历这些指令就能提取出被使用的对象（比如objectA、objectB）。
• Kotlin AST解析：利用Kotlin Compiler API直接解析foo1的源码语法树，遍历所有表达式节点，找出其中引用的对象标识符。这种方式更贴近源码，不需要处理字节码的底层细节。

举个ASM的简单实现思路：

1. 加载类A的字节码文件
2. 定位到foo1方法的字节码段
3. 遍历方法指令，收集所有GETSTATIC/GETFIELD指令对应的对象名称，过滤掉系统类引用，最终得到foo1中使用的对象列表。

针对疑问2：验证init函数的调用情况 #

这一步可以用Mock框架实现，比如针对Kotlin的Mockito-Kotlin：

1. 先让init函数支持Mock：如果init是类A的成员函数，用open修饰允许子类重写；如果是全局函数，封装到一个类中以便替换。
2. 在测试中，创建A的Spy实例（保留原逻辑但可记录方法调用），替换init方法为Mock实现，记录每次调用的参数。
3. 调用foo1后，提取静态分析得到的对象列表，逐一验证每个对象都作为参数传入过init方法。

示例测试代码：

// 改造后的A类，让init支持Mock
class A {
    open fun init(obj: Any) { /* 实际初始化逻辑 */ }
    
    fun foo1(){
        init(objectA)
        init(objectB)
        println(objectA)
        println(objectB)
    }
    
    // 预定义对象
    val objectA = Any()
    val objectB = Any()
}

// 测试用例
@Test
fun testAllObjectsAreInitialized() {
    // 1. 这里模拟通过静态分析得到的foo1使用对象列表
    val a = A()
    val usedObjects = listOf(a.objectA, a.objectB)
    
    // 2. 创建Spy对象，记录init的调用记录
    val spyA = spy(a)
    spyA.foo1()
    
    // 3. 验证每个对象都被init调用过
    usedObjects.forEach { obj ->
        verify(spyA).init(obj)
    }
}

完整测试流程 #

1. 静态分析阶段：测试启动前，用字节码/AST工具解析foo1的代码，提取所有被使用的预定义对象，生成对象列表。
2. 动态验证阶段：运行foo1方法，通过Mock记录init的调用参数，对比静态分析得到的对象列表，确保每个对象都出现在init的调用参数中。

如果是case2的场景，静态分析会得到objectA和objectB，但init只被调用了objectA，验证objectB时就会失败，符合测试预期。

内容的提问来源于stack exchange，提问作者yael