某男孩，7岁，发热，腰痛，伴巩膜发黄两周初次就诊，一年来有类似发作史，无酱油色尿，脾脏肋下3cm，血红蛋白65g／L，网织红细胞12％，骨髓红系明显增生，尿隐血试验阳性，直接Coomb试验阳性，针对病因，目前该病人首选下列哪种治疗（）

A.脾脏切除

B.糖皮质激素

C.环磷酰胺

D.碳酸氢钠

E.维生素B12

净室软件工程是软件开发的一种 (44) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (45) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。

45（）

A．测试

B．仿真

C．实验

D．正确性验证