共查询到18条相似文献,搜索用时 93 毫秒
1.
一种基于UML状态图的面向对象类级测试模型 总被引:4,自引:0,他引:4
扩展有限状态机(EFSM)因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种UML状态图转为扩展有限状态机的方法,使之能采用传统的测试疗法对类进行状态覆盖和数据流覆盖。 相似文献
2.
基于UML状态图的测试技术研究 总被引:1,自引:1,他引:1
UML统一建模语言已经广泛应用于软件开发中,基于UML图的测试技术最近成为了一个研究的热点,其中对UML状态图的测试有着广泛应用前景。UML状态图是传统状态图的变体,增加了层次、并发、广播。所以UML状态图的测试方法建立在对传统状态机的测试方法的基础上,对层次、并发、广播的处理或转换。本文介绍了基于UML状态图的测试方法和测试工具的研究进展,最后讨论了未来可以研究的方向。 相似文献
3.
提出了一种基于UML状态图的测试场景生成方法。测试场景从状态图的基本转换路径中产生,一条转换路径对应一个测试场景。文中给出了从UML状态图获得基本转换路径的算法。该算法从状态图中的初始状态到终止状态进行遍历,得到所有的基本转换路径,根据环路复杂度可得到状态图的基本路径的最大数量,即测试场景的最小数量。根据测试场景设计测试用例,可生成较少而有效的测试用例。 相似文献
4.
统一建模语言UML具有定义良好、易于表达、功能强大的特点,同时还提供了非常强大的图例模型.目前,UML统一建模语言已经广泛应用于软件开发之中,而基于UML状态图的测试技术研究,目的就是为了能够有效地发现软件中存在的缺陷和故障,保证相应软件质量.讨论分析了基于UML状态图的测试用例生成技术,提出一种基于UML状态图的测试用例生成方法,生成较少但有效的测试用例,便于实现自动化测试,并介绍了基于状态图的测试覆盖标准,最后讨论了未来可以研究的方向. 相似文献
5.
文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则:ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。 相似文献
6.
UML状态图和Petri网络在类测试用例生成的应用 总被引:2,自引:0,他引:2
分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的. 相似文献
7.
8.
9.
基于UML状态图测试的充分性准则 总被引:5,自引:1,他引:5
本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。 相似文献
10.
11.
12.
13.
在可视化软件测试系统中,测试用例来源于引起对象状态转移的前置条件和触发事件,模拟界面控件状态由消息驱动产生转移变迁的执行特点形成界面状态因果图,提出了基于终态的测试树及其生成算法,讨论了利用这种测试树及相应覆盖准则生成测试用例的方法,最后给出了一个应用实例。 相似文献
14.
15.
16.
BGP-4协议一致性测试序列生成 总被引:1,自引:3,他引:1
该文讨论了一种协议测试序列生成的方法,它使用有限状态机模型作为协议的形式化描述规范,然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性测试中。这种方法以协议的形式化描述为输入,易于自动化实现,同时生成的测试序列较短,提高了测试效率。 相似文献
17.
18.
SDN(software-definednetwork)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试,是将一致性测试用例发送给P4网络设备,评估实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simpleswitch虚拟交换机为测试对象,说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具,并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性. 相似文献