基于反例压缩的自动程序修正方法研究

在VLSI验证领域，利用计算机自动修正错误程序，正在成为新的研究热点。现有方法存在运算复杂性高、可解范围小和修正结果难以理解的问题。本项目的目标在于提出全新的程序修正理论框架，以降低算法复杂性、扩大可解范围并提高结果的可读性。为达到上述目标，本项目将从以下方面开展研究：基于反例压缩和程序切片方法，剔除程序中的无关变量和语句，以缩小搜索空间，并最终降低运算复杂性；基于表达式错误模型、语义DELTA假设和限界互斥原理，提出程序修正博弈问题的构造、化简和求解算法，以扩展可解范围；依据语法DELTA假设，构造具有高度可读性的修正表达式，以利于程序员理解修正结果。.本项目提出的理论框架和实现技术，能有效降低自动程序修正算法的运算复杂性、扩展其可解范围并提高结果的可读性。其研究成果能够极大的提高VLSI系统设计与验证效率，具有重大的学术价值和应用前景。