首页> 中文会议>中国兵工学会第十二届测试技术学术年会 >基于错误模型的一类静态验证方法研究

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《中国兵工学会第十二届测试技术学术年会》|2004年|187-190|共4页
会议地点北海
作者
丁振国; 徐万里;
展开▼
作者单位

中国兵工学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP602.1;
关键词
最高层次; 错误模型; 模型匹配; 语法树;
入库时间 2022-08-17 11:03:23

相似文献

中文文献
外文文献
专利

1. 基于错误模型的一类静态验证方法研究 [J] . 丁振国 ,徐万里 . 测试技术学报 . 2004,第0z3期
2. 一种基于静态形式验证的I/O复用电路高效验证方法 [J] . 段丽莹 ,胡毅 ,郝燚 . 电子世界 . 2021,第003期
3. 宇航用静态随机存储器验证方法研究与应用 [J] . 肖爱斌 ,王斐尧 ,王文炎 . 电子与封装 . 2015,第005期
4. 基于改进准静态法的刀盘动应力分析及实测验证 [J] . 聂晓东 ,胡军 ,李旋旋 . 机械工程与自动化 . 2018,第003期
5. 基于锁存器路径的静态时序分析在第三方验证中的应用 [J] . 刘国斌 ,左丽丽 ,陈云 . 计算机测量与控制 . 2017,第009期
6. 基于一类GA-RBF神经网络的转炉炼钢静态模型控制 [C] . 王建辉 ,徐林 ,方晓柯 . 2005全国自动化新技术学术交流会 . 2005
7. 基于正则化交叉验证的静态软件缺陷预测方法研究 [A] . 刘亚娜 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号