男性患者，30岁，3天前受凉后出现寒战、高热，伴咳嗽、咳铁锈色痰，并逐渐加重，气促、烦躁、四肢厥冷。查体：T39.5℃，P120次／分，R28次／分，BP75/45mmHg，神志模糊，口唇发绀，右肺上野叩诊浊音，语颤增强，可闻及支气管呼吸音。胸片示右肺上野可见大片状致密阴影。血常规：WBC15×10⁹/L，中性粒细胞92%。

考虑可能的诊断（）

A.肺炎链球菌肺炎

B.支原体肺炎

C.军团菌肺炎

D.感染性休克

E.肺脓肿

F.支气管扩张

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