软件规格说明的正确性是软件目标代码正确性的前提。
Hie correctness of the specification of a software is the precondition of the correctness of the destination code.
它被设计用于模糊而迅速地更改要求,提倡较短的开发周期以便最大程度地学习,并要求持续测试和重编代码以确保其正确性。
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.
必须注意确保对象到关系数据库映射的正确性,理想情况下,应该将代码设计成在需求变更时所需的更改最小。
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.
代码结构糟糕透了,程序员显然没有深入思考程序的正确性,算法,数据结构和可维护性。
The structure is appalling, and the programmers clearly didn't think deeply about correctness, algorithms, data structures, or maintainability.
很明显,类型检查并不足以证明代码的正确性。
It's clear that type checking isn't enough to prove that your code is correct.
如果那些稍微比较不整洁的代码从正确性和执行来讲更有意义,我们也要毫不犹豫的去选择它们。
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.
为了在去正规化的条件下,保证数据跨多个实体的一致性,schema必须“在代码中定义,因为那是唯一能跟踪所有关系和保证数据正确性的地方。”
To keep data consistent across multiple entities in a denormalized context, schemas have to be “defined in code because it’s only code that can track all the relationships and maintain correctness.”
为了保证代码的正确性,最好尽量使用那些Perl内置的函数,而较少使用自己所编写的函数,并且注意证明并记录这些不那么显然的方法。
Make your code legible, use Perl's built-in functions instead of writing your own, and document obscure ways of doing obvious things.
至此,人们大都是把注意力集中于正确性,观点上:你的代码是不是根据你的意愿,并按照你的要求来执行呢?
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?
确保领出物品代码的正确性。
要了解调用委托将会执行任意代码,这可能会造成安全性、正确性和兼容性方面的问题。
Do understand that by calling a delegate, you will be executing arbitrary code, which might have security, correctness, and compatibility repercussions.
确保通过代码和静态分析的正确性。
奇偶校验是一种校验代码传输正确性的方法。
Parity is a method of checking the correctness of the code transmission.
为保证实际数控加工的顺利进行,需要采用仿真加工技术对数控加工代码的正确性进行检验。
To ensure the trouble free operation of CNC machining process, the correctness of CNC machining programs need to be verified by means of the simulation machining technology.
维持代码的正确性的抽象函数与关键常量。
The abstraction function and key invariants for the correctness of the code.
在数控加工中,对数控代码进行集成的几何仿真和物理仿真,可以快速检验加工代码的正确性并对加工参数进行优化。
In NC machining process, the geometric and physical simulation of NC codes can quickly verify the correctness of the codes and help optimize the selection of key parameters.
该系统可由工件零件图直接生成加工该工件的高精度圆体成形车刀的零件图及刀具廓形的数控线切割加工程序,同时还能通过仿真检验所设计的刀具廓形及其加工程序代码的正确性。
By using this system, detail drawings of these tools and NC program for wire cutting can be directly generated, and the outline shape of designed tool and processing codes can also simulated.
静态分析是一种技术,旨在评估源代码的正确性,但不运行它。
Static analysis is a technique that aims to evaluate the correctness of your source code without running it.
实际中,代理通过针对原件进行检查,连续验证应用程序指令的正确性,防止了无意中被感染的程序代码被执行。
In practice, agents continually verify the validity of application instructions by performing checks against their origin, preventing unintended injected code from being executed.
当在assert语句中放置重要代码以验证代码执行的正确性时会导致此问题。
This problem can be caused when you place important code in an ASSERT statement to verify that it performs correctly.
若用奇校验,则当接收端收到这组代码时,校验“1”的个数是否为奇数,从而确定传输代码的正确性。
If using odd parity, then when the receiver receives this set of code, check the "1" if the number is odd, to determine the transmission code is correct.
若用奇校验,则当接收端收到这组代码时,校验“1”的个数是否为奇数,从而确定传输代码的正确性。
If using odd parity, then when the receiver receives this set of code, check the "1" if the number is odd, to determine the transmission code is correct.
应用推荐