|
关注：1
2013-05-23 12:21
求翻译：These tests leverage the CHESS stateless model checker [20] to run unit tests on different thread schedules, increasing the chances that a scheduling-dependent assertion will be tripped.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
These tests leverage the CHESS stateless model checker [20] to run unit tests on different thread schedules, increasing the chances that a scheduling-dependent assertion will be tripped.
问题补充： |
|
2013-05-23 12:21:38
这些测试利用国际象棋的无国籍模型检查[20]上运行不同的线程调度单元测试，提高调度依赖断言将被绊倒的机会。
|
|
2013-05-23 12:23:18
这些测试利用棋牌无状态模型检测器[20],运行单元测试在不同的线程调度,增加了一个机会,安排相关声明将跳闸。
|
|
2013-05-23 12:24:58
这些测试支持棋无国籍的式样验查员(20)对对不同的螺纹日程表的运行单位测试，增加机会预定依赖主张将被绊倒。
|
|
2013-05-23 12:26:38
这些测试利用象棋无国籍模型检查器 [20] 在不同的线程调度，增加调度依赖的断言会被绊倒的机会上运行单元测试。
|
|
2013-05-23 12:28:18
这些测试利用国际象棋无政府的模型检验员 (20) 开单位在不同线上检查安排，增强机会那安排相关的声明将被绊倒。
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
