基于UML的学生食堂自动收费系统研究

简要介绍了统一建模语言UML（Unified Modeling Language），给出了学生食堂自动收费系统问题描述，根据问题描述对该系统建立了类模型，用例模型，活动图和顺序图，这些图为此系统的形成奠定了基础。     

基于UML的学生食堂自动收费系统研究

简要介绍了统一建模语言UML(UnifiedModelingLanguage),给出了学生食堂自动收费系统问题描述,根据问题描述对该系统建立了类模型,用例模型,活动图和顺序图,这些图为此系统的形成奠定了基础。     

基于UML的系统测试用例自动生成

提出了一种新颖的基于UML图自动生成系统测试用例的方法.此方法适用于所有UML建模的系统.用创新性地结合图论知识,对用例图和序列图进行抽象,定义了相应的测试覆盖准则以生成测试用例.通过两级遍历,自动生成系统测试向最,并且达到所提的系统测试覆盖率的要求.能够覆盖所有用例、用例依赖性、以及交互中所有的消息序列.实现最大化的...     

UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。     

一种基于UML的集成测试线索的生成方法

本文在总结生成集成测试线索研究现状的基础上提出了一种有效解决组合爆炸并且生成测试线索少的集成测试线索生成方法,并根据此方法实现了一个集成测试线索生成工具.该方法根据被测系统集成测试线索具有层次的特点,首先利用例间顺序依赖关系活动图(UCSDAD)提取系统用例间的测试线索,然后通过描述用例交互信息的协作图得到系统中每个用例的测试线索,最后将得到的系统用例间测试线索中的用例替换为相应的用例测试线索,从而可以生成系统集成测试线索.     

精化UML模型

本文通过融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型和设计模型，给出了需求模型和设计模型的协调性条件及精化规则。这样，我们可以从软件开发的需求分析和设计阶段检查模型的协调性，通过协调地精化模型后生成代码。用这种方法，我们可在软件设计的早期阶段发现不协调问题，减少生成代码后除错所产生的代价。     

UML在电信客户资料维护中的应用

根据UML的建模原理,采用面向对象需求分析方法,针对蜂窝式电信经营分析系统中客户资料维护方面的业务需求,抽象出数据对象模型．采用用例图和时序图描述业务功能需求和业务流程。     

UML模型的协调性检查

本文融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型，给出了这个需求模型的各个元素及相互间协调性检查的一种方法，这样。可以从软件开发的需求分析阶段检查模型的协调性，减少开发成本，最后再从协调的需求模型生成代码。     

基于UML活动图生成功能测试线索

测试自动化是提高软件测试效率的重要途径。基于UML模型的面向对象软件测试是当前研究的热点。这些研究大都是类或集成测试，对于如何自动生成较为完整、合理的系统测试用例较少。在总结研究现状的基础上，以应用举例的方式提出一种从描述系统用例问顺序依赖关系的活动图和用例实现的活动图中获取系统功能测试线索的方法。     

基于UML用例图的软件产品线需求建模方法

软件产品线方法是一种面向特定领域的、大规模、大粒度的软件复用技术。明确建模和描述软件产品线需求是软件产品线开发的关键问题之一。而传统的UML用例图等方法不足以完整描述产品线需求,特别是其变化性。通过分析软件产品线开发过程和软件产品线需求建模的特殊性,采用扩展UML用例图标签的方法,实现对软件产品线需求的明确描述。以网络图书销售软件产品线为例,进行具体说明。     

基于UML集成测试用例的算法研究

对基于状态图生成集成测试用例的方法进行了研究,通过构造集成测试模型,重点描述了两个对象或组件的状态图进行合并的方法,并给出了状态图的形式化描述,以及如何对组合状态图进行展开用于集成测试用例的生成.为了验证该方法的实用性,又以实际项目研究为例,实现了基于状态图集成测试用例的生成工具,对该方法进行了验证,并给出了算法的部分实现代码.该方法将系统设计和测试用例的设计统一起采,是软件测试自动化的一个探索.     

基于UML模型的系统级测试用例生成方法

采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测试。     

基于UML活动图的测试研究进展

UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模.基于UML活动图的测试受到业界的普遍欢迎.然而从UML活动图自动生成完整的测试场景\用例成为一个难点.本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法.对这些方法进行了分析与比较,指出一些不足之处.最后对UML活动图测试的发展趋势做了一些展望.     

Are use case and class diagrams complementary in requirements analysis? An experimental study on use case and class diagrams in UML

Despite the status of united modeling language (UML) as the de facto standard for object oriented modeling, it has received controversial reviews. The most controversial diagram in UML is the use case diagram. Some practitioners claim that use case diagrams are not valuable in requirements analysis and some have even argued that use case diagrams should not be part of UML. This research examined the values of use case diagram in interpreting requirements when use case diagrams are used in conjunction with class diagrams. In other words, the study investigated the possible synergetic values and relationships between the use case and class diagrams in the context of requirements analysis. This study used theories from cognitive psychology as its theoretical and conceptual foundation. The data collection utilized the verbal protocol technique in which subjects were asked to think aloud as they interpreted the use case and class diagrams. The results show that the use case diagrams were more completely interpreted than the class diagrams. The presence or absence of one diagram when interpreting another diagram had no effect on the outcome of the interpretation. From the results, we argue that the use case diagrams and class diagrams depict different aspects of the problem domain, they have very little overlap in the information captured, and both are necessary in requirements analysis.     

基于UML顺序图的测试用例生成

为生成覆盖测试需求的测试用例集,提出一种基于UML顺序图自动生成测试用例的方法。通过分析待测系统的功能用例,对其进行顺序图建模。在基于该顺序图生成测试用例的过程中,对顺序图添加规约条件,解析顺序图,得到场景测试树,再遍历该树,得到场景的输入、预期输出、约束条件以及场景环境,这4部分组成了测试用例,同时对如何处理复杂的顺序图及如何满足测试用例充分性等问题进行分析总结,提出有效的解决策略。     

UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具

UML已经成为建模语言的事实标准，如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战．为了从UML设计模型中的活动图直接生成测试用例，给出了UML活动图的形式化定义和灰盒测试方法．该方法首先分析UML活动图上的所有执行路径（每条路径称为一个测试场景），然后根据测试场景中的节点和转换所代表的活动及其输入／输出变量、相关约束条件等生成测试用例．并根据该方法实现了一个自动生成测试用例的工具UMLTGF，它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例．该工具能够提高软件测试的效率，降低测试成本．     

信息系统UML建模研究

UML作为一种面向对象的标准建模语言,在信息管理系统的建模领域得到了广泛的应用.概述了UML中多种模型图的使用方法和适用范围,分析了UML系统建模的主要过程和特点,并以一个实验预约系统为例详细介绍了系统用例模型,静态模型和动态模型的设计过程,同时重点探讨了在一般信息系统建模过程中普遍适用的系统类筛选、动态方法定义等相关技术.     

基于UML的精品课程远程教育网站模型设计

UML是面向对象的统一建模语言,所设计的软件模型具有可重用性的特点。使用UML新方法开发精品课程网站,用UML用例图做需求分析,用UML类图和顺序图进行系统静态和动态设计,最终用PHP程序语言和MYSQL数据库来实现网站软件。经UML建模后的精品课程远程教育网站模型可以多次应用,从而提高网站软件的开发效率。     

用UML活动图集成用例的研究

在对UML建模语言进行了简单介绍之后，论述了在用UML用例图进行需求描述的基础上描述用例之间的复杂联系的重要性。随后介绍了一种以活动图集成用例的方式来表达用例之间联系的方法，并进行了实例分析。