我国证券市场目前已经在（）等品种实行了货银对付制度。

A.A股、权证

B.权证、ETF

C.A股、基金

D.基金、权证

在净水器服务管理信息系统程序调试的过程中，程序员发现计算总用水量是，程序运行结果与手工计算结果不同。程序员逐步查找基数按过程语句流，寻找错误结果出现的原因。程序员采用的排错方法是（）。

A.归纳法

B.跟踪法

C.演绎法

D.试探法