论文部分内容阅读
基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域，该方法以程序的语法树作为程序正确性的检验对象，运用适当的树匹配算法，来验证目标程序的正确性．文章在介绍基于语法树的程序正确性验证方法的基础上，借鉴了无序标签树匹配的相关研究成果，结合软件构件的查询技术，提出了一种新的XML路径查询模型和树匹配算法，在理论和方法上对这个方法的实现进行了初步探讨，并结合XML技术提出了一套实现这一方法切实可行的解决方案．