程序正确性 meaning in Chinese

program 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 )增加对程序正确性的信心-程序设计者几乎不用介入，既使有，也只是最低限度的干预。