【摘 要】
：
软件测试是保证软件质量的一个重要手段。随着面向对象技术的广泛应用,特别是基于统一建模语言(UML)软件开发技术的逐渐普及,为了满足软件测试自动化的要求,基于UML的面向对
论文部分内容阅读
软件测试是保证软件质量的一个重要手段。随着面向对象技术的广泛应用,特别是基于统一建模语言(UML)软件开发技术的逐渐普及,为了满足软件测试自动化的要求,基于UML的面向对象软件测试正日益受到关注。本文主要研究工作是通过实例分析UML图,生成面向对象软件不同测试级别的测试用例。论文首先分析了面向对象软件的特点对软件测试的影响、面向对象软件测试的层次划分与内容,以及UML与面向对象软件测试的关系,然后研究了基于UML的类测试技术。在对基于服务的测试技术的研究中,提出了块分支测试模式；对基于状态图的测试技术研究中,实现了状态图向扩展的有限状态机(EFSM)的转化,根据EFSM的覆盖准则研究了基于EFSM生成测试序列的方法；对基于顺序图的测试技术研究中,实现了顺序图向过程间受限控制流图(IRCFG)的转化,根据IRCFG的覆盖准则研究了基于IRCFG生成测试序列的方法。本文通过对图书馆管理系统(LMS)的实验分析,验证了所研究的类测试技术能够生成符合测试规格的测试用例,在一定程度上解决了测试用例数量膨胀的问题。
其他文献
金属输送设备由于流体冲蚀、腐蚀作用的长期积累会造成内壁损伤,损伤严重情况下,如不及时发现会导致容器输送液体外流浪费。如果输送的液体为石油等易燃、易爆液体,不仅有可
组播技术可以节省大量的网络通信资源,提高通信效率。多源组播要求组播组中每个结点都可以作为组播源发送消息,并且对组播组中的结点进行度约束。应用层组播可以在不需网络层
本文中主要研究平面型Mushroom-like型PV-PBG结构的特性,分析了表面波带隙和反射相位带隙的形成原因,总结了Mushroom-like型PV-PBG结构的等效电路模型和LRCC模型,提出了把CLR
不可否认服务(Non-Repudiation Service)是开放系统互联参考模型安全体系结构标准ISO/IEC 7498-2中描述的五种安全服务之一。它保证了网上事务办理的可追踪性及公平性,是电子
软件测试对确保软件质量有着极其重要的作用,但是手工的测试工作是非常繁琐和低效率的,因此测试的自动化就越来越成为重点。软件测试自动化主要包含了：(1)测试用例的自动生成；(
近年来,随着数据的飞速增长,以DAS、NAS、SAN为代表的存储网络系统成为大多信息系统的数据存储中心。随着存储系统的网络化趋势,存储系统逐渐成为恶意攻击者的重要目标,攻击
随着互联网的发展和人们生活水平的提高，电子商务成为了一种时尚和潮流，随之也产生了不少以商品为中心的推荐系统，这类推荐系统利用用户的浏览（购买）记录来给用户其可能想了解或购
随着近年来我国教育水平的提高和国家及各教育机构对人才培养的重视，教育相关的数据量逐年增加。在关于教育信息的申报和评审类系统中，需要对申报的关键信息进行重复检查，以保证
当今是高速发展的信息时代,互联网作为这个时代的重要标志,已经渗透到人类社会的各个领域,互联网的核心TCP/IP协议更是在人们日常的网络信息交换中起到了至关重要的作用。然
近年来,对于视频序列中人体运动行为的视觉分析是计算机视觉领域中日益受到重视的一个研究方向。随着时代的进步,这项技术也在不断的发展完善,在未来必将有广阔的应用前景并