Analysis, validation, and code correctness tools.

分析、验证和代码更正工具。

youdao

Don't hesitate to go with the slightly less clean looking code if that code makes more sense from a correctness and performance point of view.

如果那些稍微比较不整洁的代码从正确性和执行来讲更有意义，我们也要毫不犹豫的去选择它们。

youdao

It is designed for vague and rapidly changing requirements, advocates short development cycles to maximize learning, and requires constant testing and refactoring of code to ensure its correctness.

它被设计用于模糊而迅速地更改要求，提倡较短的开发周期以便最大程度地学习，并要求持续测试和重编代码以确保其正确性。

youdao

Thus far and in Scratch will pretty much focus on the idea of correctness: Does your code work as we asked it to and as you intended it to?

至此，人们大都是把注意力集中于正确性,观点上：你的代码是不是根据你的意愿,并按照你的要求来执行呢？

哈佛公开课 - 计算机科学课程节选