查询词典 board checking

This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准1 引言软件测试的本质在于针对要测试的内容确定一组测试用例[1] 测试用例分为输入和输出两部分功能测试和结构测试等基本的软件测试方法，都比较关心测试用例的输入部分定义域的确定，而对测试用例的输出部分考虑得较少例如，边界测试和等价类测试[2 ] 只考虑测试用

You cannot begin synchronizing changes or display the Error Checking dialog box if you are already in the process of synchronizing changes or checking errors.

如果您已经在同步更改或检查错误过程中，您无法再次开始同步更改或显示"错误检查"对话框。

By studying the working principle and refine checking algorithmic of FDR, the working step of checking are presented.

在研究FDR工作原理和提炼检测算法的基础上，提出适用于本课题验证的提炼检测算法。

The product can read the IC card and check the image of the owner. Not only can it be applied in the security checking for building management, but also it can solve these problems, such as checking various entrance passports frequently for guarder, enter building with fake passport, etc.

项目简介：该产品是通过自动读取IC卡信息，同时核对持卡人人像信息的过程，对进出大厦的人员进行安全检查，可以解决当前繁琐的保安人员核对证件和假证进入大厦的问题。

Combine in single-phase kilowatt-hour meter checking meter concrete application of the system , do a simple example to infrared practical application ofdata communication. Because infrared communication interface, it hold person who check meter can finish it easy. The efficiency of improving the work of checking meter greatly , and check meter to exactitudly and stop to some mistakes check.

结合在电度表抄表系统中的具体应用，对红外数据通信的实际应用做了一个简单的例子，在电度表抄表系统中，由于配备了红外通信接口，利用手持抄表器可以方便地完成对电度表的抄录和校准等工作，大大提高了抄表工作的效率，而且抄表精度高并杜绝了估抄和误抄的问题。

Because, fool, at this very moment wizards are pouring into the country from all over the world, and every meddler from the Ministry of Magic will be on duty, on the watch for signs of unusual activity, checking and double-checking identities.

傻瓜，因为在现在这个时候，全世界的巫师们都像潮水一般涌入这个国家，魔法部管事的都在值班，都在观察任何不同寻常活动的迹像，检查，再检查你的身份。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques.

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题。

Automatic inspection techniques for rapid detection of failure of an effective means, in particular, is a completely self-checking nature of the self-checking devices, not only in time to check out the module error, but also able to detect its own errors.

自动检验技术是用于故障快速检测的一种有效手段，特别是具有完全自校验性质的自校验装置，它不仅能及时检查出系统模块的差错，还能够检测出自身的差错。

On the basis of that, one of the important contents of this article is to study the basic principle of criminal law in eye of comparison, meaning detecting all characteristics of criminal law principle by comparison of the basic principle of criminal law to that of constitution and that of civil law, and further checking the old and newly-coming concept of basic principle of criminal law, trying to prepare checking methods for the possibly coming concept of basic principle of criminal law in future.

以此为阶，本文的一个重要内容即是以比较的眼光对刑法基本原则进行研究，即从刑法基本原则与宪法基本原则以及刑法基本原则与民法基本原则的对比分析中找出刑法基本原则的各方面特性，以此进一步检验已有的及新近的提法，并力求对以后刑法基本原则可能出现的提法预备辨认手段。

On the basis of that, one of the important contents of this article is to study the basic principle of criminal law in eye of comparison, meaning detecting all characteristics of basic criminal law principle by comparison of basic principle of criminal law to that of constitution and that of civil law, and further checking the old and newly-coming concepts of basic principle of criminal law, trying to prepare checking methods for the possibly coming concepts of basic principle of criminal law in future.

以此为阶，本文的一个重要内容即是以比较的眼光对刑法基本原则进行研讨，即从刑法基本原则与宪法基本原则以及刑法基本原则与民法基本原则的对比分析中，找出刑法基本原则的各方面特性，以此进一步检验已有的及新近的提法，并力求对以后刑法基本原则可能出现的提法预备辨认手段。

The French are not suggesting a new EU treaty, but they have plenty of other wheezes.

法国人并不是在建议签署一个新的欧盟条约，但他们有许多其他的阴谋。

This letter was written by my brother.

这封信是我弟弟写的。