A Proposal for Research in Testing

测试研究提案

• 批准号: 9008247
• 负责人: Richard Lipton
• 金额: $ 4.99万
• 依托单位: Princeton University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-07-01 至 1991-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9008247&HistoricalAwards=false
• 关键词: Proposal; Research; Testing

The main goal of the research is to construct a theory of testing that leads to provable statements about programs. This theory shows that testing can "prove" that certain programs are error-free. The class of programs that this theory applies to includes a number of important programs. However, the theory does not provide absolute correctness. It does prove that a computation is correct with a certain probability. Since this probability can be made as close to l as desired, this suffices for practical purposes. It is important to note that this probability is not an empirical statement: it is a rigorous statement about mathematics.

本研究的主要目标是构建一个测试理论， 导致了关于程序的可证明的陈述。 这一理论表明， 测试可以“证明”某些程序是没有错误的。 类 这个理论适用的程序包括一些重要的 程序. 然而，该理论并不提供绝对的正确性。 它确实证明了一个计算是正确的， 概率 由于该概率可以接近l 这对于实际目的来说是足够的。 重要的是要 请注意，这个概率不是一个经验性的陈述：它是一个 关于数学的严谨陈述。