前言

呵呵 最近在写单元测试的时候, 正在头疼 怎么构造测试用例的数据呢?,

有些情况实在是比较太难造出来, 又或者是造出来 时间成本太大了, 还要去做仔细的考虑(还需要单步调试, 有些时候这里被过滤掉了, 但是实际上我们不期望它被过滤掉), 就显得有点麻烦了 

呵呵 这时候 突然对 Mock 想起了一些东西, 之前 我对于 Mock 的了解局限于 创建一个假的对象, 自动填充随机属性啊, 限定特定的方法 返回特定的数据[when(mock.someMethod()).thenReturn(value)] 

呵呵 搜索了一下 项目中使用到 Mock 的地方, 发现了 MockUp 的一种使用的方式, 直接 运行时替换掉某个方法的实现, 呵呵 这下子 写测试用例就更简单方便了, 不用于执着于要测试的代码的细节了 

 

以下代码基于 : jdk1.8.0_211 + jmockit1.49

 

 

测试代码如下

package com.hx.test;

import mockit.Mock;
import mockit.MockUp;
import org.junit.Test;

/**
 * MockUp
 *
 * @author Jerry.X.He 
 * @version 1.0
 * @date 2020-03-05 16:04
 */
public class Test01MockUp {

  // Test01MockUp
  @Test
  public void test01MockUp() {

    System.out.println(foo());

    new MockUp<Test01MockUp>() {
      @Mock
      public String foo() {
        return "replaced";
      }
    };

    System.out.println(foo());

  }

  // foo
  public static String foo() {
    return "foo";
  }

}

单元测试输出如下 

50 简单了解下MockUp_初始化

 

注 : 启动程序, 需要加上如下vm参数, -javaagent:/Users/jerry/.m2/repository/org/jmockit/jmockit/1.49/jmockit-1.49.jar

呵呵 这个太神奇了吧, 居然 我调用同一个方法, 妈的 返回结果居然不一样, 简直不敢相信自己的眼睛了 

 

 

反编译的Test01MockUp

有一些比较直接的方法, 可以看到 Mock.foo 被执行的情况, 但是 看到的不够明晰, 所以 我们从 反编译之后的字节码来看下吧 

在第一个 Test01MockUp.foo 的地方打上一个断点, 然后 dump 一下 Test01MockUp.class, 拿到的 class 中关键信息如下

master:javac jerry$ javap -c Test01MockUp_hackBefore.class 
Compiled from "Test01MockUp.java"
public class com.hx.test.Test01MockUp {
  public com.hx.test.Test01MockUp();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public void test01MockUp();
    Code:
       0: new           #2                  // class com/hx/test/Test01MockUp$1
       3: dup
       4: aload_0
       5: invokespecial #3                  // Method com/hx/test/Test01MockUp$1."<init>":(Lcom/hx/test/Test01MockUp;)V
       8: pop
       9: getstatic     #4                  // Field java/lang/System.out:Ljava/io/PrintStream;
      12: invokestatic  #5                  // Method foo:()Ljava/lang/String;
      15: invokevirtual #6                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      18: return

  public static java.lang.String foo();
    Code:
       0: ldc           #7                  // String foo
       2: areturn
}

 

在第二个 Test01MockUp.foo 的地方打上一个断点, 然后 dump 一下 Test01MockUp.class, 拿到的 class 中关键信息如下 

master:javac jerry$ javap -c Test01MockUp_hackAfter.class 
Compiled from "Test01MockUp.java"
public class com.hx.test.Test01MockUp {
  public com.hx.test.Test01MockUp();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public void test01MockUp();
    Code:
       0: new           #2                  // class com/hx/test/Test01MockUp$1
       3: dup
       4: aload_0
       5: invokespecial #3                  // Method com/hx/test/Test01MockUp$1."<init>":(Lcom/hx/test/Test01MockUp;)V
       8: pop
       9: getstatic     #4                  // Field java/lang/System.out:Ljava/io/PrintStream;
      12: invokestatic  #5                  // Method foo:()Ljava/lang/String;
      15: invokevirtual #6                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      18: return

