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

• 作者: 丁振国 徐万里
• 来源期刊: 测试技术学报
• 学科: 工学
• 关键词: 最高层次错误模型 模型匹配 语法树 错误点
• 年，卷（期）: 2004,（z3）
• 所属期刊栏目: 自动校准与测试
• 页码范围: 187-190
• 页数: 4页
• 分类号: TB2
• 字数: 3141字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7449.2004.z3.051

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁振国	北京装甲兵工程学院信息工程系	1	2	1.0	1.0
2	徐万里	北京装甲兵工程学院信息工程系	1	2	1.0	1.0