一种基于UML状态图的类级测试技术的研究与实现.pdf

电子科技大学
硕士学位论文
一种基于UML状态图的类级测试技术的研究与实现
姓名:张庆
申请学位级别:硕士
专业:计算机应用
指导教师:雷航
20050117
摘要面向对象技术的广泛应用,使得有关面向对象测试的研究也越来越受到重视。面向对象软件系统的测试可划分为四级:方法级、类级、簇级和系统级测试。方法级和系统级的测试方法与传统过程式程序的测试方法类似,而类级和簇级的测试则面临新的问题。类是数据和数据操作的集合。对一个类来说对代码的完全覆盖并不能达到满足测试的要求。且恢止δ芮看蠛透丛拥慕S镅裕岢隽艘恍┙;坪鸵幌盗的可视化图形以帮助我们开发和管理系统。韵低车拿枋黾蛄范贰R此,谌砑煊虻挠τ萌找嬗τ谩因此,对一个类进行基于墓嬖疾馐跃哂邢质档囊庖濉;赨的规约测试能够在系统分析时产生测试案例。这样使测试工作提前进入开发流程,并能保证测试案例与规约的一致性。本文首先分析和研究了刺嫉挠锓ㄓ镆逡约靶问交枋觥⒂邢拮刺机和扩展有限状态机的形式化描述、测试案例的覆盖标准以及生成方法。然后重点研究基于刺嫉拿嫦蚨韵罄嗉恫馐缘姆椒āL岢隽私玌状态图转换为扩展有限状态机,并根据这种来分析状态图中的控制流和数据流的方案,在进行数据流测试时还提出了一种改进的扩展有限状态机的数据流测试方法。最后实现一个自动测试工具对该方法进行检验。在此过程中,要重点解决的问题是归纳出一些简便可行的转换规则以保证状态图信息的保留。在测试用例生成过程中则会用到相应的关于控制流和数据流的一些分析技术和覆盖准在代码实现阶段采用作为系统的开发环境。在开发过程中借对系统进可视化建模。关键词:面向对象测试,刺迹┱褂邢拮刺刂屏鳎萘助工具电子科技大学硕士论文;一种基于刺嫉睦嗉恫馐约际醯难芯坑胧迪则。
瓵琔:.琣.;电子科技大学硕士论文::;琁甌.,琧甌’.琁.,
签名:例陆签名:火灰日期:加年;月,关于论文使用授权的说明独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。本学位论文作者完全了解电子科技大学有关保留、使用学位论文的规定,有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许论文被查阅和借阅。本人授权电子科技大学可以将学位论文为获得电子科技大学或其它教育机构的学位或证书而使用过的材料。日期:.停月的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。C艿难宦畚脑诮饷芎笥ψ袷卮斯娑
第一章引言面向对象软件测试概论皇王型堇盔堂亟主堡交恢只赨状态图的类级测试技术的研究与实现给出的软件测试的定义为:“使用人工或自动手段来运行或测定某个软件系统的软件测试的目的是发现软件中的错误。年在软件工程标准术语中过程,其目的的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之测试的目标是以最少的时间和人力找出软件中潜在的各种错误和缺陷。在他关于软件测试的著作中】陈述了一系列有关测试目标的准·测试是一个为了发现错误而执行程序的过程。●一个好的测试用例是指很可能找到迄今为止尚未发现的错误的用例。●一个成功的测试是指揭示了迄今为止尚未发现的错误的测试。软件测试在软件生存期中占有重要的地位,这不仅是因为测试阶段占用的时是保证软件质量的重要手段,其主要方式是在设计测试用例的基础上检验软件的各个组成部分。软件测试必须得到充分的重视,因为即使是经验丰富的程序员,也难免在编码中发生错误,更何况在设计甚至分析阶段就可能存在对系统理解的偏差。大量统计表明,软件测试的工作量往往占软件开发总工作量的%以上,并且现今有很多机构趋向于在测试中投入更多的精力。但要指出的是测试并不能发现所有的错误,它只能尽可能多的发现错误。:“测试只能证明程序有错,不能保证程序无错”。为了检验被开发的软件是否符合规格说明书的要求,测试活动可以采用各种不同的策略。这些策略的区别在了它们表明了不同的出发点、不同的思路以及采用不同的手段和方法。常用的软件测试的策略包括:静态方法和动态方法。黑盒方法和白盒方法;随机测试和穷举测试:测试步骤ピ2馐浴⒓刹馐浴⑷啡测试和系统测试蛔远ハ蛳虏馐院妥缘紫蛏喜馐裕豪劢馐杂敕抢劢馐裕蝗工测试和自动测试等。静态测试的基本特征是在对软件进行分析、”。它是为了发现错误而执行程序的过程。间、花费的人力和成本占软件开发的很大比重,而且它直接影响着软件的质量,则:
关信息,设计或选择测试用例来对程序所有的逻辑路径进行测试。然后通过在不的程