下列对于软件测试的描述中正确的是

A) 软件测试的主要目的是发现程序中的错误
B) 软件测试的目的是证明程序是否正确
C) 软件测试的目的是使程序运行结果正确
D) 软件测试是为了证明软件中没有错误

利用吊车作为支撑点的高处作业平台应经计算、验证，并编制使用安全管理规定及（），经施工单位技术负责人批准后方可使用。