收藏本站
《中国科学院研究生院(计算技术研究所)》 2001年
收藏 | 手机打开
二维码
手机客户端打开本文

软件测试方法研究

赵瑞莲  
【摘要】:软件测试作为保证软件质量,提高软件可靠性的重要手段,在软件开发中起着不可替代的作用,其关键与核心是测试数据生成。本文较全面系统地阐述了软件测试领域的主要研究方向和迄今为止有代表性的研究成果,提出了一种基于规范和基于程序域分析的软件测试方法。从软件规范说明和程序实现两方面,对软件测试数据的生成方法进行了系统的研究和具体的实现。实验表明:基于本文所提方法产生的测试用例,可以有效地提高测试效率。 本文创新性的工作主要有以下几方面: 1).提出了一种基于数据流分析的程序运行域自动确定方法,并开发了一个C程序运行域自动确定系统ADSOD。程序运行域的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用,是本文研究工作的基础和重要的组成部分。其关键是如何实现特殊情形下输入变量的取值分析。该系统的实现为后续功能域和运行域的重合验证奠定了基础。 2).提出了一种基于规范和基于程序域分析的软件测试方法。分析了边界测试数据的选取原则,证明了功能域和运行域重合的充分必要条件,并探讨了基于功能域和运行域重合验证的测试数据生成方法。 3).提出了一种深度优先搜索、向后回溯的程序路径确定方法,可以构造出程序的所有主要路径。程序路径确定是一件非常困难的事情。该方法的实现为基于路径的测试数据自动生成提供了可能。 4).提出了一种基于谓词切片的字符串测试数据自动生成方法。针对字符串谓词,讨论了选定路径上给定谓词的谓词切片的动态生成算法,以及基于谓词切片的字符串谓词边界ON-OFF测试点的自动生成方法,并定义了字符串间的距离。实验表明:基于该方法生成的测试数据,可有效地检测由于谓词边界偏移而导致的域差错。
【学位授予单位】:中国科学院研究生院(计算技术研究所)
【学位级别】:博士
【学位授予年份】:2001
【分类号】:TP311.52

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 马胜男;孙翊;陈玉忠;孙亮;;软件测试与Web服务测试研究进展[J];标准科学;2009年09期
2 张东源;;软件测试中的程序切片技术[J];现代导航;2012年03期
中国重要会议论文全文数据库 前1条
1 赵瑞莲;吕荣聪;;一个实际容错软件系统的测试分析[A];第十届全国容错计算学术会议论文集[C];2003年
中国博士学位论文全文数据库 前1条
1 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 黎守秀;基于Robot Framework的自动化测试研究及应用[D];西南交通大学;2011年
2 毛颖;测试用例自动生成系统研究与实现[D];电子科技大学;2007年
3 赵志丹;基于扩展UML的测试用例自动生成[D];河北工业大学;2006年
4 姜承兵;基于UML设计的回归测试用例辅助生成研究[D];南京航空航天大学;2007年
5 王伟;CBTC测试平台关键问题研究[D];北京交通大学;2008年
6 孙赢盈;基于程序关联性分析的软件测试方法研究[D];西安理工大学;2008年
7 钱肖英;基于遗传算法的测试数据自动生成方法的研究[D];浙江工商大学;2008年
8 王文军;Java ME程序测试平台的若干关键技术研究[D];大连海事大学;2008年
9 姜文君;图形用户界面软件的分层增量自动测试研究[D];华中科技大学;2007年
10 杨曦;一种基于UML顺序图生成测试数据的方法[D];南京航空航天大学;2008年
【参考文献】
中国期刊全文数据库 前1条
1 兰毓华,毛法尧,曹化工;基于Z规格说明的软件测试用例自动生成[J];计算机学报;1999年09期
【共引文献】
中国期刊全文数据库 前10条
1 汪小寒;项响琴;陈洁;;燃料管理与智能分析网络系统设计与实现[J];安徽教育学院学报;2006年03期
2 吴晓琴;浅析面向对象程序设计特点[J];安徽大学学报(自然科学版);2002年03期
3 孙荣高,王忠群;基于数据字典的软件预防性维护设计[J];安徽机电学院学报;2000年03期
4 孙柏林,昝向明;医疗保险信息系统的数据安全[J];安徽工程科技学院学报;2002年03期
5 刘艳丽;;基于.NET平台的电力营销管理信息系统架构设计[J];安徽建筑工业学院学报(自然科学版);2009年05期
6 祖宏宇;金立平;杨德;;基于R语言的卷烟评析统计分析软件的设计与实现[J];现代农业科技;2009年09期
7 梁瀚;计算机软件系统测试方案研究[J];鞍山师范学院学报;2003年04期
8 杨鸿雁;耿新青;;数据库系统原理课程群建设与实践[J];鞍山师范学院学报;2010年06期
9 何方;马武刚;;面向对象设计UML技术在考试系统设计中的实践[J];安阳师范学院学报;2006年05期
10 李淑娣;赵培琨;;铁路检修管理系统的设计与实践[J];保定职业技术学院;2007年02期
中国重要会议论文全文数据库 前10条
1 黄少敏;刘新明;孟令胜;王治国;;基于SOA的四湖流域防洪决策支持系统研究[A];纪念’98抗洪十周年学术研讨会优秀文集[C];2008年
2 翟丽丽;张菊;于古胜;;测控软件双工系统方法研究[A];2008年航空试验测试技术峰会论文集[C];2008年
3 翟丽丽;朱丹;童艳;;冗余技术在实时测控软件系统中的应用[A];2011航空试验测试技术学术交流会论文集[C];2010年
4 周晓滨;方洋旺;许勇;;反辐射导弹制导系统半实物仿真软件框架设计[A];第四届中国软件工程大会论文集[C];2007年
5 董文莉;;电子政务系统测评框架的研究[A];第二十三届中国(天津)2009IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2009年
6 栾静;贺英杰;;软件测试方法及用例的设计分析[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
7 杨俊峰;宋剑;李丹宁;李丹;李静;;企业信息检索的可信性评估研究[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
8 赵中芳;魏志强;贾东宁;;基于CBR的软件自动化测试用例复用方法研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
9 刘先进;;基于面向对象的银行应用前置系统架构设计[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
10 黄少敏;刘新明;孟令胜;王治国;;基于SOA的四湖流域防洪决策支持系统研究[A];纪念’98抗洪十周年学术研讨会优秀文集[C];2008年
中国博士学位论文全文数据库 前10条
1 曾桂忠;球磨机装补球方法体系研究与精确化装补球软件开发[D];昆明理工大学;2009年
2 计春雷;全功能点方法和功能规模度量统一模型的研究与应用[D];华东理工大学;2011年
3 牛立刚;飞秒激光微纳加工数据模型研究[D];吉林大学;2011年
4 张珊;REST式GIS服务聚合研究及软件开发[D];华东师范大学;2011年
5 谢蓉;农业经济运行动态监测系统研究与构建[D];华东师范大学;2011年
6 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
7 程刚;高射频自动机及供输弹机构动态特性研究[D];南京理工大学;2011年
8 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
9 李斌;地裂缝地面沉降灾害管理信息系统开发及应用研究[D];长安大学;2009年
10 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
中国硕士学位论文全文数据库 前10条
1 邹雄;基于FPGA的弹载计算机调试方法研究[D];南昌航空大学;2010年
2 韩冬振;远程诊断中心的设计与实现[D];郑州大学;2010年
3 徐莹;汇编程序在线评测系统的研究与开发[D];郑州大学;2010年
4 董超;基于AE的县域农业资源信息系统的研制与应用[D];山东农业大学;2010年
5 王琦;压铸机实时压射系统与后台数据库的研究[D];辽宁工程技术大学;2009年
6 杨洪兵;件杂货码头生产管理系统的设计与实现[D];大连海事大学;2010年
7 宫昭坤;天津港关港信息交互平台的设计与实现[D];大连海事大学;2010年
8 易俗;基于Web的联通分销商管理系统设计与实现[D];大连海事大学;2010年
9 黄维东;大连电台音频监测控制系统的设计与实现[D];大连海事大学;2010年
10 范晓娟;基于校园网的教务管理系统设计与实现[D];大连海事大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 姚砺,束永安;软件测试自动化关键技术的研究[J];安徽大学学报(自然科学版);2003年04期
2 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
3 周伯生 ,刘超 ,陈代翔;软件测试技术及其支持环境[J];北京航空学院学报;1988年04期
4 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
5 艾骏,陆民燕;UML在软件可靠性测试数据自动生成中的运用[J];北京航空航天大学学报;2003年05期
6 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
7 荚伟,奚红宇,高仲仪;遗传算法在软件测试数据生成中的应用[J];北京航空航天大学学报;1998年04期
8 高传平;谈利群;宫云战;;基于抽象语法树的代码静态自动测试方法研究[J];北京化工大学学报(自然科学版);2007年S1期
9 王芳;;基于B/S体系结构开发应用系统[J];长春理工大学学报(高教版);2007年02期
10 韩塞北;;网络存储主流技术比较及分析[J];长春师范学院学报;2010年12期
中国博士学位论文全文数据库 前10条
1 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
2 胡仁胜;软件可靠性和软件最优发布问题的研究[D];合肥工业大学;2001年
3 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
4 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
5 向东;iSCSI-SAN网络异构存储系统管理策略的研究[D];华中科技大学;2004年
6 洪志国;基于随机Petri网模型的卫星网络性能分析研究[D];中国科学院研究生院(软件研究所);2005年
7 胡钦太;网络教育中道德自主学习体系研究[D];华南师范大学;2005年
8 王洪春;基于因果图的不确定性推理理论及算法研究[D];重庆大学;2005年
9 路晓丽;Web应用软件的测试技术研究[D];西北大学;2006年
10 张广梅;软件测试与可靠性评估[D];中国科学院研究生院(计算技术研究所);2006年
中国硕士学位论文全文数据库 前10条
1 尹文洁;测试用例约简方法的研究与应用[D];太原理工大学;2011年
2 钱伟宁;基于关键字驱动的Web服务自动化测试的研究与应用[D];西北大学;2011年
3 秦丽娜;软件缺陷静态预测研究[D];华中师范大学;2011年
4 王伟;C冗余代码及相关缺陷检测方法研究[D];哈尔滨工业大学;2010年
5 王晓旭;软件测试的自动分析工具[D];中国科学院软件研究所;2001年
6 赵同宾;柴油机热工故障仿真研究[D];武汉理工大学;2002年
7 杨淑琴;多媒体数据库在教育资源管理中的应用设计与开发[D];山东师范大学;2002年
8 张志霞;基于GUI的C/S系统软件测试自动化技术研究与实现[D];南京航空航天大学;2004年
9 李晟婷;SAN存储管理软件的研究[D];西北工业大学;2004年
10 翟钰;系统脆弱性研究及其数据库的设计与实现[D];西安建筑科技大学;2004年
【二级引证文献】
中国期刊全文数据库 前10条
1 郭学品;钟声;;基于模块关联性的测试用例维护方法[J];电脑编程技巧与维护;2011年10期
2 王伟;张建明;;基于最小系统的CBTC仿真测试平台[J];都市快轨交通;2011年04期
3 包玮琛;;黑盒测试中的边界值分析方法研究[J];电脑知识与技术;2013年17期
4 史娇娇;姜淑娟;;基于遗传算法的动态可变参数的测试数据自动生成工具[J];计算机科学;2012年05期
5 陈静;杨美红;王鲁;朱光慧;;基于关联模式的回归测试用例约简模型[J];计算机工程;2011年02期
6 肖新凤;;基于程序结构的测试用例自动生成研究[J];科技信息;2010年27期
7 肖新凤;闫晓慧;;一种改善遗传算法测试数据自动生成的策略[J];科技信息;2010年29期
8 苑立娟;张育玉;;基于模糊测试的软件安全性测试框架的研究与设计[J];煤炭技术;2010年08期
9 谢昊飞;李艳丽;韦鹏;;基于Web的WIA-PA协议一致性测试方法[J];科技视界;2012年35期
10 王成;张家锋;蒋秋华;;铁路自动售票监控系统研究与实现[J];中国铁路;2013年06期
中国博士学位论文全文数据库 前4条
1 王晓华;软件特征模型与测试应用研究[D];中国科学院研究生院(空间科学与应用研究中心);2009年
2 江胜;基于进化测试的用例生成方法研究[D];华中科技大学;2009年
3 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
4 张艳梅;基于依赖性分析的面向对象程序测试技术研究[D];中国矿业大学;2012年
中国硕士学位论文全文数据库 前10条
1 刘洁;水声通信网络通信及显控软件研究[D];哈尔滨工程大学;2010年
2 李雷;基于SCADE的CBTC区域控制器软件测试方法研究[D];北京交通大学;2011年
3 王丹;CBTC系统的自动化测试研究[D];北京交通大学;2010年
4 胡巍巍;CBTC车载系统测试案例设计及优化方法研究[D];北京交通大学;2010年
5 王超琦;CTCS-3级列控系统车载设备测试序列的生成方法及工具研究[D];北京交通大学;2011年
6 张路;基于SCADE的CBTC区域控制器软件开发[D];北京交通大学;2010年
7 赵艳军;基于CHAM的类测试用例生成[D];太原理工大学;2011年
8 梁家安;自动化软件测试技术研究[D];江南大学;2011年
9 任洪丽;基于形式化方法的软件测试技术研究[D];江南大学;2011年
10 刘瑞;基于改进PSO算法的测试用例生成方法研究[D];河南大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 张润敏,杜英俊,郑丽英;心理学与软件测试探讨[J];甘肃科学学报;1995年01期
2 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
3 周鸿志;如何做好甲方对软件产品的检测[J];电子产品可靠性与环境试验;1999年04期
4 刘艳,舒云星;基于模块分割的软件测试自动化技术及应用[J];洛阳工业高等专科学校学报;2003年03期
5 车清太;软件测试方法和策略[J];山西电子技术;2003年06期
6 罗娜,林和平,袁福宇;面向对象软件测试的方法研究[J];东北师大学报(自然科学版);2004年01期
7 崔凤茹,宋巍,钱越英;气象水文软件测评系统建设研究[J];装甲兵工程学院学报;2004年02期
8 王炳晨;软件测试走向规范[J];微电脑世界;2005年07期
9 杨鹏;高职软件测试课程的教学探索与实践[J];番禺职业技术学院学报;2005年02期
10 ;非一般感觉 小试承启6800LE[J];电脑应用文萃;2006年01期
中国重要会议论文全文数据库 前10条
1 袁利;王磊;;深空探测器软件可测试性设计研究[A];中国宇航学会深空探测技术专业委员会第六届学术年会暨863计划“深空探测与空间实验技术”重大项目学术研讨会论文集[C];2009年
2 宋雪芬;王冠军;宋雪玲;;面向对象软件测试方法研究[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
3 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
4 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 陈晓;;软件自动化测试的分析与实践[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 杨志文;沈森祖;韩红星;;基于集成电路测试程序的软件测试研究[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年
7 王彦丽;骆力明;;软件测试理论与软件测试实践教学体系探索[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 李永华;徐涛;樊玮;冯霞;;民航软件质量控制管理方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 吴岩;牛茂苍;朱燕燕;;基于GCC的HD PHOTO测试[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国重要报纸全文数据库 前10条
1 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
2 ;浅谈测试中的常见问题[N];中国计算机报;2002年
3 ;软件测试的基本方法[N];中国计算机报;2002年
4 王宇;过程决定质量[N];中国计算机报;2003年
5 本报记者 兰昆;软件测试业对性别无偏好[N];中国经济导报;2006年
6 仪芳媛;IT巨头京城上演软件测试人才掠夺战[N];中国企业报;2006年
7 隋年;软件测试:2007需求再放大[N];就业时报;2007年
8 本报记者  张咏梅;软件测试人才面临“回炉”[N];北京人才市场报;2006年
9 仪芳媛;IT毕业生跳动的职场脉搏你按住没有?[N];市场报;2006年
10 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年
中国博士学位论文全文数据库 前10条
1 赵瑞莲;软件测试方法研究[D];中国科学院研究生院(计算技术研究所);2001年
2 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
3 顾建友;禽白细胞介素2功能域鉴定及与其受体的相互作用研究[D];浙江大学;2009年
4 钟强;CaMKII蛋白的结构与功能关系研究[D];华中农业大学;2010年
5 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
6 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
7 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
8 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
9 胡千德;两个人类新基因TRPT1和PGL29的结构及功能分析[D];复旦大学;2003年
10 曹永宽;人AWP1与整合素αV胞内功能域的相互作用及其生物学功能的初步鉴定[D];第三军医大学;2004年
中国硕士学位论文全文数据库 前10条
1 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
2 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
3 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
4 陈和平;面向对象的自动化单元测试[D];武汉理工大学;2004年
5 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
6 刘维秀;基于缺陷管理的软件测试方法及应用[D];山东大学;2005年
7 赖涵;软件缺陷管理的研究与辅助工具实现[D];吉林大学;2005年
8 陈会霞;软件测试及其在WCDMA Node B系统测试中的应用与研究[D];西安电子科技大学;2005年
9 缪静;基于Web应用的测试研究与应用[D];电子科技大学;2005年
10 张福民;信息系统开发中的自动化测试应用研究[D];大连海事大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026