公共文化服务平台

一个MDA支撑工具的设计与实现被引量：8: 2005年; MDA是OMG提出的用于解决中间件集成问题的软件开发方法。MDA开发方法以系统模型作为软件开发的主线。在这样的开发过程中,强有力的模型转换支撑工具是MDA思想能够得到广泛应用的关键。而从平台无关模型PIM到平台相关模型PSM的转换工具尤其重要。描述了一个从PIM自动转换到PSM的工具的设计思想。工具使用EDOC profile的一个子集作为PIM的描述方法,使用J2EE作为目标平台。基于一组从PIM到J2EE平台上软件模型的转换规则,工具实现了从PIM到J2EE平台上的PSM的自动转换。; 陈晓燕赵建华李宣东郑国梁; 关键词：MDA EDOC J2EE 软件开发方法

模型驱动的软件测试研究被引量：6: 2005年; MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点。本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试(PIT),定义并实现了从PIT到平台相关的测试(PST)的映射算法,使得PST能够直接在相应平台上执行以发现软件实现是否与规约一致;最后,对上述过程中的方法提供工具支持。本文过程和方法在一个基于三层Web应用的在线银行系统上得到了实现。; 王林章李宣东郑国梁; 关键词：MDT PIM PSM PIT PST 软件测试过程

基于UML顺序图的测试方法被引量：14: 2004年; 本文描述一个在UML顺序图上生成测试用例的方法。我们使用带OCL约束的顺序图,即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置。首先检查顺序图的完备性和一致性。然后从顺序图中生成测试规格说明以及顺序图的事件系列。最后根据测试准则采用类似于类别-划分方法进行测试用例的生成。另外,我们将此方法应用于一个简化的DHCP协议,解释了方法的一般过程以及方法的可行性。; 江泽凡王林章李宣东郑国梁; 关键词：UML顺序图 OCL约束类图状态图

一个基于UML顺序图的场景测试用例生成方法被引量：7: 2004年; UML 顺序图是基于 UML 开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于 UML 顺序图的场景测试方法,它以 UML 顺序图为主要测试模型,结合 UML 状态图和类图生成所有的测试场景,最后使用范畴-划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例,用于测试该场景中对象之间的交互。由于 UML已广泛用于软件分析和设计阶段,通过 UML 模型生成测试用例可充分利用已有的设计结果,减少测试阶段所需的费用,对于已使用 UML 的工业界有着重要的意义。; 沈剑乐王林章李宣东郑国梁; 关键词：UML顺序图测试用例生成面向对象

从EDOC模型到J2EE程序:一个MDA工具的实现被引量：3: 2004年; 模型驱动体系结构MDA是OMG组织推出的一种新的软件开发方法。根据MDA的框架,设计者首先建立平台无关模型PIM,然后遵循一定的转换规则转化成平台相关模型PSM,最后转化成目标平台上的代码。为了体现MDA低成本、高效率的优点,模型之间、模型代码之间的自动转换就显得尤为重要。本文描述了我们实现的一个MDA转换工具。该工具可以编辑用EDOC的Entities profile和Business Process profile构建的PIM,并且辅助自动转化成基于J2EE平台的PSM,最终转化成J2EE代码。; 林嵩赵建华李宣东郑国梁; 关键词：OMG 平台无关模型 PIM 软件开发方法模型驱动体系结构

MDA的设想与实现被引量：20: 2004年; 模型驱动体系结构(MDA)提出了一种利用模型进行软件开发的方法,它将模型作为软件开发过程的关键。MDA的基本思想是将模型区分为平台独立模型(platform independent model)和平台相关模型(platform specific model),通过不同抽象层次模型之间的转换完成软件开发过程。介绍了MDA的设想,包括MDA的基本概念,基于MDA的开发过程,讨论了实现MDA所涉及的几个重要问题。; 来猛赵建华李宣东郑国梁; 关键词：软件开发过程模型驱动体系结构 MDA

