首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 140 毫秒
1.
柴玉梅  冯秋燕  王黎明 《电子学报》2013,41(6):1242-1248
 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.  相似文献   

2.
基于UML集成测试模型的生成方法   总被引:1,自引:0,他引:1  
UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.  相似文献   

3.
测试用例的选择在软件测试中十分重要,良好的测试用例可以减少时间和资源的使用,因此提出了一种基于遗传算法的UML活动图自动生成测试用例的算法。通过建立UML活动图模型,将活动图转换为有向图,然后采用深度优先搜索方法获得测试路径,应用遗传算法优化得到测试路径。该算法可以提供优先需要测试的路径,用于自动生成高质量的测试用例,提高测试任务的工作效率。  相似文献   

4.
传统的软件测试主要依赖人工来产生测试用例,易出错、完备性差、自动化程度低。为了提高测试的完备性和自动化程度,基于模型的测试越来越受到人们的关注,这种方法的优点在于可以及早的发现缺陷,缩短开发时间。文章提出一种基于统一建模语言(Unified Modeling Language,UML)活动图模型生成测试用例的方法,结合实例重点介绍测试路径生成的具体步骤。根据该方法生成的测试用例,可以自动生成测试路径,提高了测试的完备性和自动化程度。  相似文献   

5.
Web应用测试是提高Web应用质量的重要手段,测试的核心工作就是生成测试用例。生成测试用例主要有两大步骤:(1)从Web应用中提取模型。(2)遍历表示模型的有向图,产生测试用例。首先采用Html分析法结合源代码分析法提取FSM模型,随后在新提出的Web应用最小测试成本迁移覆盖准则下,利用一种复合的启发式搜索算法--模拟退火遗传算法遍历模型。通过比较模拟退火遗传算法和传统的搜索算法的效果,实例证明,该方法比传统方法生成的质量更理想。  相似文献   

6.
0119723UML statecharts 的测试用例生成方法[刊]/李留英//计算机研究与发展.—2001,38(6).—691~697(E)测试用例生成是软件测试的关键。根据 UMLstatecharts 的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主 UMLstatecharts 和复合状态所对应的子 UML statecharts 的测试基,并依据一定的合成规则和 Wp-方法生成整个UML statecharts 的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较少的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。参11  相似文献   

7.
苏荟 《现代电子技术》2012,35(18):38-40
为了更好地完成面向对象软件测试中的集成测试,提出了一种基于UML类图的面向对象软件集成测试方法。首先从UML类图的文件中利用RationalRose提供的接口将类图中的类内信息、类间信息提取出来,并计算每个类的内聚度以及类间耦合度,同时把每个类看作有向图的结点,类的内聚度、类间耦合度的加权作为节点的权值,类间关系的出度作为关系的权值。根据动态绑定的特点,在图中添加类间可能存在的动态绑定线索;然后,遍历该动态对象赋权图生成集成测试的测试序列;最后对生成的序列进行筛选,得出最有效的测试序列。实验证明该方法是有效的。  相似文献   

