摘要
提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题,效率提升非常显著。
The random methods and optimized DPLL algorithm-based auto-generation technology for the test cases was proposed. Taking FPGA-based instrument and control system in the nuclear power generation as the object of test to show that this HDL specifications can meet design requirements along with better code coverage; and the efficiency of the proposed method is improved in solving large-scale issues; and regarding the satisfiability,the efficiency promotion is significant.
出处
《化工自动化及仪表》
CAS
2016年第9期927-931,1008,共6页
Control and Instruments in Chemical Industry
关键词
测试用例
SAT问题
DPLL算法
核电仪控系统
test cases
SAT issue
DPLL algorithm
instrument and control system in nuclear power generation