基于MDA的PIM到J2EE平台PSM的转换方法被引量：26: 2005年; MDA是解决基于不同中间件系统的集成问题。它将不同的系统都结构化成PIM和PSM并针对不同实现技术与平台制订多个映射规则 ,然后通过这些映射规则及辅助工具将PIM转换成PSM ,再将PSM不断求精直至形成最后代码。MDA中的模型转换有 4种 :PIM到PIM ,PIM到PSM ,PSM到PSM以及PSM到PIM。其中的PIM到PSM转换是难点。本文提出了一种PIM到J2EE平台的PSM转换的方法 :首先将一个用PIM配置图和类图描述的系统根据映射规则转换成J2EE平台下的PSM配置图、类图 ;然后根据精化规则对PSM模型进一步精化 ,生成不同的EJB以及构件图 ,为最后代码的自动生成打下基础。; 崔萌史耀馨李宣东郑国梁; 关键词：PIM 类图 J2EE平台 EJB PSM MDA

一种基于J2EE平台的MDA模型转换技术被引量：17: 2005年; 为了解决不同中间件平台的应用集成和互操作,OMG提出了MDA的概念。MDA的一个重要思想就是将系统模型划分成与平台无关的模型 (PIM)和与平台有关的模型 (PSM),并建立这两种模型之间的映射关系。给出了一个属于PIM的DomainModel和一个属于PSM的ApplicationModel,并基于J2EE架构描述了Do mainModel到ApplicationModel的转换方法。; 谢正良赵建华李宣东郑国梁; 关键词：MDA J2EE DOMAIN MODEL MODEL

面向设计流图的代码支撑工具被引量：1: 2005年; 在通信网络软件中,代码的可靠性格外重要,编码与测试在很大程度上决定着代码的可靠性。如果让机器自动生成代码,将会减少人工编码出错的概率,而且,也为代码的跟踪、测试提供了方便。为此,本文结合UML的相关理论,提出了设计流图的概念并描述基于设计流图的代码生成的原理及其应用。本文首先描述设计流图在软件开发过程中的作用;然后,给出设计流图的形式化定义;第3部分给出代码自动生成算法;第4部分给出基于设计流图的跟踪、测试方法,最后一部分对工具作了简要的介绍。本文详细描述了如何根据设计流图生成代码,并简要介绍实现基于设计流图的跟踪与测试。本文还实现了一个集成开发环境 AutoCodeGen,在该环境中可以编辑设计流图、对设计流图进行简单的检查、编译设计流图(生成代码)、编译代码、执行设计流图(执行编译后的代码)、基于设计流图的跟踪与测试(动态显示执行路径、当前执行点、路径覆盖情况、异常点位置等)。在实践中,利用该工具实现了 TCAP(Trans-action Capabilities Application Part)协议中部分编码与解码。; 戴清涵李宣东赵建华郑国梁; 关键词：代码生成流图自动生成算法集成开发环境

UML时间顺序图的可达性分析被引量：6: 2005年; 对于实时系统来说,UML顺序图描述了对象之间的交互。对象之间的交互展现了系统行为的场景。本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究。尽管这个问题可以转换为相应的时间自动机,然后进行处理,但其转化为之后,状态空间巨大,解决的开销比较大,效率不高。针对部分可达性问题,本文采用更为高效的基于线性规划的解决方案,其思想如下:首先遍历所有到达给定节点的简单路径片断来验证可达性,随后遍历到达给定节点的并且包含所有循环至多一次的路径片断来验证可达性。由于我们并没有遍历所有路径片断,因此用本文的方法判定给定节点的可达性的时候,结果会有三种:可达,不可达和不确定。由于有些循环与可达性是无关的,我们进一步通过识别哪些循环与可达性无关,对算法进行改进。; 龚嘉宇李宣东郑国梁; 关键词：顺序图 UML 可达性分析时间自动机实时系统片断

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家高技术研究发展计划(2002AA116090)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家高技术研究发展计划(2002AA116090)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