Then the above learned information in the conjunctive normal form clauses is used to restrict and focus the overall search space of SAT-based test pattern generation.

 
  • 之后從該圖中學(xué)習出引起沖突賦值的合取范式子句,將這些學(xué)習的子句增補到子句庫中,用以限制和修剪測試生成的搜索空間,從而加速測試模式的生成過(guò)程。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan