下列哪一个测试过程是测试构件之间的接口以保证构件能够交互，它将构件本身抽象为单元，并关注与构件间的消息传递，构件的交互行为可以通过形式化规约得到，可以提前进行（）。