program correctness发音

意思翻译

程序正确性

相似词语短语

correctness───n.正确性

correctness mean───正确性平均值

political correctness───识时务；合时宜；n.政治正确性

correctness test───正确性测试

correctness def───正确性定义

correctness syn───正确性syn

correctness st───正确性st

gifted program───天才计划

internship program───实习计划；实习项目

双语使用场景

However, the idea of demonstrating correctness is really the reverse of what testing is all about. We test a program in order to demonstrate the existence of an error.───然而，证明正确性的思想实际上与测试所指的内容相反。我们对程序进行测试是为了显示错误的存在。

Side effects complicate the math required to prove program correctness.───副作用把验证程序正确的数学问题复杂化。

A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.───提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。

Model and Algorithm Designing of the Proof of Program Correctness Based on XML Syntax Trees───基于语法树的程序正确性验证模型及算法设计

A Developing Method of Programs Based on the Proof Theoryof Program Correctness───一种基于程序正确性证明理论的程序开发方法

英语使用场景

A set of input data and conditions used to check the program correctness.

The option to solve the issue as a breakthrough, proposed a new automatic verification method based on formal theory for direction: namely, proof of program correctness based on tense logic.