作者:丁振国; 徐万里最高层次错误模型模型匹配语法树错误点
摘要:该文对使用模型匹配方法实现代码静态验证的整个过程做详细的介绍,其中包括:错误模型的建立,代码词法及语法分析,在定义使用链中进行错误点查找与定位等.还提出了在开发静态验证工具软件过程中遇到的诸多具体问题的解决方法.整个过程开发借助GNU提供的标准编译器生成工具lex和yacc以及vc++语言.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《测试技术学报》(CN:14-1301/TP)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《测试技术学报》重点报道有关测试技术的重点科研项目、基金项目的研究成果以及兵器及民用测试的应用技术。
省级期刊
人气 238519 评论 36
人气 154106 评论 33
人气 151784 评论 53
人气 123116 评论 54