某电机公司本月销售电机一台，价款为10万元，增值税为1.7万元。此外，该公司的附属车队还对外提供运输服务，本月取得的运输收入为20 000元；由于保管不善本月发生一次产成品损害事故，造成2台电机被毁，成本为8万元，已经计入进项税额13 600元。假设该公司销货收入与运输收入在会计上不能准确划分，该月的进项税额为2万元。请计算该公司本月应交纳的增值税。

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

A．构件方法序列

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