分类：教育/科学-外语学习
问题：请大家帮我翻译一段关于软件测试的英文。（译成中文）&#8226; 
•  For reliabily estimation Software reliability has important relations with many aspects of software, including the structure, and the amount of testing it has been subjected to. Based on an operational profile (an estimate of the relative frequency of use of vario•  For reliabily estimation Software reliability has important relations with many aspects of software, including the structure, and the amount of testing it has been subjected to. Based on an operational profile (an estimate of the relative frequency of use of various inputs to the program), testing can serve as a statistical sampling method to gain failure data for reliability estimation. Software testing is not mature. It still remains an art, because we still cannot make it a science. We are still using the same testing techniques invented 20-30 years ago, some of which are crafted methods or heuristics rather than good engineering methods. Software testing can be costly, but not testing software is even more expensive, especially in places that human lives are at stake. Solving the software-testing problem is no easier than solving the Turing halting problem. We can never be sure that a piece of software is correct. We can never be sure that the specifications are correct. No verification system can verify every correct program. We can never be certain that a verification system is correct either.
回答：为可靠性估计 

Software可靠性有与软件的许多方面的重要联系，包括结构，并且相当数量测试它被服从了。 基于操作的外形(相对使用频率的估计对对节目的各种各样的输入的)，测试可能担当一个统计采样法获取可靠性估计的失效数据。 
Software测试不是成熟的。 因为我们不可能仍然做它科学，它仍然保持艺术。 我们仍然使用同样试验技术发明了20-30年前，一些是被制作的方法或启发法而不是好工程学方法。 软件测试可以是昂贵的，但是不测试的软件是更加昂贵的，特别是在地方人生成败未定。 解决软件测试问题比解决Turing停机问题没有容易。 我们不可以肯定软件模块是正确的。 我们不可以肯定规格是正确的。 证明系统不可能核实每个正确节目。 我们不可以肯定证明系统是正确的二者之一。