当前位置:首页>> >>


基于模型的测试方法设计与实现.rar

收藏

资源目录
    文档预览:
    编号:20180913212854287    类型:共享资源    大小:2.74MB    格式:RAR    上传时间:2018-09-13
    尺寸:148x200像素    分辨率:72dpi   颜色:RGB    工具:   
    50
    金币
    关 键 词:
    基于 模型 测试 方法 设计 实现
    资源描述:
    本 科 毕 业 论 文题 目基于模型的测试方法设计与实现 学 院 信息科学与技术学院 专 业 网络工程 学生姓名 王 萍 学 号 200810420122 班级 网工(本)08-1指导教师(校内) 张修军 职称 讲师 指导教师(企业) 杨勃 职称 工程师 2012 年 05 月 30 日成都学院学士学位论文(设计)基于模型的测试方法设计与实现专 业: 网络工程 学 号:200810420122学 生: 王萍 指导教师:张修军(校内)杨勃(企业)摘要:论文简述了各种自动化测试方法在软件测试方面的应用,着重讨论基于 Microsoft Visual Studio 2010 的 Spec Explorer 工具及其在基于模型的测试中的使用方法,并利用 Spec Explorer 工具设计和实现了 QQ 软件的测试模型。本文根据 QQ 软件的 UI、功能点特点和测试的需求成功地创建了测试模型,再利用 Spec Explorer 工具自动生成具有一定覆盖率的测试用例,利用测试用例中的步骤对 QQ 软件进行功能测试,以期实现较科学的测试步骤。这些测试用例原本只能使手动测试更具高效性和科学性,但是经过 LUA 脚本语言的优化之后,这些测试用例就能在自动化测试工具上自动运行,实现了真正的软件测试自动化。通过使用软件测试模型,测试工程师只需编写少量的测试代码,即可获得相对大的覆盖面,并减少了软件界面改变后对测试用例的修改时间,极大地为软件测试公司节省了人力和财力。关键字:软件测试;模型;Spec Explorer;测试用例 成都学院学士学位论文(设计)Model-Based Testing Methods to Design and ImplementSpecialty:Network Engineering Student Number:200810420122Student: Wang Ping Supervisor:Zhang Xiujun (School)Yang Bo(Enterprise)Abstract: The thesis analyzed a variety of automated testing methods in the application of software testing, focused on Spec Explorer tool based on Microsoft Visual Studio 2010 and it’s using method in Mode-Based Testing. The QQ test model was designed and implemented by using Spec Explorer tool.According to UI of QQ software, functional characteristics and test requirements, this thesis successfully created a test model, and automatically generated test cases with certain coverage by using Spec Explorer tool. The scientific testing steps could be realized by using those test cases in QQ software’s function test. These test cases will only make manual testing more efficient and scientific. But after optimized by the LUA scripting language, these test cases can be run automatically on an automated testing tool. The complete software test automation was achieved. By using of software testing models, test engineer only need to write a small amount of test codes and achieved a relatively large coverage, reduced the modifying test case time caused by software interface modified. Those software testing models can greatly saves human and financial resources for software testing company. Key words: Software Testing; Model; Spec Explorer; Test Cases成都大学学士学位论文(设计)I目 录绪 论 ..........................................................................................................................................11 相关技术 ................................................................................................................................31.1 软件测试概述 ..............................................................................................................31.2 软件测试常用的方法 ..................................................................................................31.2.1 黑盒测试 ...........................................................................................................31.2.2 白盒测试 ...........................................................................................................41.2.3 基于风险的测试 ...............................................................................................41.2.4 基于模型的测试 ...............................................................................................41.3 模型测试 ......................................................................................................................51.3.1 什么是模型测试 ...............................................................................................51.3.2 为什么要使用模型测试 ...................................................................................51.3.3 采用模型测试 ...................................................................................................62 模型工具介绍 ......................................................................................................................112.1 Visual Studio2010....................................................................................................112.2 Spec Explorer...........................................................................................................122.2.1 Spec Explorer 概述 ..........................................................................................122.2.2 Spec Explorer 使用概况 .................................................................................132.2.3 用 Spec Explorer 建模的优势 ........................................................................132.2.4 Spec Explorer 的简单工作流程 .....................................................................132.2.5 Spec Explorer 基本方法 ..................................................................................142.3 关于 Spec explorer 中的三个项目 ............................................................................232.3.1 Adapter.............................................................................................................23成都学院学士学位论文(设计)II2.3.2 Model ...............................................................................................................242.3.3 Test Suite..........................................................................................................243 模型设计 ..............................................................................................................................253.1 分析规划微博的功能页面 ........................................................................................253.1.1 待测软件功能简介 .........................................................................................253.1.2 功能页面划分 .................................................................................................253.2 创建模型 ....................................................................................................................303.2.1 QQModel_1_0_Generic ...................................................................................313.2.2 QQModel_1_0_Generic.Adapter .....................................................................403.2.3 QQModel_1_0_Generic.TestSuite...................................................................403.3 使用测试用例 ............................................................................................................41结 论 ........................................................................................................................................43参考文献 ..................................................................................................................................44致 谢 ........................................................................................................................................46成都学院学士学位论文(设计)1绪 论2011 年 1 月份开始公司与台湾手机制造商宏达国际电子股份有限公司(HTC)合作,开展对 HTC 手机测试的工作,为了更全面,更高效的对手机进行测试, 在手工测试的基础上需要用到自动化测试,基于模型的测试正是自动化测试的一部分。9 月份进入公司实习,有幸在 12 月加入到自动化测试小组,学习基于模型的测试,所以作为这次毕业论文的课题《基于模型测试的研究》即由此产生。课题主要探讨什么是模型测试以及如何进行模型测试。近年来,基于模型的软件测试技术得到快速发展,大量的软件测试工具被研制出来并可以自动检索软件中的故障,在对一些大型商业软件和开源软件的测试中发现了大量的以前测试没有发现的软件故障和安全隐患。例如,SDV 在对 Windows 操作系统 126 个实用多年的驱动程序测试中发现了 65 个故障,包括 12 个严重故障;EXPLODE 在一些常用的文件存储系统发现了大量的严重故障;MC 在 Linux 和 OpenBSD 软件中发现了近 500 个故障以及 100 多个安全漏洞。FindBugs 在 Sclipse,J2SE 和 Jboss 等开元软件中发现上百个故障。微软的测试团队对 Windows Vista 操作系统研发过程中的几项新功能使用了基于模型的测试,并且发现可以通过少量的工作实现非常广泛的测试覆盖。Jim Liu,Windows Networking 微软测试工程师谈到: “其中一个很成功的建模是对一个新的 API 的测试。这个 API 是在 Windows Vista 中份额不给开发人员的。我们没有编写使用该 API 的测试应用程序,也没有将一系列可能的场景写成程序,而是使用模型来为卡发人员可以做出的所有函数调用生成状态机。这就意味这对于某个给定的函数和指定参数的调用,我们可以确定所有其他后续函数调用会有怎样的反应。我们不用为每种有趣场景都编写一次性应用程序,而是通过测试框架就可以测试 API 是否对不同选项,参数,完成架构做出正确反应。这才是我们测试框架的真正价值。通过使用模型,我们通过少量的测试代码,获得了与就途径相比更大的覆盖面。 ”我国有不少高校和研究所从事软件测试及相关理论方面的研究工作,但是,尚未见国产的基于模型的商业化软件测试工具,目前国内测试中心实用的相关成都学院学士学位论文(设计)2测试工具都是从国外购置的。近年来,和国外合作利用基于模型的静态分析测试工具对 IBM、HP 、BOEING 等指明企业已经长期运行的数百万行商业代码进行测试和分析,发现了数百个的故障。同事,在军队预先研究等项目资助下自主开发了 C/C++的故障查找工具 TGSOFM,对国内 7 个软件约 32 万行、2 类故障进行测试,发现了约 300 个故障。本次课题研究我将基于当下流行的 QQ 客户端进行建模,将设计过程和内容都展现在本文当中。本论文的总体框架结构如下所示:绪论:研究模基于模型的型测试的目的和意义,以及国内外现状,总述基于模型的测试的功能和作用。第 1 章:相关技术。简述了包括软件测试技术中的黑盒测试和白盒测试等在测试中常用到的技术的一个概述和发展现状。第 2 章:模型工具介绍。介绍了本课题中研究的使用 Spec Explorer 实现基于模型的测试的主要工具。第 3 章:详细设计。展示了整个建立测试模型的主要实现。第 4 章:结束与展望。简述本此设计中的不足和需要进一步实现的部分。本课题基本实现了测试模型的整体构架,但是由于自身的能力有限加上时间仓促,本课题并未实现对于测试的真正自动化。同时,感谢指导老师在毕业设计中对我的帮助。成都学院学士学位论文(设计)31 相关技术1.1 软件测试概述软件测试是软件开发过程的重要组成部分,是用来确认一个程序的品质或者性能是否符合开发前所提出的一些要求。软件测试有如下的目标,第一,确认软件的质量,其中一个方面是确认软件做了所期望的事,另一方面是确认软件一正确的方式来做了这个事情。第二,提供信息,例如为开发人员提供反馈信息名为风险评估准备信息。第三,软件测试不仅是在测试软件产品本身,而且还包括软件开发过程。如果一个软件产品的开完成之后通过测试发现该产品有很多严重的错误,这表明开发这个产品的过程很有可能有严重的缺陷 [1]。软件测试就是为保证软件产品的质量而存在,而衡量软件质量的包含了几个方面:一,在正确的时间用用正确的方法把一个事情做正确。二,符合一些应用标准要求。三,质量本身就是软件达到了最开始的要求,而代码的精美技巧并不是软件高质量的代表。四,符合客户的需求。因此测试人员在软件开发的过程中的任务就是:1. 寻找 BUG 2. 帮助识别软件开发过程中的缺陷3. 衡量软的品质4. 关注用户的需求1.2 软件测试常用的方法1.2.1 黑盒测试黑盒测试就是讲被测系统看成一个黑盒子,从外界获取输入,然后给出输出。整个测试基于需求文档,看能否满足需求文档中的所有要求黑盒测试要求测试者在测试时不能够使用与被测试系统内部结构相关的只是或经验,它适用于对系统的功能进行测试。使用黑盒测试比较简单,不需要了解程序内部的代码实现,测试从用户出发根据客户需求很容易知道用户会用到哪些功能,会遇成都学院学士学位论文(设计)4到哪些问题。测试过程基于软件开发文档,所以能清晰的知道软件实现了文档中的哪些功能。黑盒测试在虽然能在做软件自动化测试的时候较为方便,但是复用性较低。另外黑盒测试对代码覆盖度表现也较低 [2]。1.2.2 白盒测试白盒测试时在测试时能够了解被测对象的结构们可以查阅被测代码的内容的测试工作,他需要知道程序内部的设计结构以及具体的代码实现,并以此为基础来设计测试用例。白盒测试最直接的好处就是知道所设计的测试用例在代码级上的哪些地方被忽略掉,它的优点是帮助测试人员增大代码覆盖率,提高代码的质量,发现代码中隐藏的问题。但是,程序运行会有喝多不同的路径,不可能测试包含所有的路径。白盒测试是基于代码的只能测试时开发人员做的对不对,而不知道设计是否满足需求文档,功能需求是否漏掉。如果测试系统相对庞大的时候测试开销会很大。1.2.3 基于风险的测试基于风险的测试时指评估测试的优先级,优先级高的测试先做,优先级低的可以根据时间来安排。根据软件的特点来确定:如果一个功能出了问题,他对整个产品的影响有多大,这个功能出问题的概率有多大,如果出问题的概率大,而且出现问题后对整个铲平的影响也很大,那么在测试时就一定要覆盖到,对于一个用户很少用到的功能,出问题的概率很小,影响不到整个产品,这样可以选择性的考虑不测试时该功能。因此,基于风险测试的两个决定因素就是该功能出问题的概率有多大,出问题后对用户的影响有多大。基于风险的测试能很快发现反馈影响严重的缺陷,但是极易隐藏细微的缺陷,使产品质量始终隐藏问题。1.2.4 基于模型的测试模型实际上就是用语言把一个系统的行为描述出来,定义出他可能的各种状态,以它们之间的转换关系,既状态转换图。模型是待测系统的抽象。基于模型的测试时利用模型来生成相应的测试用例,然后根据实际结果和预想结果的差异来测试系统 [3]。下面将重点讲述模型测试的相关内容。
    展开阅读全文
    1
      金牌文库所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    0条评论

    还可以输入200字符

    暂无评论,赶快抢占沙发吧。

    关于本文
    本文标题:基于模型的测试方法设计与实现.rar
    链接地址:http://www.gold-doc.com/p-139156.html
    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们
    copyright@ 2014-2018 金牌文库网站版权所有
    经营许可证编号:浙ICP备15046084号-3
    收起
    展开