查敬芳 白 涛 胡立生

(1.上海交通大学电子信息与电气工程学院，上海 200240；2.深圳中广核工程设计有限公司，广东 深圳 518172)

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

查敬芳1白 涛2胡立生1

(1.上海交通大学电子信息与电气工程学院，上海 200240；2.深圳中广核工程设计有限公司，广东 深圳 518172)

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

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

核电作为一种清洁低碳能源，其经济性好、持续供应能力强，代表着能源优质化的发展方向，但是2011年日本福岛核电站爆炸事故给人类和环境造成的破坏也是极其严重的。因此，进一步提高核电的安全标准和技术水平已成为全世界的共识。数字仪控系统是核电实现可靠性、多样化设计的重要手段。而基于FPGA的仪控系统因其开发和验证过程的简便性、系统架构的灵活多变性及容错性等特点，在核电安全重要领域的应用比重日益加大，成为实现仪控系统多样化设计、定制性设计的重要手段。而功能验证的完备性为系统的可靠性提供最直接的保证，为了达到功能验证的完备性，需要针对测试空间高效率地生成大量的测试用例，尽可能多地覆盖测试空间中的功能点。……