program correctness的意思

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.