JAVA并发程序

作品数：5被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：周志远缪力张大方刘超金茂忠更多>>
相关机构：湖南大学东南大学北京航空航天大学华中科技大学更多>>
相关期刊：《计算机工程与设计》《小型微型计算机系统》《程序员》《计算机工程与科学》更多>>
相关基金：国家自然科学基金中国博士后科学基金武器装备预研基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Java内存模型的并发程序模型检测被引量：5
《计算机工程与科学》2010年第3期111-114,123,共5页周志远 张大方 缪力 
国家自然科学基金资助项目(60673155;90718008)
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术...
关键词：Java内存模型 模型检测 JAVA并发程序 多线程 软件测试 
对Java并发程序进行模型检测被引量：3
《计算机工程与设计》2009年第2期370-373,共4页周志远 张大方 缪力 
国家自然科学基金项目(60673155;90718008)
随着多核处理器的发展,多线程并发程序成为现代程序设计的趋势。但并发线程的执行存在不确定性,传统的测试方法很难发现这类错误。针对这个问题,提出了一种直接分析Java源代码,从中提取并发程序模型的方法;并以此方法为基础开发了工具JT...
关键词：模型检测 程序分析 并发程序 程序验证 软件测试 
一种Java并发程序死锁动态检测的新方法被引量：1
《小型微型计算机系统》2008年第12期2258-2261,共4页毛澄映 卢炎生 张金隆 卢超 
国家自然科学基金项目(70571025)资助;教育部高等学校博士点基金项目(20060487005)资助;湖北省自然科学基金项目(2005ABA266)资助;江西省教育厅科学技术研究项目(赣高教技字[2007]-267)资助;中国博士后科学基金项目(20070410946)资助;江西财经大学校级青年课题资助
死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖...
关键词：死锁 执行追踪信息 加锁控制依赖 线程间控制流图 动态检测 
Java并发程序的单元测试
《程序员》2007年第10期104-107,共4页韩锴 方妙 
本文介绍了几种Java并发程序的单元测试策略,每种策略都有其各自的优缺点。可以肯定的是,MTC代表了未来并发单元测试的方向。
关键词：单元测试 并发程序 JAVA 测试策略 MTC 
一种基于并发错误模式的Java并发程序动态测试方法被引量：1
《计算机工程与科学》2006年第z2期24-26,78,共4页杨楷 刘超 金茂忠 
国家自然科学基金资助项目(60373016);武器装备预研基金项目
并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了出现在并发程序中的几种常见的错误模式,接着根据错误模式介...
关键词：并发错误模式 并发程序测试 动态测试 插装技术 字节码 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部