优化基于模型检验的测试生成

【摘要】：利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段.然而由于一个反例可能对应多个性质违背,测试生成过程中可能存在大量不必要的对模型检验器的调用,测试包也往往存在大量冗余,严重影响测试生成和测试执行性能.提出一种测试生成的动态监控优化方法.用时态逻辑公式重写技术缩减测试目标集,用测试树表示缩减的但符合覆盖准则的测试包.在模型检验被选择的测试目标时,新产生的测试用例被用于重写测试目标集中的剩余目标,删除那些被测试用例覆盖的目标以避免不必要的模型检验器的调用.同时在新测试用例加入测试包时,用测试树对其进行筛选,消除冗余.

【作者单位】：上海大学计算机工程与科学学院
【基金】：国家自然科学基金(60970007) 上海市自然科学基金(09ZR1412100) 上海市重点学科建设项目资助(J50103)
【分类号】：TP311.53

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【参考文献】
	【参考文献】

中国期刊全文数据库

前1条

1	章晓芳;徐宝文;聂长海;史亮;;一种基于测试需求约简的测试用例集优化方法[J];软件学报;2007年04期

	【共引文献】
	【共引文献】

中国硕士学位论文全文数据库

前1条

1	兰孝文;软件自动化测试用例表达及用例生成的研究[D];成都理工大学;2008年

	【二级参考文献】
	【二级参考文献】

中国期刊全文数据库

前2条

1	金芝;基于本体的需求自动获取[J];计算机学报;2000年05期
2	徐宝文;聂长海;史亮;陈火旺;;一种基于组合测试的软件故障调试方法[J];计算机学报;2006年01期

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

1	肖铁军,黄建文,陈祖爵;数字电路逻辑测试系统中的测试生成[J];江苏大学学报(自然科学版);1993年06期
2	冉蜀阳,陈光(礻禹);数字集成电路测试生成的一种专家系统方法[J];电子科技大学学报;1993年04期
3	康波,吕炳朝,陈光;基于混沌搜索的组合电路测试生成算法[J];电路与系统学报;2002年04期
4	崔晓天，魏道政;组合电路测试生成研究及实验[J];计算机学报;1996年10期
5	潘中良;测试图形生成的遗传算法研究[J];电子科技大学学报;1997年05期
6	曾成碧,陈光;数字电路测试生成的可满足性方法研究[J];仪器仪表学报;2001年01期
7	刘晓东,张毅刚,孙圣和;时序电路的模糊化测试生成算法[J];微电子学与计算机;2002年10期
8	欧阳星明;TGS 中的一种逻辑电路模型及预处理[J];华中理工大学学报;1997年08期
9	康波,吕炳朝,陈光;一种基于混沌神经网络的测试生成算法[J];电子测量与仪器学报;2002年03期
10	张玉军,李忠诚;移动IPv6测试中的层次化协议描述和测试生成方法[J];电子学报;2004年S1期

中国重要会议论文全文数据库

前10条

1	吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2	王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3	张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
4	曾红卫;缪淮扣;;优化基于模型检验的测试生成[A];第六届中国测试学术会议论文集[C];2010年
5	戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6	牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年
7	何新华;郑广;熊文亮;;软件可靠性数学测试方法研究[A];2004全国测控、计量与仪器仪表学术年会论文集（上册）[C];2004年
8	万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
9	王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10	田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

中国重要报纸全文数据库

前10条

1	通文;罗德与施瓦茨：HSDPA测试“软硬兼施”[N];通信产业报;2006年
2	谢敏沈雪芳戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3	刘昶;多媒体移动终端的MMS一致性测试[N];通信产业报;2005年
4	计算机世界实验室韩勖;拨云见日[N];计算机世界;2008年
5	信息产业部软件与集成电路促进中心于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
6	刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
7	罗德与施瓦茨中国有限公司周云;罗德与施瓦茨领跑HSPA测试[N];通信产业报;2006年
8	武刚;测试是质量的关键[N];中国计算机报;2003年
9	罗德与施瓦茨中国有限公司刘昶;用规范化“通畅”PoC测试[N];通信产业报;2006年
10	特约撰稿张勇;基于需求的测试：确保需求与软件的统一[N];计算机世界;2011年

中国博士学位论文全文数据库

前10条

1	潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2	李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院（长春光学精密机械与物理研究所）;2010年
3	游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4	龙婷;模拟电路测试生成及故障诊断的研究[D];电子科技大学;2011年
5	张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
6	钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
7	刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
8	王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
9	李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
10	康波;混沌控制与混沌优化及其在组合电路测试生成中的应用研究[D];电子科技大学;2003年

中国硕士学位论文全文数据库

前10条

1	牟余鑫;基于测试用例的缺陷跟踪管理工具的设计与实现[D];吉林大学;2004年
2	章烨;Fuzz安全测试技术研究[D];西安电子科技大学;2010年
3	高凯;嵌入式实时操作系统性能测试方法的研究与应用[D];青岛大学;2010年
4	许扬;ATE软件测试策略及实例研究[D];电子科技大学;2004年
5	黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
6	殷广丽;软件测试管理与测试应用实践[D];山东大学;2005年
7	高超;实时CORBA平台一致性测试的研究与实现[D];北京邮电大学;2006年
8	高秋;GMTAF测试自动化框架的设计与实现[D];浙江大学;2007年
9	杨帆;基于系统测试的测试管理工具的开发及其应用研究[D];同济大学;2007年
10	周秋丹;软件测试在IBM域管理系统中的应用[D];大连理工大学;2006年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡神州行卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62791813 010-62985026	常见问题在线咨询阅读器下载	充值中心知网卡新手指南