However, the idea of demonstrating correctness is really the reverse of what testing is all about. We test a program in order to demonstrate the existence of an error.

然而，证明正确性的思想实际上与测试所指的内容相反。我们对程序进行测试是为了显示错误的存在。

youdao

To respectively analyze the error in different parts of reverse engineering and put forward handling strategy to corresponding error and the critical technique.

按照反求流程分块对反求工程中的误差分布进行了分析，并且针对各项误差提出了处理策略和控制误差的关键技术。

youdao

However, the idea of demonstrating correctness is really the reverse of that testing is all about. We test a program in order to demonstrate the existence of an error.

然而展示正确性的想法实际上与测试的目的恰好相反，对程序进行测试是为了展示错误的存在。

youdao

She also said it would be too late to reverse course this year unless there was an actual error in the calculations.

WSJ: New York City Gifted-and-Talented Program's Math Is Questioned