下列构件测试方法中，允许不同的验证工具共同操作，可以消除冗余测试问题的是 ______。

A．构件方法序列

B．内置测试法
C．基于形式化的构件测试
D．基于构件交互图的方法