在软件工程中，当前用于保证软件质量的主要技术手段是( )。
A．正确性证明
B．测试
C．自动程度设计
D．符号证明
参考答案：B
54+12+21+45的值是( )。
A．131
B．132
C．133
D．142
砌筑硝酸铵生产车间的承重墙体时，施工中不得选用的材料是( )。
A．加气混凝土砌块B．烧结多孔砖C．蒸压砂砖D．烧结空心砖
