收藏本站
《暨南大学》 2003年
收藏 | 手机打开
二维码
手机客户端打开本文

一种Java多线程可达性测试框架系统的研究和实现

李双权  
【摘要】: 由于并发软件的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。可达性测试是并发软件测试中的一种有效方法。本文提出了一种基于共享变量读写操作分析的Java多线程程序同步序列生成策略,采用动态代理类Proxy实现了Java多线程程序确定性测试框架系统,从而实现了一个Java多线程可达性测试系统。
【学位授予单位】:暨南大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:TP311.5

【引证文献】
中国期刊全文数据库 前1条
1 田素贞;王应战;;基于.NET的线程池技术及其应用研究[J];中州大学学报;2012年03期
中国硕士学位论文全文数据库 前2条
1 吴渝;基于.NET架构的多线程组件技术研究与应用[D];重庆大学;2005年
2 闫好霖;GPS定位后台服务系统设计与实现[D];郑州大学;2013年
【参考文献】
中国期刊全文数据库 前10条
1 张广泉,戎玫,沈一栋;并发系统基本模型及其分析[J];重庆大学学报(自然科学版);1998年03期
2 梁煜,李舒,张辉,韩承德;并行程序的时序测试[J];计算机研究与发展;1999年09期
3 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
4 方艳,金茂忠,刘超;并发Java程序动态分析及重演技术研究[J];计算机工程与应用;2001年12期
5 丁志军,蒋昌俊;并发程序验证的时序Petri网方法[J];计算机学报;2002年05期
6 顾庆,陈道蓄,于勐,谢立,孙钟秀;基于事件约束的分布式程序正确性测试[J];软件学报;2000年08期
7 顾庆,陈道蓄,韩杰,谢立,孙钟秀;一个面向分布式程序的测试系统框架[J];软件学报;2000年08期
8 徐建礼,周龙骧;基于图文法的并发系统状态测试方法及其实现[J];软件学报;1996年10期
9 李双权,陈火炎,孙玉霞;Java多线程同步机制[J];现代计算机(专业版);2003年01期
10 孙玉霞,陈火炎;面向对象软件簇级的一种动态测试工具的设计与实现[J];小型微型计算机系统;2003年03期
【共引文献】
中国期刊全文数据库 前10条
1 张翼;;军用软件研制过程的质量监督[J];兵工自动化;2007年08期
2 张翼;许俐;;军用软件开发过程质量监督的重点及方法[J];兵工自动化;2011年05期
3 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
4 张晓阳,霍达,代春生;分布式城市的概念、原型及基本属性[J];北京工业大学学报;2003年03期
5 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
6 李虎,金茂忠,高仲仪,刘超;上下文无关文法测试充分性[J];北京航空航天大学学报;2003年10期
7 崔小乐,王轶辰,阮镰;一种软件测试过程的博弈模型[J];北京航空航天大学学报;2004年08期
8 王智立,叶萱,孟洛明;网络管理接口测试中测试结果的自动评判[J];北京邮电大学学报;2003年S2期
9 何涛;孙跃勇;;类的集成测试级别研究[J];成都信息工程学院学报;2006年02期
10 胡顺仁,蒋西明,周登义;面向对象系统的回归测试研究[J];重庆工学院学报;2005年05期
中国重要会议论文全文数据库 前10条
1 于宏霞;黄志春;;嵌入式网关中分布式通信模块设计[A];广西计算机学会2007年年会论文集[C];2007年
2 董文莉;;电子政务系统测评框架的研究[A];第二十三届中国(天津)2009IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2009年
3 陈青林;程芳真;;SE2000的分布式仿真研究与实现[A];'2002系统仿真技术及其应用学术论文集(第四卷)[C];2002年
4 王刚;乔纯捷;王跃科;;基于时钟同步的分布式系统一致全局状态[A];第三届全国虚拟仪器大会论文集[C];2008年
5 李双权;陈火炎;孙玉霞;;一种Java多线程可达性测试框架系统的研究与实现[A];第十届全国容错计算学术会议论文集[C];2003年
6 张琨;;面向对象软件的测试过程与方法的研究[A];第七届青年学术会议论文集[C];2005年
7 龚兵;孟莉;;基于WWW的软件测试框架的设计与实现[A];第十七届全国数据库学术会议论文集(技术报告篇)[C];2000年
8 熊婧;曹忠升;朱虹;冯玉才;;基于构造路径的存储过程SQL注入检测[A];第二十五届中国数据库学术会议论文集(二)[C];2008年
9 赵炳;胥光辉;柳旭;李慧冬;;基于Hadoop平台的软件系统的测试研究[A];第十七届全国青年通信学术年会论文集[C];2012年
10 林炜;;两种软件测试方法的比较和改进[A];第十七届全国青年通信学术年会论文集[C];2012年
中国博士学位论文全文数据库 前10条
1 朱彬;基于用户界面规格说明的Web应用建模与测试用例生成[D];上海大学;2011年
2 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
3 何倩;P2P系统性能优化若干关键技术研究[D];北京邮电大学;2010年
4 李良明;基于动态行为模型的构件及组装测试的研究[D];南京航空航天大学;2010年
5 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
6 袁修华;开放式数控系统软件故障自诊断、自愈合的研究[D];吉林大学;2011年
7 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
8 王冰洋;支持BPR的动态可重配置管理信息系统研究[D];南京航空航天大学;2002年
9 王雷刚;大型汽轮机转子锻造工艺模拟与智能CAPP研究[D];燕山大学;2002年
10 王志鹏;基于信息融合技术的故障诊断方法的研究及应用[D];大连理工大学;2001年
中国硕士学位论文全文数据库 前10条
1 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
2 徐星;采场底板突水判测系统及水害防治应用研究[D];山东科技大学;2010年
3 韩冬振;远程诊断中心的设计与实现[D];郑州大学;2010年
4 孙佳地;划分测试模型及其应用研究[D];大连理工大学;2010年
5 刘春燕;基于规则的C/C++代码静态检测方法研究[D];大连理工大学;2010年
6 冯金金;基于复杂网络的软件最小测试路径生成研究[D];大连理工大学;2010年
7 牛园园;分布式数据库有关连接查询优化算法的研究[D];长沙理工大学;2010年
8 陈鹏;港口码头集装箱生产作业管理系统[D];大连海事大学;2010年
9 闫振兴;基于软件缺陷分类标准与分析技术的软件缺陷管理系统应用与研究[D];华东师范大学;2011年
10 张朋;具有PC监控功能的网络考试系统的研究与实现[D];华东师范大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 敖丽敏,冯朝阳;基于多线程机制的FTP软件的设计和实现[J];东北电力学院学报;2002年04期
2 唐志国;利用ASP实现文件上传机制的探究[J];燕山大学学报;2003年04期
3 施滔滔;郭姝;崔晓鹏;刘颖;;基于Java平台的网络聊天系统的设计与实现[J];电脑知识与技术;2009年26期
4 王金保,李伟;用VB.Net创建多线程和同步的几个问题[J];抚顺石油学院学报;2003年03期
5 李柳,吴丽娟,王占军;分布式FTP系统的设计与实现[J];辽宁工程技术大学学报;2005年02期
6 徐松林;;《未成年人保护法》的解读与反思[J];法制与社会;2009年36期
7 李捷;李杰;;WebService及其相关技术初探[J];九江职业技术学院学报;2010年02期
8 刘传杰,陈平;基于XML的数据访问组件的研究与实现[J];计算机工程;2004年13期
9 金惠芳;超线程及其实现技术分析[J];计算机工程;2004年23期
10 张金,易铭,陈卓宁;基于组件技术的跨语言异构系统集成研究[J];计算机工程与科学;2004年08期
中国博士学位论文全文数据库 前1条
1 詹骞;基于Ajax/REST的GIS WEB服务研究与实现[D];中国地质大学(北京);2008年
中国硕士学位论文全文数据库 前10条
1 蔡昱星;自动化测试在SOA中间件开发中的应用[D];南京邮电大学;2011年
2 侯林;基于MVC设计模式的博客系统的设计与实现[D];大连理工大学;2011年
3 鲁晋;现代编程方法中几项技术的研究与应用[D];中国科学院研究生院(长春光学精密机械与物理研究所);2003年
4 刘树勇;组件技术在用户界面设计中的应用研究[D];大连海事大学;2004年
5 刘倩;CMT系统中文件传输功能的设计与实现[D];解放军信息工程大学;2004年
6 张杰宏;高速公路监控系统的设计与实现[D];西南交通大学;2004年
7 但蕾蕾;面向JAVA的设计模式探测研究与工具开发[D];华中科技大学;2004年
8 吴渝;基于.NET架构的多线程组件技术研究与应用[D];重庆大学;2005年
9 袁加全;基于Java多线程的有限元并行计算的研究[D];天津工业大学;2006年
10 茆广亚;论在校未成年学生人身伤害事故的责任[D];山东大学;2006年
【二级引证文献】
中国硕士学位论文全文数据库 前4条
1 张明;基于小波分析的淤泥质潮滩水边线提取[D];华东师范大学;2008年
2 黄敏;燃气调压器自动选型系统设计与实现[D];西南交通大学;2008年
3 高洁;六盘水师范学院教务系统的设计与实现[D];电子科技大学;2012年
4 闫好霖;GPS定位后台服务系统设计与实现[D];郑州大学;2013年
【二级参考文献】
中国期刊全文数据库 前6条
1 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期
2 徐宝文;一种逆向程序流依赖性分析方法及其应用[J];计算机学报;1993年05期
3 张兴元,谢希仁;Livechart:一种用于活动性验证的Statechart[J];计算机学报;1996年01期
4 蒋昌俊,郑应平,疏松桂;基于Petri网语言的系统设计与分析[J];通信学报;1997年01期
5 华卫中,赵春云;Java线程的深入探讨[J];计算机系统应用;1997年07期
6 马希荣;Java语言的多线程技术[J];计算机系统应用;1997年07期
【相似文献】
中国期刊全文数据库 前10条
1 范容;胡则辉;;两种解决生产者—消费者问题的Java实现模型[J];现代计算机;2006年06期
2 陈静;;分布式多线程Spider的设计与实现[J];现代计算机(专业版);2009年10期
3 张桦,吴奇;Java多线程技术的研究与应用[J];天津理工学院学报;1999年S1期
4 卢昌乐;陈勇;;基于Java多线程实现所有顶点间最短路径的并行算法[J];天津工业大学学报;2006年04期
5 姜阳;陈勇;;用Java多线程实现DNS并行矩阵算法[J];仪器仪表用户;2006年03期
6 郭富强;;基于WEB的MATLAB的远程在线编译系统设计[J];渭南师范学院学报;2008年05期
7 李畅;张平;黄小兵;;基于Java的增强现实视频子系统的设计和实现[J];电脑与信息技术;2009年03期
8 刘红玉;杨恒宇;吕丽珺;;基于JAVA多线程与数据流的主页防篡改技术[J];电脑知识与技术;2005年33期
9 张雪萍;鲍丹;王家耀;;Java多线程测试策略及测试方法探讨[J];计算机应用研究;2006年11期
10 刘志强;李雷孝;孟祥东;苏依拉;;基于C/S模式的JAVA多线程智能牌号系统的研究与开发[J];内蒙古农业大学学报(自然科学版);2008年04期
中国硕士学位论文全文数据库 前5条
1 杨阳;政府网站地理信息发布技术研究与实践[D];中国测绘科学研究院;2007年
2 周深;VLBC中组件调度和可扩展性研究[D];中南大学;2009年
3 郑伟;手机综合充值平台的设计与实现[D];北京邮电大学;2010年
4 张锴;接触网开关综合监控系统的设计与实现[D];华东交通大学;2012年
5 让思婧;基于USSD的移动梦网业务的实现[D];大连理工大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026