咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文
  • 1 篇 会议

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程

主题

  • 3 篇 java并发程序
  • 2 篇 java内存模型
  • 2 篇 软件测试
  • 2 篇 多线程
  • 2 篇 模型检测
  • 1 篇 用例集约减技术
  • 1 篇 同步事件集合
  • 1 篇 可达性测试

机构

  • 2 篇 湖南大学
  • 1 篇 东南大学

作者

  • 2 篇 周志远
  • 2 篇 张大方
  • 2 篇 缪力
  • 1 篇 zhou zhi-yuan
  • 1 篇 miao li
  • 1 篇 赵丹
  • 1 篇 周建祥
  • 1 篇 黄谷
  • 1 篇 zhang da-fang

语言

  • 3 篇 中文
检索条件"主题词=Java并发程序"
3 条 记 录,以下是1-10 订阅
排序:
基于java内存模型的并发程序模型检测
收藏 引用
计算机工程与科学 2010年 第3期32卷 111-114,123页
作者: 周志远 张大方 缪力 湖南大学软件学院 湖南长沙410082 湖南大学计算机与通信学院 湖南长沙410082
为了提高性能,java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的java程序模型检测技术... 详细信息
来源: 评论
基于java内存模型的并发程序模型检测
基于Java内存模型的并发程序模型检测
收藏 引用
第五届中国测试学术会议
作者: 周志远 张大方 缪力 赵丹 黄谷 湖南大学软件学院 湖南大学计算机与通信学院
为了提高性能,java内存模型允许编译器在优化过程中改变代码的执行顺序,缓存技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程java并发程序中,这些乱序执行会引起很多难以发现的错误。现有的java程序模型检测技术并没有... 详细信息
来源: 评论
并发程序测试用例集约减技术研究
并发程序测试用例集约减技术研究
收藏 引用
作者: 周建祥 东南大学
学位级别:硕士
可达性测试是并发程序测试的一种重要方法,具有在给定输入下生成并执行所有可行同步序列且无需记录任何历史信息等诸多优势。并发程序在开发过程中会经历多次修改,产生多个程序版本。在并发程序的演化过程中,直接对各个版本的并发程... 详细信息
来源: 评论