2024年8月20日
星期二
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家杰出青年科学基金(60125207)
作品数:
2
被引量:61
H指数: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年
静态分析对于保证程序质量,提高软件生产率有重要的意义。本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具。
杨宇
张健
关键词:
软件开发
软件测试
软件生产率
软件质量
程序设计语言
多线程程序数据竞争的静态检测
被引量:23
2006年
多线程并发程序的广泛使用带来了更多的数据竞争错误·传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误·因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示·检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果·
吴萍
陈意云
张健
关键词:
并发程序
数据竞争
别名分析
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张