软件规格说明的正确性是软件目标代码正确性的前提。

Hie correctness of the specification of a software is the precondition of the correctness of the destination code.

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

必须注意确保对象到关系数据库映射的正确性，理想情况下，应该将代码设计成在需求变更时所需的更改最小。

Proper care must be taken to ensure that object-relational database mappings are correct, and ideally the code should be designed to minimize the changes necessary when requirements change.

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?

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

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