软件测试只能证明程序有错误，不能证明程序没有错误（）

软件测试是对程序设计工作的检验，是为了证明程序不存在错误（） 程序出现编译错误时，说明程序一定有错误。() 软件测试是为了证明程序是否对（） 有如下程序：编译时有错误的是（） 系统测试只能证明错误的存在,无法证明错误不存在,这表明系统测试本身具有    (  ) 有新的证据证明原判决、裁定认定的事实确有错误，可能影响定罪量刑时，有可能引起审判监督程序 　　有新的证据证明原判决、裁定认定的事实确有错误，可能影响定罪量刑时，有可能引起审判监督程序。 系统测试就是对程序设计工作的检验，是为了证明程序不存在错误（） 教师资格证号码有错误在哪里开证明？ 操作中程序若有错误，须选择编辑（EDIT）操作模式修改程序。（） 系统测试只能证明错误的存在,无法证明错误不存在,这表明系统测试本身具有    (  ) 只要写程序的时候没有报出错误信息，程序运行时就不可能有错（） 依照特别程序审理的案件，如果发现判决有错误，应由（） 执行中如果发现判决、裁定确有错误，按照（）程序处理。 计算机病毒是设计有错误的程序（） 除有证据证明不动产登记簿确有错误外，以__为准（） 下列句子，（）没有错误。 “励精图治”字形没有错误。 下面Java程序代码段的第条语句有错误。intx;//（） 下列对行政许可的申请程序表述有错误的选项是（）