收藏本站
《南京气象学院》 2004年
收藏 | 手机打开
二维码
手机客户端打开本文

软件测试/调试技术应用研究

林科学  
【摘要】: 随着社会的不断进步和计算机科学技术的飞速发展,计算机及软件渗透到了人类社会的各个角落,成为国民经济、国防和社会日常生活中必不可少的重要组成部分。作为计算机的灵魂,软件的作用和地位越发显得重要。因此,软件的质量问题日益成为人们关注的焦点。许多计算机科学家在展望21世纪计算机科学发展方向和策略时,将提高软件质量放在优先于提高软件功能和性能的地位。缺陷(错误)是物品的固有属性,软件也不例外。由于软件自身的特点,决定了它存在错误的必然性和查找、纠正错误的复杂性。在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下,软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。软件测试/调试的质量将最终决定软件产品的质量。软件测试与调试是两个密切联系的过程,软件测试的目的是为了发现错误,软件调试的目的是定位错误、纠正错误。 本文系统地论述了软件测试/调试技术的一般原理和方法,结合作者的软件开发经验和测试实践,对软件测试的原则、软件测试的认识、适合与不适合对软件进行自动化测试的情形以及自动测试的优缺点进行了认真、仔细的分析和说明。通过进行具体的程序(脚本)设计,讨论了两种模式的软件自动测试的实现方法。一种是通过传统的编程对被测程序进行“改造”,使其执行时能自动地从测试用例文件中读取数据,将运行结果存于结果文件中,通过实际运行结果与预期运行结果的比较来说明程序是否通过测试。这种方法适用于有具体的输入/输出的程序的测试。第二种是通过设计脚本,借助自动测试工具,实现对具有抽象输入/输出的程序的测试。关于软件调试技术,主要研究了一种基于程序切片技术的调试方法。通过对程序按测试结果的分析选择合适的切片变量进行程序切片,从给定的切片变量和语句编号处向前回溯,找出所有直接或间接影响切片变量值的语句,将其组成一个切片。若切片变量的值错误,则出错范围必在其切片内,这样可以缩小定位错误的范围,提高调试效率。由于对程序进行切片也是一项重脑力劳动,尤其对于大规模程序更是如此,因此实现对程序的自动切片势在必行。为此,以C语言源程序为例,使用VFP语言设计了一个对其进行自动切片辅助程序,通过该程序的设计,详细论述了程序自动切片的基本思想和实现方法。最后,对程序自动切片算法的实现做了客观的评价。
【学位授予单位】:南京气象学院
【学位级别】:硕士
【学位授予年份】:2004
【分类号】:TP311.52

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前10条
1 郑贤标;基于.NET技术的液压CAT系统研发[D];浙江工业大学;2010年
2 王位杰;虚拟调试环境的研究[D];重庆大学;2011年
3 郭强;内场验收自动测试系统的研制[D];电子科技大学;2011年
4 李相发;反渗透海水淡化远程集中监控系统的研究[D];杭州电子科技大学;2012年
5 李建红;人性化机器人的研究、设计与实现[D];华北电力大学(北京);2006年
6 叶珂珂;虚拟机支持的程序谱差异分析和故障定位技术研究[D];浙江大学;2008年
7 柏向春;宽带高精度数字化仪应用软件设计[D];电子科技大学;2008年
8 邱彦卿;软件测试自动化技术及其应用研究[D];华中科技大学;2007年
9 黄丽敏;嵌入式软件单元无关性自动测试研究与实现[D];厦门大学;2008年
10 刘响;广域监控系统功能测试平台的设计与开发[D];南京理工大学;2009年
【参考文献】
中国期刊全文数据库 前1条
1 林科学,肖冬荣;教师授课质量定量测评系统[J];福建农业大学学报;2004年02期
【共引文献】
中国期刊全文数据库 前10条
1 丁勇;;分层架构体系研究[J];办公自动化;2010年12期
2 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
3 晏海华,胡佳,张丽凤,贺飞;基于文档状态的软件质量保证过程管理[J];北京航空航天大学学报;2001年04期
4 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
5 唐发根,钱红兵;Ada软件数据流分析方法及其实现[J];北京航空航天大学学报;1997年01期
6 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
7 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期
8 黄湘武,陈英,霍欣刚,严伟;面向对象语言编译器自动测试工具[J];北京理工大学学报;2002年05期
9 鲍有文,曹国良;实施监理机制是计算机软件系统质量的重要保证措施[J];北京联合大学学报(自然科学版);2005年01期
10 梁应宏,陈绍强;用YACC实现程序插装器[J];北京邮电大学学报;1997年01期
中国重要会议论文全文数据库 前10条
1 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
2 刘秋生;韩范畴;肖京国;贾建军;苏炜;谭冀川;;中国海洋测绘信息数字平台建设[A];第二十一届海洋测绘综合性学术研讨会论文集[C];2009年
3 刘静;;对GUI网管软件测试方法的研究[A];全国第十三次光纤通信暨第十四届集成光学学术会议论文集[C];2007年
4 范东丽;孙长嵩;;嵌入式软件的测试策略初探[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
5 王磊;马建红;樊世燕;周华;辛政华;;基于程序切片的可达路径选择的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 刘静;;对GUI网管软件测试方法的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(下册)[C];2008年
7 高鹏;高清柳;;多路充值系统终端模拟程序的开发与实现[A];中国高速公路管理学术论文集(2009卷)[C];2009年
8 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
9 刘刚;杨涛;;房地产企业信息化战略、规划与实践[A];工程设计与计算机技术:第十五届全国工程设计计算机应用学术会议论文集[C];2010年
10 刘玉然;段友祥;侯明亮;;功能点度量分析方法的改进及应用[A];第四届中国软件工程大会论文集[C];2007年
中国硕士学位论文全文数据库 前10条
1 邹雄;基于FPGA的弹载计算机调试方法研究[D];南昌航空大学;2010年
2 罗晨;基于网络的库存管理系统的研究与应用[D];哈尔滨工程大学;2010年
3 李想;无人机地面导航控制系统软件研究与设计[D];哈尔滨工程大学;2010年
4 张文茹;基于B/S结构的办公平台的设计与实现[D];大连海事大学;2010年
5 曲辰萌;商业银行信贷管理系统的设计与实现[D];中国海洋大学;2010年
6 姚克;高校机房管理系统的设计与实现[D];中国海洋大学;2010年
7 殷晓睿;基于JSP的办公自动化系统实现[D];中国海洋大学;2010年
8 杨晨;基于PAR平台的最弱前置谓词生成器的设计与实现[D];江西师范大学;2010年
9 赵钰;构建面向Agent的网上教材订购系统的需求模型过程研究[D];合肥工业大学;2010年
10 周翔;银行全面合规管理系统设计与开发[D];华东师范大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 ;北京博信兴业科技有限公司[J];中国安防产品信息;2005年02期
2 兀革,石寅;高精度单向模拟开关的设计及其基于CMOS工艺的电路实现[J];半导体学报;2000年12期
3 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
4 刘纯生 ,文传源;软件可靠性方法概述[J];北京航空学院学报;1987年03期
5 贾晓霞;吴际;金茂忠;柳永坡;;基于程序行为累积分析的软件故障定位方法[J];北京航空航天大学学报;2006年05期
6 郭红晓,莫德举;OPC技术及其软件的开发[J];北京化工大学学报(自然科学版);2002年03期
7 杨碧石;蒋金周;;直流开关稳压电源的保护技术[J];电源技术应用;2003年03期
8 徐造林,孙玉清,朱宇;液压测试台计算机辅助测试系统的研究[J];大连海事大学学报;2000年03期
9 冯源;夏立;;广域监控系统研究的新进展[J];电力自动化设备;2007年03期
10 王财宝;盛戈皞;曾奕;刘亚东;韩蓓;唐艳波;;基于ZigBee技术的导线接头温度集群监测[J];电力自动化设备;2009年11期
中国硕士学位论文全文数据库 前10条
1 王佳庆;通用机器人单片机控制器[D];苏州大学;2001年
2 谢昭莉;基于仿人智能控制的汽车制动器测试系统的设计与研究[D];重庆大学;2001年
3 陈曾胜;基于可重构理论的智能仪器设计[D];合肥工业大学;2002年
4 崔保成;差动式移动机器人轨迹控制和避障方法的研究[D];哈尔滨工程大学;2002年
5 杨佳;植物水胁迫及其电信号监测系统的研究[D];东北农业大学;2003年
6 杜晓东;面向嵌入式系统的测试工具研究[D];电子科技大学;2003年
7 曾敏;地面多传感器探测系统红外传感器的研究[D];南京理工大学;2004年
8 王静;基于虚拟仪器技术的液压综合测试系统设计与研究[D];中南大学;2004年
9 余敏;汽车动力转向器试验台测试系统设计[D];武汉理工大学;2005年
10 范娜;软件测试过程管理与改进[D];电子科技大学;2005年
【二级引证文献】
中国期刊全文数据库 前1条
1 朱国元;李滔;;虚拟桌面系统的测试用例设计[J];硅谷;2012年13期
中国硕士学位论文全文数据库 前7条
1 阙燕文;基于组件的一体化视频测速系统的设计与实现[D];南昌大学;2010年
2 王文娟;基于WATIR和STAF的自动化测试的设计与实现[D];西南交通大学;2011年
3 周澍;基于GPRS的热泵机组远程监控系统[D];杭州电子科技大学;2012年
4 王方;基于组件对象模型的数字化仪应用软件设计[D];电子科技大学;2010年
5 苏畅;铒镱共掺硅酸盐玻璃荧光测量研究[D];长春理工大学;2012年
6 李志福;井下人员定位系统的设计与实现[D];辽宁工程技术大学;2012年
7 丁硕;基于QTP的GPON通信软件自动化测试[D];电子科技大学;2012年
【二级参考文献】
中国期刊全文数据库 前3条
1 李莉,何桂华,杨晓萍;试卷定量分析系统[J];长春邮电学院学报;1997年02期
2 张延军;徐少桐;;试卷定量统计分析系统[J];山东科学;1991年02期
3 王较过,秦春华,李晓林;试卷质量综合评价初探[J];陕西教育学院学报;2001年01期
【相似文献】
中国期刊全文数据库 前10条
1 琚小明,姚庆栋;一种可用于编译器调试的目标代码验证方法[J];计算机应用;2005年07期
2 张润敏,杜英俊,郑丽英;心理学与软件测试探讨[J];甘肃科学学报;1995年01期
3 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
4 周鸿志;如何做好甲方对软件产品的检测[J];电子产品可靠性与环境试验;1999年04期
5 刘艳,舒云星;基于模块分割的软件测试自动化技术及应用[J];洛阳工业高等专科学校学报;2003年03期
6 车清太;软件测试方法和策略[J];山西电子技术;2003年06期
7 罗娜,林和平,袁福宇;面向对象软件测试的方法研究[J];东北师大学报(自然科学版);2004年01期
8 崔凤茹,宋巍,钱越英;气象水文软件测评系统建设研究[J];装甲兵工程学院学报;2004年02期
9 王炳晨;软件测试走向规范[J];微电脑世界;2005年07期
10 杨鹏;高职软件测试课程的教学探索与实践[J];番禺职业技术学院学报;2005年02期
中国重要会议论文全文数据库 前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 隋年;软件测试:2007需求再放大[N];就业时报;2007年
10 记者 兰昆;中国软件测试人才形成“科班培养”机制[N];中国经济导报;2005年
中国博士学位论文全文数据库 前10条
1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
2 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
3 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
4 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
5 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
6 李暾;VLSI RTL级模拟矢量自动生成技术研究[D];国防科学技术大学;2003年
7 史亮;测试数据自动生成技术研究[D];东南大学;2006年
8 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
9 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
10 李心科;软件故障分析及质量评估方法的研究[D];合肥工业大学;2001年
中国硕士学位论文全文数据库 前10条
1 林科学;软件测试/调试技术应用研究[D];南京气象学院;2004年
2 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
3 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
4 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
5 刘维秀;基于缺陷管理的软件测试方法及应用[D];山东大学;2005年
6 张福民;信息系统开发中的自动化测试应用研究[D];大连海事大学;2006年
7 邹欣;基于函数摘要的非法计算故障检测方法的研究[D];北京邮电大学;2011年
8 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
9 陈和平;面向对象的自动化单元测试[D];武汉理工大学;2004年
10 赖涵;软件缺陷管理的研究与辅助工具实现[D];吉林大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026