[ 复数 checkers 第三人称单数 checkers 现在分词 checkering 过去式 checkered 过去分词 checkered ]
Checker 棋盘格 ; 检查器 ; [计] 检验器
Translation Checker 传译查对于员
spell checker 拼写检查 ; 拼写检查程序 ; 拼写检查器 ; 拼写检查工具
Checker Marathon 切克·马拉松 ; 切克马拉松 ; 切克•马拉松 ; 切克
virus checker 病毒检测程序 ; 病毒检验测定步伐 ; 病毒检查程序 ; 病毒检测步骤
checker brick [建] 格子砖 ; 格子形耐火砖 ; 格砖
micrometer checker 千分表检查仪
Zero checker 定零位装置 ; 零位校验 ; [计] 零位校验器
grammar checker 文法检查器 ; 语法检查器 ; 语法检查 ; [计] 文法检查程序
When the software is failure, a model checker will automatically produce a counterexample, this counterexample show some abnormal behavior.
当软件失效后,一个模型检查器将自动产生一个反例,这个反例表现出不正常的行为。
参考来源 - 基于错误解释的故障定位方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
N-UNCOUNT Checkers is the same as . 同draughts [美国英语]
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.
现代文字处理器通常有拼写检验器甚至语法检验器。
N-COUNT a cashier, esp in a supermarket (超市里的)收银员 [美国英语]
A person who does nothing but to compare a program against some reference is a checker, not a tester.
而仅仅根据参考文档来比较当前程序的人也是检查人员,不是测试人员。
Use a spell checker if you need to.
如果需要,可以使用拼写检查器。
The toolbar also includes a spell checker icon if the spell checker feature has been made available by the administrator.
如果拼写检查器特性已由管理员启用,工具栏上还包括拼写检查器图标。
词组短语
应用推荐