【名词&注释】
系统开发(system development)、单元测试(unit test)、形式化规约(formal specification)
[单选题]下列哪一个测试过程是测试构件之间的接口以保证构件能够交互,它将构件本身抽象为单元,并关注与构件间的消息传递,构件的交互行为可以通过形式化规约得到,可以提前进行()。
A. 单元测试 B. 模块测试 C. 集成测试 D. 系统测试