1) class correctness
类级正确性
1.
We proposed the conception of class correctness and system correctness for the certification of object-oriented programming.
介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题。
2) classification correctness
分类正确性
3) system correctness
系统级正确性
1.
We proposed the conception of class correctness and system correctness for the certification of object-oriented programming.
介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题。
4) straight grade
正确等级
5) exactness
[英][ig'zæktnis] [美][ɪg'zæktnɪs]
精确<正确>性
6) Right grade probability
正确定级率
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条