软件测试的目的是______

A．证明程序中没有错误
B．发现程序中的错误
C．测量程序的动态性
D．检查程序中的错误

患者女性，45岁，因“尿频、发热、寒战和腰痛”来诊。有糖尿病史。查体：体温39℃，脉博110次/分，血压90/60mmHg（1mmHg=0.133kPa），肋脊角压痛。尿液革兰染色为阴性杆菌，肉眼可见血尿，大量细菌和白细胞管型，空腹血糖为10.0mmol/L。诊断：急性细菌性肾盂肾炎。入院后查血常规、血生化，做尿液及血标本的培养和药敏试验。

首选治疗可静脉注射的药物是（）

A.阿莫西林/克拉维酸

B.氨苄西林

C.头孢曲松

D.环丙沙星

E.亚胺培南

F.左氧氟沙星