肝性脑病为减少肠内毒物的生成和吸收应采取下列哪些措施（）

A.输支链氨基酸

B.限制蛋白摄入

C.输甘露醇

D.抑制细菌生长

E.灌肠或导泻清除肠内积血

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

A．正确性证明

B．测试

C．自动程度设计

D．符号证明