代码查询论文

基于一阶谓词逻辑的代码查询技术
论文摘要随着软件产业的迅速发展,软件系统的规模和和结构日益复杂,人们对于软件产品的质量要求也越来越高。基于代码的审查技术和测试技术是常见的软件质量保障技术。代码审查过程的核心活...