-
题名基于语法树的程序正确性验证模型及算法设计
被引量：2
- 1
-
-
作者
周必水
张延红
赵敬
-
机构
杭州电子科技大学计算机学院
中国电子科技集团二十二所
-
出处
《杭州电子科技大学学报（自然科学版）》
2006年第1期1-4,共4页
-
基金
省教育厅基金项目(KYH063103004)
-
文摘
基于语法树的程序正确性验证方法是目前程序正确性验证全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性。该文在介绍基于语法树的程序正确性验证方法的基础上,借鉴无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出一种新的XML路径查询模型和树匹配算法,并展示了STM在程序正确性验证方面的前景。
-
关键词
程序正确性验证
树匹配
路径查询
匹配度
-
Keywords
proof of program correctness
XML
tree matching path query
xpath matching degree
-
分类号
TP391.76
[自动化与计算机技术—计算机应用技术]
-
-
题名智能CAA中基于语法树的程序正确性验证研究
- 2
-
-
作者
张延红
-
机构
浙江万里学院
-
出处
《浙江万里学院学报》
2006年第5期12-15,共4页
-
文摘
基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.
-
关键词
程序正确性验证
树匹配
路径查询
匹配度
-
Keywords
validation of program correctness
tree matching
path query
matching degree
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
