单选题 下列构件测试方法中，允许不同的验证工具共同操作，可以消除冗余测试问题的是 ______。
A．构件方法序列 B．内置测试法
C．基于形式化的构件测试 D．基于构件交互图的方法