|
關注：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) 開單位在不同線上檢查安排，增強機會那安排相關的聲明將被絆倒。
|
湖北省互聯網違法和不良信息舉報平臺 | 網上有害信息舉報專區 | 電信詐騙舉報專區 | 涉歷史虛無主義有害信息舉報專區 | 涉企侵權舉報專區
