JAVA并发程序

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
对Java并发程序进行模型检测被引量：3
《计算机工程与设计》2009年第2期370-373,共4页周志远 张大方 缪力 
国家自然科学基金项目(60673155;90718008)
随着多核处理器的发展,多线程并发程序成为现代程序设计的趋势。但并发线程的执行存在不确定性,传统的测试方法很难发现这类错误。针对这个问题,提出了一种直接分析Java源代码,从中提取并发程序模型的方法;并以此方法为基础开发了工具JT...
关键词：模型检测 程序分析 并发程序 程序验证 软件测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部