[ 复数 checkers 第三人称单数 checkers 现在分词 checkering 过去式 checkered 过去分词 checkered ]
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.
如果拼写检查器特性已由管理员启用，工具栏上还包括拼写检查器图标。
词组短语
应用推荐