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

A．形式化
B．迭代式
C．瀑布式
D．交互式

男性，60岁。重度腹泻2天，肌内注射庆大霉素16万单位，2次/天，2天后出现少尿，恶心呕吐，化验尿蛋白(+)，红细胞2～3个/HP，血色素110g/L，血肌酐500μmol/L。

下列化验哪项最支持该诊断

A．尿中β₂微球蛋白升高

B．末梢血嗜酸性细胞增加

C．血清尿素急剧上升

D．尿钠增多

E．尿钠减少