下列流动资金分项详细估算的计算式中，正确的是()。

A．应收账款=年营业收A／应收账款周转次数

B．预收账款=年经营成本／预收账款周转次数

C．产成品=(年经营成本一年其他营业费用)／产成品周转次数

D．预付账款=存贷／预付账款周转次数

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 【4】 才能证明程序的正确性。