首页> 中文期刊> 《计算机工程与科学》 >一种基于并发错误模式的Java并发程序动态测试方法

一种基于并发错误模式的Java并发程序动态测试方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了出现在并发程序中的几种常见的错误模式,接着根据错误模式介绍插装策略.

著录项

来源
《计算机工程与科学》 |2006年第z2期|24-2678|共4页
作者
杨楷; 刘超; 金茂忠;
展开▼
作者单位

北京航空航天大学软件工程研究所;

北京;

100083;

北京航空航天大学软件工程研究所;

北京;

100083;

北京航空航天大学软件工程研究所;

北京;

100083;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
并发错误模式; 并发程序测试; 动态测试; 插装技术; 字节码;

相似文献

中文文献
外文文献
专利

1. 一种Java并发程序死锁动态检测的新方法 [J] . 毛澄映 ,卢炎生 ,张金隆 . 小型微型计算机系统 . 2008,第012期
2. Java并发程序动态分析技术研究 [J] . 王越 ,金茂忠 ,刘超 . 南京大学学报：自然科学版 . 2005,第z1期
3. 基于Java内存模型的并发程序模型检测 [J] . 周志远 ,张大方 ,缪力 . 计算机工程与科学 . 2010,第003期
4. 一种面向对象并发程序的动态切片方法 [J] . 何志学 ,张广泉 . 苏州大学学报（工科版） . 2007,第003期
5. 基于依赖标识的并发程序动态切片方法 [J] . 郝学姣 ,汤小春 . 微电子学与计算机 . 2009,第7期
6. 一种基于并发错误模式的Java并发程序动态测试方法 [C] . 杨楷 ,刘超 ,金茂忠 . 中国计算机学会软件工程专委会2006年年会 . 2006
7. 并发程序测试——基于扩展同步序列的Java多线程程序可达性测试方法 [A] . 王艳臣 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号