您的位置： 专家智库 > >

龚健

作品数：1 被引量：0H指数：0
供职机构：北京信息科技大学计算机学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇多态
  • 1篇多态性
  • 1篇自动化
  • 1篇自动化测试
  • 1篇C++

机构

  • 1篇北京信息科技...

作者

  • 1篇牟永敏
  • 1篇龚健
  • 1篇张志华

传媒

  • 1篇微计算机信息

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于静态分析的C++虚函数匹配算法研究
2010年
在分析C++程序的静态路径时,确定出虚函数调用所对应的函数原型是非常重要的。根据多态性的实现机制,以静态分析建立的虚函数表为基础,从数据流角度出发,分别对赋值和函数调用进行定值和别名分析方法,并建立相应的表,确定出虚函数调用所对应的类的函数原型。对面向路径的C++语言程序自动化测试起到了关键作用。
龚健牟永敏张志华
关键词：多态性自动化测试
全选 清除 导出
共1页<1>
聚类工具0