收藏本站
《华中科技大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

并发软件测试理论与技术研究

卢超  
【摘要】: 在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。随着多核处理器和并行分布式系统的不断发展,并发程序设计方法受到了广泛的关注与讨论,纵观现代软件行业,从操作系统到互联网,并发程序无处不在。虽然并发程序在当前有着广泛的应用,但其执行行为的不确定性却给测试带来了新的挑战。一方面需要调整、改进传统的测试策略和方法;另一方面探索出适应并发程序特征的测试理论与技术也尤为必要。 高效的测试用例来自于对程序的准确分析,并发程序分析方法大致可分为静态分析和动态分析两大类,静态分析直接分析源程序,而动态分析则分析程序的运行时信息。执行行为的不确定性是并发程序的独有特征,并发程序测试方法在执行测试用例时或者控制其行为,或者不控制其行为,前者被称为不确定性测试,而后者被称为确定性测试。不确定性测试使用的测试用例与传统顺序程序测试方法所使用的测试用例类似,只包括必要的程序输入和输出,而确定性测试使用的测试用例还包括能够控制程序执行行为的测试序列。 可达性测试综合运用了动态分析技术与确定性执行技术,在给定测试输入的前提下,该测试方法能自动生成并发程序的所有偏序测试序列,从而测试该程序的所有可能执行行为,具有很高的实用性。可达性测试在确定性执行测试序列时需要进行一定的运行时控制,究其根本原因是该方法对竞争表的计算不够准确。通过对控制结构和竞争差异等概念进行重新定义,改进和完善了现有的可达性测试方法,新方法在对测试序列进行确定性执行时无需额外的运行时控制,提高了测试的执行效率。 与大多数并发程序结构性测试方法一样,可达性测试面临着测试序列集过大而无法穷尽的难题。针对并发程序测试序列集过大的根本原因,提出了一种全发送接收语句对测试准则,利用可达性测试生成测试序列集的完备性来保证覆盖所有的发送接收语句对,完善与改进现有可达性测试方法以生成较小的能满足该准则的测试序列集,从而达到约简测试序列集的目的。 Concolic测试是另一种实用性较高的并发程序测试方法,其遍历并发程序测试序列的方法与可达性测试类似,但它结合符号执行等技术部分解决了可达性测试并未涉及的测试输入选择问题。Concolic测试在对并发程序进行动态分析时使用了传统的先发生于(happened-before)关系,实验表明使用这种关系会产生较大规模的测试序列集。针对Concolic测试中先发生于关系对测试序列集规模的影响,研究支持保结性的弱先发生于关系,提出了一种既能保证一定测试充分性,又能减小测试序列集规模的等价类测试方法,并设计了相应的测试序列选择策略,从而进一步提高了Concolic测试的实用性。
【学位授予单位】:华中科技大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:TP311.52

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前3条
1 霍敏霞;基于Petri网的并发程序测试路径生成[D];西南大学;2011年
2 王微;嵌入式软件自动回归测试方法的研究[D];内蒙古大学;2011年
3 张蕊;基于Concolic的Web动态页输出异常自动检测方法研究[D];南华大学;2010年
【参考文献】
中国期刊全文数据库 前10条
1 梁煜,李舒,张辉,韩承德;并行程序的时序测试[J];计算机研究与发展;1999年09期
2 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
3 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期
4 董威,王戟,齐治昌;并发程序的切片模型检验方法[J];计算机学报;2003年03期
5 顾庆,陈宗岳,陈道蓄,谢立;E-CSPE约束的一致性判定[J];计算机学报;2003年11期
6 陈振强 ,徐宝文 ,许蕾 ,张斌;一种并发程序可测试性分析框架[J];计算机学报;2003年12期
7 顾庆,陈道蓄,于勐,谢立,孙钟秀;基于事件约束的分布式程序正确性测试[J];软件学报;2000年08期
8 顾庆,陈道蓄,韩杰,谢立,孙钟秀;一个面向分布式程序的测试系统框架[J];软件学报;2000年08期
9 蒋昌俊,陆维明;基于Petri网语言的并发系统性质研究(英文)[J];软件学报;2001年04期
10 顾庆,陈道蓄,谢立,韩杰,孙钟秀;基于有限状态进程的事件约束定义[J];软件学报;2002年11期
【共引文献】
中国期刊全文数据库 前10条
1 张翼;;军用软件研制过程的质量监督[J];兵工自动化;2007年08期
2 张翼;许俐;;军用软件开发过程质量监督的重点及方法[J];兵工自动化;2011年05期
3 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
4 李哲;洪志国;吕家国;;基于SPN的LEO卫星网络建模分析[J];中国传媒大学学报(自然科学版);2008年01期
5 张书杰,于学军,阎健卓,于华;基于构件软件系统集成测试的初步研究[J];北京工业大学学报;2004年02期
6 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
7 李虎,金茂忠,高仲仪,刘超;上下文无关文法测试充分性[J];北京航空航天大学学报;2003年10期
8 崔小乐,王轶辰,阮镰;一种软件测试过程的博弈模型[J];北京航空航天大学学报;2004年08期
9 付剑平;刘斌;;对象驱动的软件测试性度量[J];北京航空航天大学学报;2011年12期
10 王捷民;丁刚毅;宋瀚涛;熊建国;;基于改进的自适应遗传算法HCGA的测试数据自动生成[J];北京理工大学学报;2007年10期
中国重要会议论文全文数据库 前10条
1 高静;兰雨晴;金茂忠;郭树行;李红娟;赵同;;基于动态分析构件接口交互约束建模[A];第二十七届中国控制会议论文集[C];2008年
2 李冬红;战茅;宗建建;;面向对象设计的构件测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
3 逄建;张广胜;于朝萍;;基于Petri网的网络系统脆弱性评估[A];第十九次全国计算机安全学术交流会论文集[C];2004年
4 洪志国;石民勇;王永滨;;基于SPN模型的卫星网络中BGP-S协议的性能评价[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
5 刘子宜;郑军;刘畅;;软件测试性研究综述[A];探索 创新 交流(第4集)——第四届中国航空学会青年科技论坛文集[C];2010年
6 李双权;陈火炎;孙玉霞;;一种Java多线程可达性测试框架系统的研究与实现[A];第十届全国容错计算学术会议论文集[C];2003年
7 周志远;张大方;缪力;赵丹;黄谷;;基于Java内存模型的并发程序模型检测[A];第五届中国测试学术会议论文集[C];2008年
8 方南晖;叶卫东;;如何从流程上保证系统测试的质量[A];第五届中国测试学术会议论文集[C];2008年
9 郑成文;张海粟;韩柯;陈昱松;张乐飞;;一种基于相似性度量的软件测试方法[A];第六届中国测试学术会议论文集[C];2010年
10 张琨;;面向对象软件的测试过程与方法的研究[A];第七届青年学术会议论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 朱彬;基于用户界面规格说明的Web应用建模与测试用例生成[D];上海大学;2011年
2 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
3 赵常智;基于运行时验证的软件监控关键技术研究[D];国防科学技术大学;2011年
4 徐光侠;分布式实时系统的软件故障注入及可靠性评测方法研究[D];重庆大学;2011年
5 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
6 袁修华;开放式数控系统软件故障自诊断、自愈合的研究[D];吉林大学;2011年
7 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
8 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
9 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
10 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
中国硕士学位论文全文数据库 前10条
1 孙佳地;划分测试模型及其应用研究[D];大连理工大学;2010年
2 刘春燕;基于规则的C/C++代码静态检测方法研究[D];大连理工大学;2010年
3 冯金金;基于复杂网络的软件最小测试路径生成研究[D];大连理工大学;2010年
4 陶荣;依赖分析在程序验证和遗留系统改造中的应用[D];长沙理工大学;2010年
5 闫振兴;基于软件缺陷分类标准与分析技术的软件缺陷管理系统应用与研究[D];华东师范大学;2011年
6 蒋伟亮;回浦中学校本课程选报及管理系统的设计和实现[D];华东师范大学;2010年
7 刘双悦;基于遗传算法的软件测试用例自动生成技术研究[D];哈尔滨理工大学;2010年
8 危建国;基于WEB学生缴费管理系统设计与实现[D];南昌大学;2010年
9 袁松;基于层次分析法的测试用例可复用性研究[D];华东理工大学;2011年
10 徐频;四川职业技术学院人力资源管理信息系统设计与实现[D];电子科技大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 李秋英;姜梦岑;;软件可靠性验证测试最小测试量的必要条件[J];北京航空航天大学学报;2010年02期
2 任爱华,牛锦中,张永鸣;一种基于面向对象 Petri 网的并发程序建模方法[J];北京航空航天大学学报;1998年04期
3 桂志波,任占江;基于弱引发加时Petri网并发系统逻辑验证与资源优化[J];弹道学报;1999年01期
4 蔡菊;王迪;李必信;;基于扩展的层次有色petri网的组合服务测试用例生成[J];东南大学学报(自然科学版);2008年04期
5 何小庆;嵌入式实时操作系统的现状和未来[J];单片机与嵌入式系统应用;2001年03期
6 杨卓;;自动化测试新一代解决方案[J];电信网技术;2008年09期
7 侯勇;张海林;;自动化测试中的关键字驱动脚本技术[J];电子科技;2006年02期
8 戚晓芳;徐宝文;周晓宇;;一种基于程序可达图的并发程序依赖性分析方法[J];电子学报;2007年02期
9 尚利宏,熊运鸿;一种基于UML的嵌入式实时应用软件开发环境[J];电子质量;2001年09期
10 邓小鹏;邢春晓;蔡莲红;;Web应用测试技术进展[J];计算机研究与发展;2007年08期
中国重要会议论文全文数据库 前1条
1 董娜;宫云战;金大海;;一种过程内及过程间数组越界故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前5条
1 路晓丽;Web应用软件的测试技术研究[D];西北大学;2006年
2 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
3 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
4 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
5 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
中国硕士学位论文全文数据库 前10条
1 方贤文;基于Petri网的并行程序分析与评价[D];山东科技大学;2004年
2 黄承慧;基于UML活动图的Web功能测试自动化技术研究[D];暨南大学;2005年
3 唐燕飞;基于Petri网的用例建模研究[D];西南大学;2006年
4 王红英;基于Petri网的软件模型验证[D];华东师范大学;2007年
5 徐臻;面向嵌入式软件的自动化黑盒测试的研究[D];电子科技大学;2007年
6 荣祺;基于EFSM的WEB应用程序的用户非预期行为测试模型的研究[D];上海师范大学;2007年
7 沈清;基于虚拟机的网络存储备份软件的自动化测试方案的设计与实施[D];同济大学;2007年
8 丁宁;异步消息通信环境下并发程序的可达性测试研究[D];华中科技大学;2006年
9 解圣霞;基于基本路径测试的测试用例自动生成应用研究[D];大连海事大学;2007年
10 王静;基于事件约束的并发程序测试方法研究[D];华中科技大学;2007年
【二级参考文献】
中国期刊全文数据库 前10条
1 陆维明;论活网中冻结标志的意义[J];中国科学(A辑 数学 物理学 天文学 技术科学);1988年07期
2 蒋昌俊;Dynamic invariance of Petri net[J];Science in China(Series E:Technological Sciences);1997年06期
3 蒋昌俊;Petri网的动态不变性[J];中国科学E辑:技术科学;1997年06期
4 杨洪,徐宝文;PSS/Ada程序切片系统的设计与实现[J];计算机研究与发展;1997年03期
5 吴哲辉;有界Petri网的活性和公平性的分析与实现[J];计算机学报;1989年04期
6 徐宝文;一种逆向程序流依赖性分析方法及其应用[J];计算机学报;1993年05期
7 蒋昌俊;吴哲辉;;Net Operations[J];Journal of Computer Science and Technology;1992年04期
8 陆维明;林闯;;生产系统的Petri网模型[J];自动化学报;1993年03期
9 许安国,吴哲辉;加权T图的活性分析[J];软件学报;1993年06期
10 顾庆,陈道蓄,于勐,谢立,孙钟秀;基于事件约束的分布式程序正确性测试[J];软件学报;2000年08期
【相似文献】
中国期刊全文数据库 前10条
1 濮方琍;卢炎生;;一种并行程序可靠组合测试策略[J];华中科技大学学报(自然科学版);2009年06期
2 章涛;顾庆;陈道蓄;;基于UML状态图的测试技术研究[J];计算机科学;2007年10期
3 孙辉;张术梅;;基于UML的软件测试用例自动生成技术的研究[J];长春理工大学学报(自然科学版);2006年03期
4 肖驰;;基于状态图的软件测试[J];现代计算机(专业版);2010年11期
5 齐林;郭陟;顾明;;日志分析法在一卡通系统测试中的应用[J];计算机应用研究;2006年05期
6 姜文;缪淮扣;刘玲;;一个自动构造类测试驱动程序的框架[J];计算机科学;2005年03期
7 兰景英;王永恒;;基于UML状态图的测试场景生成法[J];计算机时代;2008年05期
8 曹小鹏;孙家泽;;增强条件/判定覆盖(RC/DC)准则的研究[J];微电子学与计算机;2009年07期
9 刘勇,曾明,朱利,陈继峰,严建伟;基于数据流的软件测试序列自动生成技术研究[J];微电子学与计算机;2005年05期
10 伦立军;孔庆彦;孙鹏飞;宋益波;;一种软件体系结构级路径覆盖方法[J];小型微型计算机系统;2010年11期
中国重要会议论文全文数据库 前10条
1 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
2 杨志文;沈森祖;韩红星;;基于集成电路测试程序的软件测试研究[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年
3 袁利;王磊;;深空探测器软件可测试性设计研究[A];中国宇航学会深空探测技术专业委员会第六届学术年会暨863计划“深空探测与空间实验技术”重大项目学术研讨会论文集[C];2009年
4 宋雪芬;王冠军;宋雪玲;;面向对象软件测试方法研究[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
5 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6 陈晓;;软件自动化测试的分析与实践[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
7 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
9 蔡远文;于小红;;航天测试发控系统软件测试研究[A];1999中国控制与决策学术年会论文集[C];1999年
10 高鹏;方圆;;软件测试技术在铁路客运清算分析系统中的应用[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
中国重要报纸全文数据库 前10条
1 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
2 王宇;过程决定质量[N];中国计算机报;2003年
3 仪芳媛;IT巨头京城上演软件测试人才掠夺战[N];中国企业报;2006年
4 本报记者  张咏梅;软件测试人才面临“回炉”[N];北京人才市场报;2006年
5 仪芳媛;IT毕业生跳动的职场脉搏你按住没有?[N];市场报;2006年
6 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年
7 本报记者 张旭东;软件测试 IT就业新热点[N];中国计算机报;2005年
8 ;浅谈测试中的常见问题[N];中国计算机报;2002年
9 ;软件测试的基本方法[N];中国计算机报;2002年
10 本报记者 兰昆;软件测试业对性别无偏好[N];中国经济导报;2006年
中国博士学位论文全文数据库 前10条
1 卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年
2 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
3 濮方琍;并行程序测试的关键技术研究[D];华中科技大学;2009年
4 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
5 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
6 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
7 马超群;基于生态位理论的城市劳动力竞争分析[D];西北大学;2011年
8 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
9 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
10 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
中国硕士学位论文全文数据库 前10条
1 张保国;基于UML Statechart图的软件测试用例自动生成技术研究[D];湖南大学;2004年
2 毛颖;测试用例自动生成系统研究与实现[D];电子科技大学;2007年
3 尚建强;计算机测试方法的研究与应用[D];西安电子科技大学;2008年
4 丁宁;异步消息通信环境下并发程序的可达性测试研究[D];华中科技大学;2006年
5 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
6 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
7 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
8 陈和平;面向对象的自动化单元测试[D];武汉理工大学;2004年
9 王震;软件测试用例自动生成系统研究开发[D];西安理工大学;2005年
10 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026