基于错误模型的一类静态验证方法研究

摘要：

该文对使用模型匹配方法实现代码静态验证的整个过程做详细的介绍,其中包括:错误模型的建立,代码词法及语法分析,在定义使用链中进行错误点查找与定位等.还提出了在开发静态验证工具软件过程中遇到的诸多具体问题的解决方法.整个过程开发借助GNU提供的标准编译器生成工具lex和yacc以及vc++语言.

关键词： 最高层次 错误模型 模型匹配 语法树

作者: 丁振国 徐万里

作者单位: 北京装甲兵工程学院信息工程系(北京)

会议类型: 国内会议

会议名称: 中国兵工学会第十二届测试技术学术年会

会议地点: 北海

会议语种:中文

页码: 187-190

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）