  public static java.lang.String foo();
    Code:
       0: ldc           #42                 // String com/hx/test/Test01MockUp$1
       2: sipush        -1
       5: invokestatic  #48                 // Method mockit/internal/state/TestRun.updateFakeState:(Ljava/lang/String;I)Z
       8: ifeq          81
      11: getstatic     #54                 // Field java/lang/NegativeArraySizeException.$FMB:Ljava/lang/reflect/InvocationHandler;
      14: aconst_null
      15: aconst_null
      16: sipush        6
      19: anewarray     #9                  // class java/lang/Object
      22: dup
      23: sipush        0
      26: ldc           #42                 // String com/hx/test/Test01MockUp$1
      28: aastore
      29: dup
      30: sipush        1
      33: ldc           #55                 // String com/hx/test/Test01MockUp
      35: aastore
      36: dup
      37: sipush        2
      40: sipush        9
      43: invokestatic  #61                 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
      46: aastore
      47: dup
      48: sipush        3
      51: ldc           #7                  // String foo
      53: aastore
      54: dup
      55: sipush        4
      58: ldc           #62                 // String ()Ljava/lang/String;
      60: aastore
      61: dup
      62: sipush        5
      65: sipush        -1
      68: invokestatic  #61                 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
      71: aastore
      72: invokeinterface #68,  4           // InterfaceMethod java/lang/reflect/InvocationHandler.invoke:(Ljava/lang/Object;Ljava/lang/reflect/Method;[Ljava/lang/Object;)Ljava/lang/Object;
      77: checkcast     #70                 // class java/lang/String
      80: areturn
      81: ldc           #7                  // String foo
      83: areturn
}

对比一下, 可以发现 第二个断点处的 Test01MockUp.class 的 foo 方法长了很多, 增加了一些 代码片段, 大致如下 

if(TestRun.updateFakeState("com/hx/test/Test01MockUp$1", -1)) {
    return (String)NegativeArraySizeException.$FMB.invoke(null, null,
        new Object[] { "com/hx/test/Test01MockUp$1", "com/hx/test/Test01MockUp", Integer.valueOf(9),
        "foo", "()Ljava/lang/String;", Integer.valueOf(-1) }
    )
}

那么 这段代码 是怎么被添加进来的呢 ?

另外一个问题是 NegativeArraySizeException 里面继承自 RuntimeException, 并且没有字段, 那么这里的 $FMB 又是如何添加进来的呢?, 对应的值 又是什么时候初始化的呢 ?

 

 

这部分intercept的代码是怎么添加进来的, class是怎么运行时替换的呢?

50 简单了解下MockUp_初始化_02

在 MockUp 初始化的时候, 会尝试重写 Mock 的类, 这里的 foo 方法会被 Mock 

如上代码 generateCallToUpdateFakeState 里面生成的是 

TestRun.updateFakeState("com/hx/test/Test01MockUp$1", -1)

generateConditionalCallForFakedMethod 里面生成的是 

if($updateFakeStateReturnVal) {
    return (String)NegativeArraySizeException.$FMB.invoke(null, null,
        new Object[] { "com/hx/test/Test01MockUp$1", "com/hx/test/Test01MockUp", Integer.valueOf(9),
        "foo", "()Ljava/lang/String;", Integer.valueOf(-1) }
    )
}

 

具体看下一下两个方法实现, generateCallToUpdateFakeState 方法实现如下 

50 简单了解下MockUp_初始化_03

generateConditionalCallForFakedMethod 方法实现如下 

50 简单了解下MockUp_java_04

我们这里的 generateCallToFakeMethod 实现如下  

50 简单了解下MockUp_字段_05

50 简单了解下MockUp_初始化_06

那么这时候 再根据代码的意思 再来对一下 以上部分增加的 拦截的代码呢 ?

 

那么 更改了方法的code之后, 方法所在的类 是如何运行时替换的呢 ?

50 简单了解下MockUp_初始化_07

 

具体的替换运行时的class的api, 是使用的 Instrumentation.redefineClasses 

