[问答题] 什么是软件的可靠性、可用性和正确性？

2008年9月15日，美国第四大投资银行（）公司向美国联邦破产法庭递交了破产保护申请，这家拥有158年历史的公司在次贷危机中损失惨重。 ["美林证券","雷曼兄弟","贝尔斯登","花旗"] 加强外来重要空白凭证的监管，严格实行（），相互制约。 ["A.专人保管","B.单独保管","C.印证分管","D.双人保管"] 什么是错误推测法？它主要用于什么测试？ 加热炉炉温过高有何害处？ 什么是软件的可靠性、可用性和正确性？