患者男，55岁。气急、干咳2周，有高血压病史5年，有长期吸烟史，体检：气管居中，心律齐，120次/分，A2>P2，右胸叩呈浊音，呼吸音消失，肝肋下3cm，X线胸片示右侧大量胸腔积液，心电图是电轴左偏，左室高电压，尿常规白细胞（+）。

假如该患者在进行化疗过程中出现右下肢肿胀、疼痛，符合深静脉炎表现，次日突感气急、胸闷和心前区痛，呈进行性加重，明显发绀，不能平卧，心率120次/分，心界向右下扩大，左下呼吸音低，心电图示：窦性心动过速，电轴明显右偏，不完全性右束支传导阻滞，目前最有可能的并发症是（）。

A.急性左心衰竭

B.急性心肌梗死

C.肺栓塞

D.窒息

E.肺癌恶化，压迫大气道

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

A．测试

B．仿真

C．实验

D．正确性验证