program correctness

[ˈproˌɡræm kəˈrektnəs]
  • 释义

    程序正确性;

数据更新时间:2025-11-14 06:46:56
1、

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

一组用于检查程序正确性的输入数据和条件.

词典精选例句

2、

White-box test is a kind of important method to verity correctness of program.

白盒 测试是检验程序正确性的重要方法.

互联网摘选

3、

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

互联网摘选

4、

The search for the mistake is limited , greatly easing the problems of maintenance and program correctness.

搜寻这个错误很容易, 维护和修改这个程式也很容易.

互联网摘选

5、

Further more, to solve the optimization program of locating the yellow ball using minimum red and blue balls, we devise a scheme which needs 36 balls, and prove its correctness too.

针对用最少的红球、蓝球发现并定位黄球的问题,设计出36个球的方案,严格证明出方案的可行性。

互联网摘选

6、

A Developing Method of Programs Based on the Proof Theory of Program Correctness

一种基于程序正确性证明理论的程序开发方法

互联网摘选

7、

The results show that: the split-flow program of this paper putting forward is sure to solve engine stall issue and verify the correctness of theoretical research and simulation model.

试验结果表明:本文所提出的分流方案能够有效解决发动机失速问题,验证了理论分析和仿真模型正确性。

互联网摘选

8、

Development of an Inspecting System for NC Machine Program Correctness

数控加工程序的正确性检查系统的研制

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