下列不属于商业银行各分支机构之间现金调拨的是（）。

A、分金库向中心库领交现金

B、营业机构向中心库领交现金

C、营业机构向分金库领交现金

D、中心库向人民银行领交现金

净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用 (91) 进行分析和建模，并且将 (92) 作为发现和排除错误的主要机制。使用 (93) 测试来获取认证软件可靠性所需要的信息。

A．边界值
B．统计
C．代数
D．精确