基于随机方法和优化的DPLL算法的测试用例自动生成技术研究

作者：查敬芳; 白涛; 胡立生

来源：化工自动化及仪表, 2016, 43(09): 927-1008.

DOI：10.3969/j.issn.1000-3932.2016.09.013

• 测试用例
• SAT问题
• DPLL算法
• 核电仪控系统

提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题,效率提升非常显著。

• 单位
  上海交通大学; 深圳中广核工程设计有限公司