收藏本站
《武汉理工大学》 2003年
收藏 | 手机打开
二维码
手机客户端打开本文

形式化方法在CSTA系统测试中的应用研究

游红俊  
【摘要】: 软件测试的直接目的是尽可能发现该软件中的潜在缺陷,这是保证软件质量的关键。软件测试的工作往往占软件开发总工作量的40%以上,并且软件缺陷的发现时间同缺陷修正的代价呈幂次关系。一套行之有效的软件测试方法及技术是在指定的期限内,投入适当的费用和合理的人力物力,避免无效或低效的重复测试,保证测试质量,适时终止测试,最终为及时推出优秀的软件产品提供科学、实用的依据。软件测试逐步受到软件供应商的重视,渐渐成为应用研究的热点。本论文对系统测试方法进行了探索,具有一定的理论意义。而且,本文为软件测试业务外包提供了一个现实可行的依据,对软件公司将主要精力放在某行业的应用软件开发、降低成本、提高核心竞争力提供了一种途径,具有重大的经济价值。 本论文在国内某著名公司的实习实践的基础上,首先对软件系统测试阶段通常用到的方法、技术与技巧进行了系统的阐述,并对其中可操作性不强的地方进行了实用化处理;然后以电信软件CSTA的测试为例,指出这些常用测试方法是以用户需求相当完整清晰为前提的,于是提出将形式化方法引入系统测试。系统测试中得形式化方法是将客户需求用数学规约表达出来,推导出各项功能得预期输出结果,以完善客户需求,不仅为测试工作提供一个较为客观的标准,而且可以消除规约中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数。该方法在实习期间用到CSTA系统测试中,取得了明显效果。 本论文共包含七章的内容。第一章介绍了软件测试的发展状况,阐明了本课题的研究内容。第二章分析了软件的测试基础并提出了软件测试工程师应有的职业思想——不断变换测试视角,并对测试视角中质疑技巧进行了着重论述。第三章介绍了软件测试中的策略问题。第四章总结了常用的软件测试技术:黑盒测试技术和白盒测试技术。第五章对比了常用软件测试方法,讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。第六章结合软件系统测试的需要,给出了一个用RAISE形式化CSTA的实例,并根据该实例剖析了系统测试中的形式化技术。第七章以实习期间在系统测试中运用该方法得到的数据,论证了形式化方法在系统测试中的优点和存在的不足。
【学位授予单位】:武汉理工大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:TP311.52

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 钱红兵,刘超,晏海华,何智涛;基于量化分析的软件测试过程的控制技术[J];北京航空航天大学学报;2001年04期
2 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
3 张永梅,陈立潮,马礼,郭韶升;软件测试技术研究[J];测试技术学报;2002年02期
4 谢仕义;软件测试方法研究[J];电脑开发与应用;2001年03期
5 邵立;软件测试和质量保证[J];电信快报;2001年03期
6 杨发明;从软件工程角度谈我国电信软件的开发[J];电信科学;2000年09期
7 杨传武;一种实用的软件测试方法介绍[J];甘肃科技;2000年02期
8 贲可荣;软件质量保证技术研究综述[J];海军工程大学学报;2002年04期
9 刘群,洪帆;软件测试的应用研究与分析[J];华中理工大学学报;2000年11期
10 王建国,吴建平;分布式通用测试结构的形式化研究[J];计算机研究与发展;2000年09期
【共引文献】
中国期刊全文数据库 前10条
1 吴晓琴;浅析面向对象程序设计特点[J];安徽大学学报(自然科学版);2002年03期
2 孙荣高,王忠群;基于数据字典的软件预防性维护设计[J];安徽机电学院学报;2000年03期
3 孙柏林,昝向明;医疗保险信息系统的数据安全[J];安徽工程科技学院学报;2002年03期
4 梁瀚;计算机软件系统测试方案研究[J];鞍山师范学院学报;2003年04期
5 杨鸿雁;耿新青;;数据库系统原理课程群建设与实践[J];鞍山师范学院学报;2010年06期
6 何方;马武刚;;面向对象设计UML技术在考试系统设计中的实践[J];安阳师范学院学报;2006年05期
7 李淑娣;赵培琨;;铁路检修管理系统的设计与实践[J];保定职业技术学院;2007年02期
8 刘翔翔;杨勇平;吉鹏飞;;视频实验教学系统实现与应用[J];办公自动化;2011年24期
9 郭海峰,王凤新;电子商务教学与实验网络平台的构建[J];兵工自动化;2004年01期
10 杨伯刚,龙家恒,刘志祥;北京市综合管网信息系统的建立[J];北京测绘;2004年02期
中国重要会议论文全文数据库 前6条
1 范东丽;孙长嵩;;嵌入式软件的测试策略初探[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
2 贲可荣;王淑雪;;软件可靠性测试模型探讨[A];第六届全国计算机应用联合学术会议论文集[C];2002年
3 张川;王君珂;王柏;;基于XML实现软件接口测试平台[A];第六届全国计算机应用联合学术会议论文集[C];2002年
4 吴明行;韩银和;李晓维;;应用于作业调度算法的可测试性设计[A];第十届全国容错计算学术会议论文集[C];2003年
5 于磊;傅常顺;;基于度量的软件测试过程管理[A];第五届中国测试学术会议论文集[C];2008年
6 黄萍;戴志华;;指控系统软件测评技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
中国博士学位论文全文数据库 前10条
1 曾桂忠;球磨机装补球方法体系研究与精确化装补球软件开发[D];昆明理工大学;2009年
2 计春雷;全功能点方法和功能规模度量统一模型的研究与应用[D];华东理工大学;2011年
3 牛立刚;飞秒激光微纳加工数据模型研究[D];吉林大学;2011年
4 张珊;REST式GIS服务聚合研究及软件开发[D];华东师范大学;2011年
5 谢蓉;农业经济运行动态监测系统研究与构建[D];华东师范大学;2011年
6 程刚;高射频自动机及供输弹机构动态特性研究[D];南京理工大学;2011年
7 李斌;地裂缝地面沉降灾害管理信息系统开发及应用研究[D];长安大学;2009年
8 陈伟强;基于GIS的烟草施肥决策支持系统研究[D];解放军信息工程大学;2009年
9 祝义;嵌入式软件需求规约到软件体系结构模型的转换研究[D];南京航空航天大学;2011年
10 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年
中国硕士学位论文全文数据库 前10条
1 邹雄;基于FPGA的弹载计算机调试方法研究[D];南昌航空大学;2010年
2 韩冬振;远程诊断中心的设计与实现[D];郑州大学;2010年
3 董超;基于AE的县域农业资源信息系统的研制与应用[D];山东农业大学;2010年
4 王琦;压铸机实时压射系统与后台数据库的研究[D];辽宁工程技术大学;2009年
5 黄维东;大连电台音频监测控制系统的设计与实现[D];大连海事大学;2010年
6 姚克;高校机房管理系统的设计与实现[D];中国海洋大学;2010年
7 仲晓芳;基于回归测试的测试用例优先级的研究与应用[D];中国海洋大学;2010年
8 马丽丽;远程教学答疑系统的设计与实现[D];中国海洋大学;2010年
9 李学智;建材检测分析系统设计与实现[D];华东师范大学;2010年
10 崔康乐;UML时序图模型到UPPAAL时间自动机模型转换方法研究和工具实现[D];华东师范大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 刘超,金茂忠;软件测试过程的基本模型POCERM[J];北京航空航天大学学报;1997年01期
2 贲可荣,邹云松,刘孟仁;战略防御系统软件的可靠性分析[J];海军工程学院学报;1998年02期
3 朱利群;软件测试模型及其实现[J];湖南师范大学自然科学学报;1998年03期
4 曾浩,贲可荣;通过提升CMM级别改进软件质量(实例介绍)[J];舰船电子工程;2001年02期
5 贲可荣,俞立军;能力成熟度模型及其评估算法[J];舰船电子工程;2001年05期
6 贲可荣,俞立军;国际高成熟度研讨会综述[J];舰船电子工程;2002年04期
7 金凌紫;面向对象软件测试技术进展[J];计算机研究与发展;1998年01期
8 储军杰,陈丽娟;软件执行路径的高层次可视化表示[J];计算机学报;1998年03期
9 殷锋;从Web数据库的发布看XML技术[J];计算机应用;2001年S1期
10 张春枝,王弘;基于C/S与B/W/S混合模式的MIS系统设计[J];计算机应用研究;2001年10期
【相似文献】
中国期刊全文数据库 前10条
1 黎忠文,熊光泽;形式化方法与安全关键系统[J];计算机应用;2000年09期
2 张慧;郑超美;;安全协议的形式化验证方法概述[J];计算机安全;2007年01期
3 姚全珠;张鹏;;基于数据包长度的网络隐蔽通道[J];计算机工程;2008年03期
4 陈道喜;陈冬火;张广泉;;NS密码协议的模型检测分析[J];苏州大学学报(工科版);2008年03期
5 邹俊;;反射中间件技术及其发展[J];科技广场;2009年03期
6 孙麒;张云华;;基于CSP的形式化方法研究[J];浙江理工大学学报;2009年04期
7 朱艳龙;;软件形式化方法的研究[J];阴山学刊(自然科学版);2004年02期
8 邓达平 ,王命延;形式化方法——Z语言在西瓜棋中应用的研究[J];科技广场;2005年02期
9 张志锋;徐洁;邓璐娟;任雪利;;基于B的UML形式化需求分析[J];计算机技术与发展;2007年08期
10 李建华;李红革;;形式化及其历史发展[J];自然辩证法研究;2008年08期
中国重要会议论文全文数据库 前10条
1 邱波;姜利军;;MEMS传感技术在飞机系统测试中的应用研究[A];2011航空试验测试技术学术交流会论文集[C];2010年
2 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
3 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
4 杨占才;王红;周一鸥;刘金甫;;ATS系统测试和诊断信息交换技术研究[A];2010航空试验测试技术学术交流会论文集[C];2010年
5 燕飞;唐涛;;实时并发系统的形式化建模方法研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
6 屈晨阳;郭丽莉;;月球车数传系统X波段数传接收机的研制[A];中国空间科学学会空间探测专业委员会第十九次学术会议论文集(下册)[C];2006年
7 常永亮;王佳琳;常永刚;刘宝凤;;软件测试的应用[A];2008年航空试验测试技术峰会论文集[C];2008年
8 王绍棣;孙知信;王汝传;;形式化方法在CAD中的应用研究[A];中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集[C];2001年
9 燕飞;唐涛;;形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
10 李樱;王永滨;冯爽;;基于LOTOS的PIM-SM协议形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
中国重要报纸全文数据库 前10条
1 中科院自动化所RFID研究中心 刘禹谭杰 赵健;RFID系统测试探秘[N];计算机世界;2007年
2 张伟华;金鹏GSM/GPRS HLR系统测试取得进展[N];人民邮电;2000年
3 本报记者  李中秋;期指上市初期不期望爆发式增长[N];中国证券报;2006年
4 郑朝松;北京广利核DCS系统测试通过验收[N];中国工业报;2010年
5 沈雪芳 译;修复软件缺陷的成本[N];计算机世界;2006年
6 本报记者 钱炜;探秘奥运会信息系统测试[N];科技日报;2007年
7 本报记者  黄嵘;两万人次参与激活期指仿真交易[N];上海证券报;2006年
8 ;ELMOS选择科利登FALCON系统测试汽车电子器件[N];电子资讯时报;2007年
9 金清华;网络系统测试迈入“航海世纪”[N];中国计算机报;2006年
10 记者 申红卫;郑商所将进行交易系统测试[N];期货日报;2003年
中国博士学位论文全文数据库 前10条
1 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
2 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
3 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
4 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
5 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
6 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
7 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
8 金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年
9 廖军;面向服务的计算(SOC)中服务组合的研究[D];电子科技大学;2006年
10 胡俊;高安全级别可信操作系统实现研究[D];中国科学院研究生院(电子学研究所);2008年
中国硕士学位论文全文数据库 前10条
1 游红俊;形式化方法在CSTA系统测试中的应用研究[D];武汉理工大学;2003年
2 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
3 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
4 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
5 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
6 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
7 陈岳;基于形式化方法构建领域模型及其实现的探讨[D];华东师范大学;2008年
8 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
9 彭珊珊;安全的电子投票方案及其匿名性的研究[D];上海交通大学;2008年
10 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026