checker
- n. 检验员，检查员，审核员；检查器，检验器，检查程序；制止者；（美国英语）超市收银员；西洋跳棋棋子（复数 checkers 指西洋跳棋棋戏）；方格图案，棋盘格图案
- vt. 把……画成棋盘形方格图案；（多用于被动语态或过去分词形式）使多样化，使交错变化
[ 复数 checkers 第三人称单数 checkers 现在分词 checkering 过去式 checkered 过去分词 checkered ]
专业释义英英释义
-
检查器 - 引用次数：15
When the software is failure, a model checker will automatically produce a counterexample, this counterexample show some abnormal behavior.
当软件失效后,一个模型检查器将自动产生一个反例,这个反例表现出不正常的行为。
参考来源 - 基于错误解释的故障定位方法研究检验器检验员校验器核对器 -
格子体
-
核实收款员
-
检验器检验员检量员
-
检查程序
·2,447,543篇论文数据，部分数据来源于NoteExpress
柯林斯英汉双解大词典
checker /ˈtʃɛkə/
-
1.
N-UNCOUNT Checkers is the same as . 同draughts [美国英语]
-
2.
N-COUNT A checker is a person or machine that has the job of checking something. 检验员; 检验器
例：Modern word processors usually have spelling checkers and even grammar checkers.
现代文字处理器通常有拼写检验器甚至语法检验器。
-
3.
N-COUNT a cashier, esp in a supermarket (超市里的)收银员 [美国英语]
双语例句原声例句权威例句
-
Run the Spell and Grammar checker.
执行拼写和语法检查程序。
-
Use a spell checker if you need to.
如果需要，可以使用拼写检查器。
-
Always run the spell and grammar checker before editing a text.
但凡你要修改一篇文本，修改前务必运行一下拼写和语法检查程序。
-
In a compiled language, you have an intermediate step, in which you take the source code, it runs through what's called a checker or a compiler or both, and it creates what's called object code.
而在编译语言里，你就会经过一个中间的步骤，在这种语言里输入源码后，先经过过滤器,或者编译器检查后，它会创建一个叫做目标代码的东西。
-
What that basically says is the following: in an interpreted language, you take what's called the source code, the thing you write, it may go through a simple checker but it basically goes to the interpreter, that thing inside the machine that's going to control the flow of going through each one of the instructions, and give you an output.
也就说，如果是解释语言的话：,你要写一些叫做，源码的东西，你写的东西会经过一个简单的过滤器,然后解释器会处理你的源码，解释器会产生一个,逐条读取你的源码的,控制流，然后返回一个输出结果。
词组短语
应用推荐