基于语法树的程序正确性验证模型及算法设计

• 作者: 周必水 张延红 赵敬
• 来源期刊: 杭州电子科技大学学报（自然科学版）
• 关键词: 程序正确性验证 树匹配 路径查询 匹配度
• 年，卷（期）: 2006,（1）
• 页码范围: 1-4
• 页数: 4页
• 分类号: TP391.76
• 语种: 中文
• DOI: 10.3969/j.issn.1001-9146.2006.01.001

摘要

基于语法树的程序正确性验证方法是目前程序正确性验证全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.该文在介绍基于语法树的程序正确性验证方法的基础上,借鉴无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出一种新的XML路径查询模型和树匹配算法,并展示了STM在程序正确性验证方面的前景.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周必水	杭州电子科技大学计算机学院	38	237	10.0	13.0
2	张延红	杭州电子科技大学计算机学院	3	24	3.0	3.0
3	赵敬		1	4	1.0	1.0