在软件工程中，当前用于保证软件质量的主要技术手段是( )。
A．正确性证明
B．测试
C．自动程度设计
D．符号证明
参考答案：B
减毒活疫（菌）苗预防接种有下列优点，但除了（）
A.接种剂量小
B.接种次数少
C.免疫效果好
D.接种反应轻
E.免疫持久
补写出下列名篇名句中的空缺部分。(6分)
①________，望帝春心托杜鹃。_______，蓝田日暖玉生烟。(李商隐《锦瑟》)
②鼎铛玉石，________，____________。秦人视之，亦不甚惜。(杜牧《阿房宫赋》)
③______________，________________。欲渡黄河冰塞川，将登太行雪满山。(《行路难》)
