单选题 针对构件接口处的错误和构件间交互引起的失效的构件测试方法是______。

• A.基于形式化的构件测试
• B.构件方法序列
• C.基于构件交互图的方法
• D.基于合约变异的构件测试