50 简单了解下MockUp_初始化_08

 

 

具体的代理方法的调用? 

50 简单了解下MockUp_初始化_09

invoke 传递的相关参数如上图, 相关逻辑意义 变量名字也标记的很清楚 

 

50 简单了解下MockUp_java_10

再往下的调用链路就很清晰了, 基于反射调用 fakeObject 的同命方法(invoke 对象就是 new MockUp 创建的内部类实例) 

 

 

NegativeArraySizeException.$FMB 哪来的?字段如何初始化 ?

我们查看一下 普通的 java application 里面的 NegativeArraySizeException

master:javac jerry$ javap -c NegativeArraySizeException_hackBefore.class 
Compiled from "NegativeArraySizeException.java"
public class java.lang.NegativeArraySizeException extends java.lang.RuntimeException {
  public java.lang.NegativeArraySizeException();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/RuntimeException."<init>":()V
       4: return

  public java.lang.NegativeArraySizeException(java.lang.String);
    Code:
       0: aload_0
       1: aload_1
       2: invokespecial #2                  // Method java/lang/RuntimeException."<init>":(Ljava/lang/String;)V
       5: return
}

再看下 我们测试用例中的 NegativeArraySizeException

master:javac jerry$ javap -c NegativeArraySizeException_hackAfter.class 
Compiled from "NegativeArraySizeException.java"
public class java.lang.NegativeArraySizeException extends java.lang.RuntimeException {
  public static java.lang.reflect.InvocationHandler $MB;

  public static java.lang.reflect.InvocationHandler $FB;

  public static java.lang.reflect.InvocationHandler $FMB;

  public java.lang.NegativeArraySizeException();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/RuntimeException."<init>":()V
       4: return

  public java.lang.NegativeArraySizeException(java.lang.String);
    Code:
       0: aload_0
       1: aload_1
       2: invokespecial #2                  // Method java/lang/RuntimeException."<init>":(Ljava/lang/String;)V
       5: return
}

我们会发现 我们这里的 NegativeArraySizeException 居然多了 三个字段, ???, 这是什么情况 这可是 java.lang.NegativeArraySizeException !! 

 

50 简单了解下MockUp_初始化_11

在加载 "java/lang/NegativeArraySizeException" 的时候, 存在注册的 ClassFileTransformer, 向 NegativeArraySizeException 里面增加了三个字段 

改 ClassTransformer 所做的事情如下  

50 简单了解下MockUp_初始化_12

 

点击查看一下 该 ClassTransformer 的具体的使用的地方 

50 简单了解下MockUp_java_13

我们发现 原来是在 ClassLoadingBridgeFields. createSyntheticFieldsInJREClassToHoldClassLoadingBridges, 加载 NegativeArraySizeException 就是从这里触发的, 然后这个名字 也取得很符合实际处理的事情 

这里的处理也就是 加载 NegativeArraySizeException 的时候由 FieldAdditionTransformer 预处理一下, 新增了三个字段, 然后 再委托给 classloader 加载 NegativeArraySizeException 

 

那么字段是如何初始化的呢 ?

50 简单了解下MockUp_字段_14

初始化的值为 具体的类型的单例实例 

 

这个 hack 的真的很过分, 为什么 在 jdk 的类库上面处理, 在自己的 jmockit 相关类上面处理 不好么?, 我认为这是一种 挑衅..(玩笑)

是这里设计好的啊(这就是的"内定") 

FieldAdditionTransformer fieldAdditionTransformer = new FieldAdditionTransformer(instrumentation);
      instrumentation.addTransformer(fieldAdditionTransformer);

      // Loads some JRE classes expected to not be loaded yet.
      NegativeArraySizeException.class.getName();

 

以上出现了两种处理字节流的"接口" 

第一种是 ClassFileTransformer, 加载字节流之前预处理 

另外一种是 使用 Instrumentation.redefineClasses 

第一种还是挺好理解的, 但是第二种 接触的还不够, 呵呵 后面再看吧  

依赖于 javaagent 机制 

 

 

完