A Study on Syntax Trees Based Program Correctness Validation in Intelligent CAA
Yanhong Zhang · Journal of Zhejiang Wanli University · 2006
The method of the validation of program correctness based on syntax trees is a fire-new research field.In this method,the program syntax trees are the checked objects in the validating procedure of program correctness,the appropriate tree matching algorithm is adopted to validate the correctness of the target program.Based on the introduction of STM for program correctness validation,we use the research result of unordered tree-inclusion matching,integrate the technology in software component query,and propose a new model of path query and tree matching algorithm.We also discuss basic problems in the implementation of this method in theory and algorithm.In addition,we present a solution to implement this method with XML.