在软件测试设计中，软件测试的主要目的是( )。

A．实验性运行软件

B．证明软件正确

C．找出软件中全部错误

D．发现软件错误而执行程序

隧道工程常见质量问题包括（）。

A.洞口坍塌

B.洞口段洞顶出现偏压

C.坍方与冒顶事故

D.衬砌混凝土开裂、拱顶下沉

E.衬砌后隧道顶洞、洞壁渗水及路面冒水