第9题: [单项选择]下列对于软件测试的描述正确的是( )。 A. 软件测试的目的是证明程序是否正确 B. 软件测试的目的是使程序运行结果正确 C. 软件测试的目的是尽可能地多发现程序中的错误 D. 软件测试的目的是使程序符合结构化原则 参考答案:C 答案解析:[解析] 软件测试是为了尽可能多地发现程序中的错误，尤其是发现至今尚未发现的错误。
第11题: [单项选择]甲以房屋为抵押与乙签订了为期2年的借款合同，半年后，乙将甲抵押的不动产作为标的与丙签订买卖合同，甲知后对此事表示反对，按照《合同法》的规定，乙、丙双方所签订的合同在效力上属于( )。 A. 效力待定合同 B. 可变更合同 C. 可撤销合同 D. 无效合同 参考答案:D 答案解析:抵押是指债务人或第三人不转移对抵押财产的占有，将该财产作为债权的担保。债务人不履行债务时，债权人有权依法以该财产折价或者以拍卖、变卖该财产的价款优先受偿。借款合同未到期，乙与丙签订买卖合同则无效。
A. There is no link between coffee and heart disease. B. Caffeine can cure headache. C. Tea has less caffeine than soda. D. Addicted people without caffeine will get headache. 参考答案:A
