程序的正确性 meaning in English
program correctness
Examples
- How many times do software engineers actually take time out to prove a program is correct
软件工程师能有几次真正花时间来证明一个程序的正确性？ - The numerical simulation result shows and validates the accuracy and effectiveness of coded software
经算例考核，证实了程序的正确性和有效性。 - The consequence of the example analyses proves the correctness and the usefulness of the program given by this paper
算例分析的结果表明了本文所编制的程序的正确性和实用性。 - The two examples show that variable seepage coefficient of element method and unsteady seepage program are correct
通过两个算例验证了变单元渗透系数法和所编的非稳定渗流程序的正确性。 - The solution is compared with the analytical solution after the equations are simplified to verify the correctness for the program
本文最后对程序检验和结果分析程序的正确性进行了检验。