8.
为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt[1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统的状态表示生成满足覆盖准则的基本方法。本文引入了一种应用于大型集成电路设计的数据结构OBDD(有序二叉决策图)作为生成测试用例的基本结构,创新地提出了一种新的生成测试用例方法。  相似文献   

9.
在对软件进行测试中,生成测试用例是一个工作量巨大的工作,若是依靠手工方式生成测试数据则极有可能出现错误.为了保证测试的充分性,测试用例的有效性,本文研究了如何进行测试数据的自动生成,提出了基于遗传算法的软件测试数据的生成方法.本方法利用遗传算法实现测试数据的自动化生成,并在生成的过程中并对测试数据进行测试,解决了路径覆盖的测试.  相似文献   

10.
基于Z路径覆盖的测试用例自动生成技术研究   总被引:1,自引:0,他引:1  
路径覆盖是白盒测试中覆盖率最高的一种覆盖方法,但由于其生成的路径过多,很难应用到实际测试中。Z路径覆盖是路径覆盖的一个变体,可有效解决路径覆盖过多的难题。结合指令块测试思想和动态数据自动生成算法,提出基于Z路径覆盖的测试路径和测试用例自动生成技术。  相似文献   

11.
Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for automated test case generation is one major bottleneck in the UML activity diagram validation. This article presents a methodology for automatically generating test cases based on various model checking techniques. It makes three primary contributions: First, we propose coverage-driven mapping rules that can automatically translate activity diagram to formal models. Next, we present a procedure for automatic property generation according to error models. Finally, we apply various model checking based test case generation techniques to enable efficient test case generation. Our experimental results demonstrate that our approach can reduce the validation effort drastically by reducing both test case generation time and required number of test cases to achieve a functional coverage goal.  相似文献   

12.
基于UML的面向对象建模方法的研究   总被引:1,自引:0,他引:1  
为了研究较好的软件建模方法,运用UML中的5种图对面向对象建模的方法进行讨论及技术研究,提出如下建模过程:首先是系统需求;随后分析问题领域,建立系统的用例图;接着,建立系统的静态结构模型,并将系统的功能需求分解到各个对象类,以确定各个对象类的责任;然后,建立系统的动态行为模型;最后,给出物理模型。通过实例,对UML的面向对象建模机制做了系统概述,表明UML是一种优秀的建模语言,使用UML有助于开发者对整个系统有清晰的认识,从而建立各种系统模型,为后期编码工作做好充分的前期准备。  相似文献   

13.
近年来,UML已经被广泛应用于软件的分析和设计,然而,由于软件系统的复杂性,在UML模型中,难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2.0模型状态图和顺序图一致性的方法。首先,用XYZ/E来形式化描述状态图并将其转化为Promela输入语言;然后,用LTL来表示顺序图间的相互作用;最后利用模型检测工具Spin通过检查Promela描述的状态图是否满足LTL公式来达到检测模型一致性的目的。  相似文献   

14.
基于实时UML的雷达软件设计   总被引:3,自引:1,他引:2  
李海 《现代雷达》2006,28(8):47-49,57
实时统一建模语言(UML)和面向对象的建模技术代表着雷达软件设计的一个发展方向。文中介绍了使用UML的用例图、状态图、顺序图等进行系统分析、设计、实现和测试,并讨论了如何选择UML工具与实时框架以及实时性分析等问题。  相似文献   

15.
针对传统课堂教学不能很好地延伸和拓展,学生不能灵活地掌握学习主动权,学生学习和教师教学缺乏有效交流平台等问题,将Browser/Server三层体系结构、Servlet、JDBC技术应用于远程在线教育系统中.研究了系统实现的技术原理,系统功能需求,从系统用例图、时序图、协作图、状态图方面进行了系统UML建模、完成了数据流图、数据字典、系统流程和数据库设计,最后对系统进行了黑盒测试,测试结果达到了预期效果.  相似文献   

16.
刘峰  尤飞  康亚明 《电子设计工程》2012,20(20):138-140
为了实现对温室环境监测的需求,改进落后的软硬件系统设计方法,提出了一种先进的嵌入式温室环境监测系统设计方案。该系统主要以S3C2440为核心,采用UML的方法,利用UML用例图、类图等静态建模法和状态图、顺序图等动态建模法,完成对系统的建模。实际应用表明UML方法可以清晰、直观的实现系统。  相似文献   

17.
Though Unified Modeling Language (UML) has been widely used in software development, the major problems confronted lie in comprehension and testing. Dependence analysis is an important approach to analyze, understand, test and maintain programs. A new kind of dependence analysis method for UML class diagrams is developed. A set of dependence relations is definedcorresponding to the relations among classes. Thus, the dependence graph of UML class diagram can be constructed from these dependence relations. Based on this model, both slicing and measurement coupling are further given as its two applications.  相似文献   

18.
雷斌  崔丽婷 《电子质量》2013,(8):39-41,50
针对完整的类测试用例(包括测试序列和测试数据),采用灰盒测试技术,提出对UML状态图进行改进的广度优先搜索和深度优先搜索遍历后转化为测试树,再对树进行遍历得到测试序列,测试数据由等价划分方法和边界值法设置,通过实例可验证此方法有效可行。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号