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

作     者：查敬芳 白涛 胡立生 ZHA Jing-fang;BAI Tao;HU Li-sheng

作者机构：上海交通大学电子信息与电气工程学院上海200240 深圳中广核工程设计有限公司广东深圳518172 

出 版 物：《化工自动化及仪表》 (Control and Instruments in Chemical Industry)

年 卷 期：2016年第43卷第9期

页      码：927-931,1008页

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

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

学科分类：080802[080802] 0808[工学-自动化类] 08[工学] 

D　O　I：10.3969/j.issn.1000-3932.2016.09.013

馆 藏 号：203187248...