程序正确性的英文

发音:

"程序正确性"怎么读用"程序正确性"造句

英文翻译手机版

program correctness

"程序"英文翻译 procedure
"正确性"英文翻译 exactness; correctness; soun ...
"程序正确性检查" 英文翻译 : program validation
"程序正确性证明" 英文翻译 : mathematical proofs of program correctness; programming correctness proof; proof of correctness; proof of program correctness
"征明程序正确性" 英文翻译 : proving program correct
"证明程序正确性" 英文翻译 : proving program correct
"程序的正确性" 英文翻译 : program correctness
"正确性的程序设计" 英文翻译 : correctness oriented programming
"正确性" 英文翻译 : accuracy; correctness; justness; legitimacy; trueness; truth; validity; verecity
"面向正确性的程序设计" 英文翻译 : correctness-oriented programming
"程序正义" 英文翻译 : procedural justice
"源程序正文" 英文翻译 : source text
"子程序正文" 英文翻译 : routine text
"不正确性" 英文翻译 : inaccuracy
"部分正确性" 英文翻译 : partial correctness
"抽样正确性" 英文翻译 : sampling accuracy
"概率正确性" 英文翻译 : probable correctness
"估计正确性" 英文翻译 : accuracy of estimation
"计算正确性" 英文翻译 : accuracy in computations
"记忆正确性" 英文翻译 : memory exactitude
"经验正确性" 英文翻译 : empirical validity
"绝对正确性" 英文翻译 : absolute correctness
"可能正确性" 英文翻译 : possible correctness
"强正确性" 英文翻译 : strong correctness
"软件正确性" 英文翻译 : correctness of software; software correctness

例句与用法

As the formalized method and program validity testifying technology are still waiting to be practically applied . software testing still is the effective method to insure the quality of software
在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。
The methods for formal analysis of computer programs have mostly been motivated by one of the following : ( 1 ) improve runtime performance , ( 2 ) decrease code size , and ( 3 ) increase confidence in the correctne of a program ? all with minimal , if any , intervention from the programmer
计算机程序的形式分析方法主要因为有以下需求之一： ( 1 )改善运行时性能， ( 2 )减少代码大小，和( 3 )增加对程序正确性的信心-程序设计者几乎不用介入，既使有，也只是最低限度的干预。
The methods for formal analysis of computer programs have mostly been motivated by one of the following : ( 1 ) improve runtime performance , ( 2 ) decrease code size , and ( 3 ) increase confidence in the correctness of a program ? all with minimal , if any , intervention from the programmer
计算机程序的形式分析方法主要因为有以下需求之一： ( 1 )改善运行时性能， ( 2 )减少代码大小，和( 3 )增加对程序正确性的信心-程序设计者几乎不用介入，既使有，也只是最低限度的干预。