患者女，65岁，因“声音嘶哑、鼻塞伴呼吸困难1个月”来诊。患者于1个月前无明显诱因出现声音嘶哑，咽痛，气急、气喘，咳嗽等症状，遂就诊于我院门诊，考虑急性喉炎。给予抗生素治疗，病情稍有好转。3天前，患者声音嘶哑、气急、气喘等症状再次发作，且出现咳暗红色血痰3次，再次就诊于我院门诊。

提示查体：眼结膜充血，口干明显，咽部充血，两肺可闻喘鸣。血常规：血红蛋白85g/L，白细胞4.2×10⁹/L、血小板320×10⁹/L；尿常规（-），生化（-），红细胞沉降率56mm/1h；肿瘤7项：无异常。应尽快做的处理包括（）

A.吸氧

B.静脉应用垂体后叶激素

C.快速大量补液

D.静脉应用抗感染药

E.静脉应用氨茶碱

F.静脉应用地塞米松

G.输血

在软件工程中，当前用于保证软件质量的主要技术手段是( )。

A．正确性证明

B．测试

C．自动程度设计

D．符号证明