English translation for "程序正确性"
|
- program correctness
Related Translations:
正确性: accuracycorrectnessjustnesslegitimacytruenesstruthvalidityverecity 软件正确性: correctness of softwaresoftware correctness 概率正确性: probable correctness 验证正确性: proving correctness 正确性论据: correctness argument 经验正确性: empirical validity
- Example Sentences:
| 1. | 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
在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。 | | 2. | 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 )增加对程序正确性的信心-程序设计者几乎不用介入，既使有，也只是最低限度的干预。 | | 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 )增加对程序正确性的信心-程序设计者几乎不用介入，既使有，也只是最低限度的干预。 |
- Similar Words：
- "程序争用" English translation, "程序争用的多道程" English translation, "程序争用的多道程序设计" English translation, "程序整合" English translation, "程序正常结束" English translation, "程序正确性检查" English translation, "程序正确性证明" English translation, "程序正义" English translation, "程序政策" English translation, "程序证明" English translation
|
|
|
