您的位置： 专家智库 > >

国家杰出青年科学基金(60125207)

作品数：2 被引量：60H指数：2
相关作者：张健杨宇陈意云吴萍更多>>
相关机构：中国科学院软件研究所中国科学技术大学更多>>
发文基金：国家杰出青年科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇多线程
  • 1篇多线程程序
  • 1篇软件测试
  • 1篇软件开发
  • 1篇软件生产率
  • 1篇软件质量
  • 1篇设计语言
  • 1篇数据竞争
  • 1篇线程
  • 1篇别名分析
  • 1篇并发程序
  • 1篇程序静态分析
  • 1篇程序设计
  • 1篇程序设计语言

机构

  • 2篇中国科学院软...
  • 1篇中国科学技术...

作者

  • 2篇张健
  • 1篇吴萍
  • 1篇杨宇
  • 1篇陈意云

传媒

  • 1篇计算机研究与...
  • 1篇计算机科学

年份

  • 1篇2006
  • 1篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
程序静态分析技术与工具被引量：39
2004年
静态分析对于保证程序质量,提高软件生产率有重要的意义。本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具。
杨宇张健
关键词：软件开发软件测试软件生产率软件质量程序设计语言
多线程程序数据竞争的静态检测被引量：22
2006年
多线程并发程序的广泛使用带来了更多的数据竞争错误·传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误·因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示·检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果·
吴萍陈意云张健
关键词：并发程序数据竞争别名分析
全选 清除 导出
共1页<1>
聚类工具0