UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。

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

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

基于UML模型的多态性与Java接口代码信息一致性检测的方法

UML模型是面向对象系统开发常用的建模语言,在由模型生成代码的过程中常常出现不一致问题,从而造成系统后期测试成本以及维护成本的增加。而UML模型中的多态性因执行路径的不确定性会对模型与代码的一致性产生重要影响,因此针对此问题提出以UML模型为基准,针对多态特性,对UML模型类图、时序图以及Java接口代码信息进行解析预处理从而获取时序调用图以及代码调用图,并对其进行多态性扩展。根据模型的信息来对代码的信息进行检测,如果出现不一致问题时根据模型信息对代码信息进行修改。通过以上提出的方法能够更加完善模型与代码的一致性检测,使检测更为有效、精准。

UML模型向关系数据库的映射方法初探

关系数据库的数据模型变得越来越复杂,用传统方法分析和描述变得越来越困难,在数据密集型的应用系统中,应用逻辑与数据存储存在差异,不利于开发人员的交流和开发过程的管理,这是文章考虑把对象技术引入关系数据库逻辑设计的出发点。统一建模语言UML是对象建模技术的发展结晶,可用于数据库的数据模型分析。通过技巧性的方法,可把UML模型映射到关系数据库,从而在数据库领域得到对象技术的诸多益处。

一种UML模型到XML模型的转换方法

为了把UML模型用XML描述出来,可以从模型转换的角度来考虑这个问题,把XML描述结果当作XML模型考虑。利用集合的概念定义了一个UML源模型,并用构造树的形式描述了UML基本模型元素的结构。根据构造树的描述定义目标XML模型的XML Schema。提出了一种基于对模型元素实例集合的扫描和对模型元素构造树遍历的方法来进行UML模型到XML模型的自动转换。

基于UML模型集成测试工具的建模与设计

软件测试是保证软件质量、提高软件可靠性的关键工作;基于模型的测试技术是目前国内外学者在软件测试领域的研究热点,大多数研究者主要关注基于模型的测试策略和遍历算法的研究,但对于计算机辅助测试工具的研究尚有不足,缺乏具有模型解析、模型处理、用例生成等综合功能的测试工具;针对以上的情况,本文分析了基于UML模型的集成测试工具的具体需求,通过跟踪需求,构建合理的操作流程,提出了一种以需求驱动为迭代开发模型、以UML模型覆盖准则为依据、以UML集成测试工具为开发目标的辅助测试工具设计方案,设计了一套具有UML模型解析、检测和测试序列自动生成功能的测试工具原型;该工具能对UML活动图和顺序图进行自动化的解析和转化,并通过遍历算法生成集成测试序列;最后,通过对多个测试实例的验证,说明了该集成测试工具的有效性和易用性。

利用UML模型构建Geodatabase的方法与实践

利用UML模型生成Geodatabase数据库便于数据库的更新及移植,同时能很好地反映数据库结构及对象之间的关系。论文分析了利用VISIO建模工具构建Geodatabase的UML模型以及在此基础上利用ArcGIS Desktop相关模块生成Geodatabase数据库的方法,并以上海市绿化林业信息数据库为例,演示了Geodatabase的创建及更新过程。

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

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

UML模型测试策略及在软件测试中的应用

组件技术在软件开发中的应用日益广泛,同时对软件系统质量也有着越来越高的要求。因此,保证软件系统可靠性的软件测试技术显得益发重要。本文分析了组件系统的特点,从整体上研究了基于UML模型的组件测试方法,给出基于UML模型的测试策略,并对部分模型图进行了可测性与测试策略分析。

UML模型中并发对象的组合验证

本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全局状态图,以缓解状态爆炸问题。

基于XMI的UML模型向OWL本体转换方案

OWL是W3C提出的语义网本体语言,作为语义网中信息共享和交换的基础,具备强大的知识表示和推理功能。文章对UML和OWL进行了分析比较,给出了UML类图相应的XML Schema和OWL本体表示形式,提出了一种UML模型向OWL本体转换方案,通过XMI交换标准将UML模型转换为OWL本体。

UML模型图自动比较方法的研究与应用

介绍了不同类型试题的自动批改方法。分析了基于Microsoft Visio构建的UML模型图的组成和结构,应用Visio二次开发技术,提出了一种基于图形元素比较的UML模型图的自动批改方法。该方法采用开放性设计模式,基于组件方式实现,具有良好的可扩充性。

UML模型与软件测试

UML不仅支持面向对象的分析和设计,而且支持从需求分析开始的软件开发的整个过程,这为UML引入到面向软件测试中提供了可能。随着UML模型的广泛使用,基于UML模型的软件测试越来越受到人们的关注。通过系统设计阶段的UML模型生成测试用例,可充分利用己有的设计结果来减少软件测试的总成本,对于已使用UML的工业界有着重要的意义。

基于UML模型的移动网络建设管理系统测试

移动网络建设管理系统数据容量庞大,业务流程复杂,涉及多个专业和环节,维护和更新过程比较复杂,成本较高,为此,提出了一种基于UML模型的系统测试方法。通过建立UML模型,主要整合了用例图和活动图,并结合敏捷测试的相关测试方法,设计测试用例,反馈测试结果。若发现模型缺陷,则及时重构;若发现功能或流程等缺陷,则及时进行整改。从而实现对系统的实时更新,在满足需求的同时,提高了系统的质量。

基于UML模型的全功能点自动化度量

软件规模在项目估算和决策中起着举足轻重的作用。基于软件需求从用户角度和功能角度度量规模的全功能,点(FFP)广受欢迎,但为手工操作,弊端显而易见,所以亟需自动化度量。本文提出并实现了基于UML模型全功能点自动化度量系统,不但能得到精确的量化结果,而且能减轻工作量、降低花费,以及很大程度上避免抽取数据及度量过程中差错所造成的风险,更重要的是具有可重复性,从而易于功能规模度量方法的推广。

基于UML模型的组件集成测试方法

统一建模语言(UML)已经广泛应用于基于组件的软件开发过程中.许多UML模型,如交互图、状态图和组件图等从不同的角度刻画了组件的行为,可将其用于基于组件的软件系统的测试.本文首先提出了一个基于UML模型的测试框架,并对基于UML模型的组件集成测试方法进行了比较,然后将基于协作图的组件测试技术应用于ATC系统的集成测试,取得较好效果.

基于多个域的UML模型的一致性检测

任何模型的表示都是要有意义的、一致的,通常的解决办法是加强约束。给出了在当前软件开发过程中的解决方案。约束和语义的关系是一致性检测的基础。对建模过程中模型受到的各个域的约束进行分级:从专家系统的知识根基中引入即成建模规则并且用约束构造型定义了不一致性的类型、级别和严重程度,因此可以向用户发出警告并且帮助用户改正甚至完善模型。

一种基于描述逻辑的UML模型验证方法

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN(D)形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。

基于UML模型的统计测试方法研究

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。

基于FSM的UML模型与代码一致性动态检测

为解决统一建模语言(UML,unified modeling language)模型与源代码一致性检测缺少动态分析的问题,讨论了一种基于有限状态机(FSM,finite state machine)的UML模型与代码一致性动态检测方法。该方法执行源代码并捕获方法调用跟踪,将捕获的方法调用与UML顺序图转换得到的FSM进行匹配,以此来检测动态行为的一致性。在三个开源项目上进行了实验,分别发现了31、45和69处不一致,检出率分别达到93.94%、88.24%和90.79%。实验结果表明,在基于图论的一致性静态检测的基础上,该方法可以对UML模型与代码的一致性进行动态检测,且具有较高的检测准确率。