您的位置： 专家智库 > >

丁振国

作品数：2 被引量：0H指数：0
供职机构：装甲兵工程学院信息工程系更多>>
相关领域：一般工业技术自动化与计算机技术机械工程更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 1篇机械工程
  • 1篇自动化与计算...
  • 1篇一般工业技术

主题

  • 2篇语法树
  • 1篇误点

机构

  • 2篇装甲兵工程学...

作者

  • 2篇丁振国
  • 2篇徐万里

传媒

  • 1篇测试技术学报
  • 1篇中国兵工学会...

年份

  • 2篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于错误模型的一类静态验证方法研究
该文对使用模型匹配方法实现代码静态验证的整个过程做详细的介绍,其中包括:错误模型的建立,代码词法及语法分析,在定义使用链中进行错误点查找与定位等.还提出了在开发静态验证工具软件过程中遇到的诸多具体问题的解决方法.整个过程...
丁振国徐万里
关键词：语法树
文献传递
基于错误模型的一类静态验证方法研究
2004年
该文对使用模型匹配方法实现代码静态验证的整个过程做详细的介绍,其中包括:错误模型的建立,代码词法及语法分析,在定义使用链中进行错误点查找与定位等.还提出了在开发静态验证工具软件过程中遇到的诸多具体问题的解决方法.整个过程开发借助GNU提供的标准编译器生成工具lex和yacc以及vc++语言.
丁振国徐万里
关键词：语法树
全选 清除 导出
共1页<1>
聚类工具0