收藏本站
《计算机工程与应用》 2001年12期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

并发Java程序动态分析及重演技术研究

方艳  金茂忠  刘超  
【摘要】:Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro/Java中的多线程测试技术,通过对Java源程序进行适当的修改并且保持语义不变,跟踪并发Java程序的运行过程,收集有关数据并对数据进行分析,最终控制并发Java程序的重演。
【作者单位】北京航空航天大学软件工程研究所!北京
【分类号】:TP312JA

【引证文献】
中国期刊全文数据库 前1条
1 张雪萍;鲍丹;王家耀;;Java多线程测试策略及测试方法探讨[J];计算机应用研究;2006年11期
中国重要会议论文全文数据库 前1条
1 李双权;陈火炎;孙玉霞;;一种Java多线程可达性测试框架系统的研究与实现[A];第十届全国容错计算学术会议论文集[C];2003年
中国硕士学位论文全文数据库 前4条
1 李双权;一种Java多线程可达性测试框架系统的研究和实现[D];暨南大学;2003年
2 张利武;基于UML活动图的并发软件测试方法研究[D];重庆大学;2007年
3 汪春昭;软件测试Rough Set模型研究[D];大连交通大学;2007年
4 陈毅波;基于Pairwise扩展算法的测试用例生成工具iCase的设计与实现[D];湖南师范大学;2009年
【共引文献】
中国硕士学位论文全文数据库 前4条
1 徐财应;基于Lucene的搜索引擎技术的研究与改进[D];长春理工大学;2010年
2 薛增裕;Intranet环境下信息发布技术的研究[D];哈尔滨工程大学;2002年
3 吴海明;基于Lucene的搜索引擎技术的研究与改进[D];暨南大学;2006年
4 花洁;基于Lucene的搜索引擎应用与研究[D];湖北工业大学;2009年
【同被引文献】
中国期刊全文数据库 前10条
1 黄显明,易继锴;Rough集理论发展现状与应用前景[J];北京工业大学学报;2005年01期
2 杨明,倪魏伟,孙志挥;一种新颖的最小属性约简模型[J];东南大学学报(自然科学版);2004年05期
3 刘云赟;PHP环境中测试驱动的边界条件判定[J];电脑开发与应用;2004年12期
4 张广泉,戎玫,沈一栋;并发系统基本模型及其分析[J];重庆大学学报(自然科学版);1998年03期
5 梁煜,李舒,张辉,韩承德;并行程序的时序测试[J];计算机研究与发展;1999年09期
6 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
7 苗夺谦,胡桂荣;知识约简的一种启发式算法[J];计算机研究与发展;1999年06期
8 于洪,杨大春,吴中福,李华;基于信息熵的一种属性约简算法[J];计算机工程与应用;2001年17期
9 徐中伟,吴芳美;软件测试质量的度量[J];计算机工程与应用;2002年21期
10 胡斐,张峰筠,刘少辉;一种基于Rough集的属性值约简算法[J];计算机工程与应用;2003年31期
中国博士学位论文全文数据库 前2条
1 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
2 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
中国硕士学位论文全文数据库 前7条
1 孙惠杰;软件测试研究及其应用[D];哈尔滨工程大学;2003年
2 季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
3 孙晶晶;基于粗糙集理论的决策表属性约简与规则约简算法研究及相关应用[D];中国人民解放军信息工程大学;2005年
4 王立娟;基于过程的软件测试管理中关键技术的研究[D];大连海事大学;2006年
5 阙夏;连续属性离散化方法研究[D];合肥工业大学;2006年
6 蒋瑜;粗集决策表属性约简算法的研究[D];兰州大学;2006年
7 邹艳;粗糙集理论在不完备信息系统知识获取中的应用研究[D];重庆师范大学;2006年
【二级引证文献】
中国期刊全文数据库 前2条
1 陈斌;;Java软件开发[J];计算机光盘软件与应用;2012年02期
2 刘晓璐;;JAVA多线程机制在网络游戏中的应用与研究[J];计算机应用与软件;2007年12期
中国硕士学位论文全文数据库 前8条
1 庄俨;基于UML合并状态图的测试用例生成[D];南京信息工程大学;2011年
2 欧涛涛;基于TEmb的嵌入式软件测试过程模型的研究[D];武汉科技大学;2011年
3 苏翠翠;一种基于UML活动图生成测试用例的方法[D];南京邮电大学;2011年
4 王文娟;基于WATIR和STAF的自动化测试的设计与实现[D];西南交通大学;2011年
5 吴渝;基于.NET架构的多线程组件技术研究与应用[D];重庆大学;2005年
6 尚蔚;基于Java的多形式WEB视频监控系统的设计与实现[D];东华大学;2010年
7 习媛媛;基于面向对象测试技术的软件质量控制研究与应用[D];长春理工大学;2010年
8 柴艳欣;基于OCL约束的状态图测试方法的研究[D];重庆大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 沈勤祖,郑仕辉,郭亮;Java虚拟机多线程之研究[J];云南大学学报(自然科学版);1997年06期
2 杨绍方;Java中利用管道实现线程间的通讯[J];电脑编程技巧与维护;1999年12期
3 瞿有利,瞿宏阳!北京349信箱网络技术室,北京,100080;B/S模式应用系统的一种新型结构及其实现[J];计算机应用研究;2000年06期
4 李元臣,刘维群;DELPHI下的多线程应用程序[J];洛阳师范学院学报;2000年02期
5 张益民,张鹏,戴永康;Windows95下多线程技术在工业控制中的应用[J];计算机应用与软件;2001年11期
6 周晓红,李斌,靳松;吉林省气象实时资料自动监控传输系统的开发[J];吉林气象;2001年04期
7 刘振安,孙忱;WIN32线程同步方法分析与实现[J];微机发展;2002年03期
8 范宝德 ,刘惊雷;基于VC的多线程编程技术及其实现[J];微型机与应用;2002年07期
9 宋志宏;HARRIS发射机远程监控系统软件设计(二)[J];西部广播电视;2002年05期
10 刘思程,余彬;MFC类库实现多线程的调度和处理[J];计算机时代;2003年08期
中国重要会议论文全文数据库 前10条
1 刘铁锐;张志远;;Windows下数值计算中多任务的实现[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
2 丘律文;严毅;;基于多线程技术下的数据库查询[A];广西计算机学会——2004年学术年会论文集[C];2004年
3 杨鼎成;于洋;;OFDM系统中同步序列的研究[A];2008年中国通信学会无线及移动通信委员会学术年会论文集[C];2008年
4 李双权;陈火炎;孙玉霞;;一种Java多线程可达性测试框架系统的研究与实现[A];第十届全国容错计算学术会议论文集[C];2003年
5 吴瑾;赵燕平;;WEB数据挖掘中多线程的开发及同步机制的实现[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
6 蒋旭平;韩雪;胡国栋;;最低限度数据通信技术在短波通信中的应用[A];河南省通信学会2005年学术年会论文集[C];2005年
7 鹿玉民;郑刚;孙浩;;线程方法在激光测粒仪数据采集部分中的应用[A];中国颗粒学会2004年年会暨海峡两岸颗粒技术研讨会会议文集[C];2004年
8 凌晨;郭继斌;;透视木马程序的新技术[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
9 颜鹏;刘辉;刘俊;温何;;基于PC和PLC的自动真空树脂灌注机的控制系统实现[A];制造技术自动化学术会议论文集[C];2002年
10 欧国东;王永文;张民选;;基于线程的多路径数据预取技术研究[A];2010年第16届全国信息存储技术大会(IST2010)论文集[C];2010年
中国重要报纸全文数据库 前10条
1 山东理工大学 贾永新 肖爱梅;多线程技术在VC中的应用[N];计算机世界;2002年
2 孟奇刚;Solaris和NT的多线程机制分析[N];计算机世界;2002年
3 ;CPU技术进步牛气冲天[N];计算机世界;2004年
4 中国科学技术大学计算机系 系统结构实验室 王峰 陈艾;Linux:嵌入式领域面临新挑战[N];计算机世界;2005年
5 山东 王鑫;使Web站点崩溃的七大原因[N];中国电脑教育报;2005年
6 Vc水手;巧改参数 体验极速下载[N];中国电脑教育报;2002年
7 ;2011年开始发力[N];中国电脑教育报;2009年
8 高军;突破Java的二难命题[N];中国电脑教育报;2008年
9 王志军;利用Mass Downloader 在下载前查看ZIP文件[N];中国电脑教育报;2004年
10 张悦;.Net中的多线程编程[N];电脑报;2003年
中国博士学位论文全文数据库 前10条
1 朱霞;线程级并行的硬件技术研究[D];西北工业大学;2003年
2 卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年
3 戴华东;并行分布操作系统共享存储管理及其优化技术的研究[D];国防科学技术大学;2002年
4 李隆;使用事务内存同步机制的并行程序验证的研究[D];中国科学技术大学;2008年
5 梁煜;消息传递并行程序的测试及其通信环境[D];中国科学院研究生院(计算技术研究所);1998年
6 李旭晖;移动Agent描述与仿真中若干问题的研究[D];武汉大学;2003年
7 陈科明;媒体多处理器系统芯片的设计研究[D];浙江大学;2007年
8 温璞;面向科学计算的PIM体系结构技术研究[D];国防科学技术大学;2007年
9 龚锐;多核微处理器容软错误设计关键技术研究[D];国防科学技术大学;2008年
10 程开东;基于GPU并行计算的动态签名鉴别算法研究[D];吉林大学;2009年
中国硕士学位论文全文数据库 前10条
1 谢正卫;有限自动机的同步序列和UIO序列[D];广西师范大学;2006年
2 宋成杰;网络处理器在第三层转发中的应用技术研究[D];中国人民解放军信息工程大学;2003年
3 王静;基于事件约束的并发程序测试方法研究[D];华中科技大学;2007年
4 丁宁;异步消息通信环境下并发程序的可达性测试研究[D];华中科技大学;2006年
5 李双权;一种Java多线程可达性测试框架系统的研究和实现[D];暨南大学;2003年
6 姜中华;基于Linux的分布式因特网监视器系统[D];西安理工大学;2003年
7 王素芳;公交车辆调度监控系统的研究与应用[D];华北电力大学(北京);2005年
8 樊葆华;网络环境下的实时视频音频处理技术[D];国防科学技术大学;2003年
9 沈银红;基于Agent的个性化人机界面的研究[D];沈阳工业大学;2006年
10 张帝;无线电通信系统软件化设计研究[D];长春理工大学;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026