期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
基于依赖性分析的UML状态图切片技术 被引量:6
1
作者 卢炎生 王曦 +1 位作者 谢晓东 毛澄映 《计算机工程》 EI CAS CSCD 北大核心 2006年第15期81-83,共3页
将UML状态图、程序切片和软件测试技术三者结合起来,生成基于依赖性分析的UML状态图切片,为软件测试中待测试的程序的理解、发现和修改错误提供了一种方法。最后运用实例讨论了该切片方法的实用性,应用于回归测试中具有较高的效率。
关键词 统一建模语言 uml状态图 切片 依赖性分析
下载PDF
基于MDA的UML模型转换技术——从顺序图到状态图 被引量:13
2
作者 史耀馨 崔萌 +1 位作者 李宣东 郑国梁 《计算机工程与应用》 CSCD 北大核心 2004年第13期40-45,共6页
为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行... 为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析,而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的,只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。 展开更多
关键词 MDA uml 顺序图 状态图 自动软件工程
下载PDF
一种基于MDA的UML顺序图到状态图的转换方法 被引量:4
3
作者 崔萌 袁海 +2 位作者 史耀馨 李宣东 郑国梁 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第4期470-482,共13页
MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅... MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅助工具将PIM转换成PSM ,再将PSM不断求精直至形成最后的代码 .MDA中的模型转换有 4种 :PIM到PIM ,PIM到PSM ,PSM到PSM以及PSM到PIM .其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换 .UML是MDA的模型描述语言 ,因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持 .介绍了从一个顺序图转换成多个状态图的算法 ,并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法 .处于一个系统中的多个状态图不是孤立的 ,他们各自的状态转换是相互约束的 ,最后给出了组合多个状态图的方法 ,以及如何生成在同步约束下多个状态图的转换关系 ,并最终得到系统的状态图 . 展开更多
关键词 顺序图 状态图 uml MDA
下载PDF
从UML顺序图生成状态图的一个方法 被引量:2
4
作者 袁海 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2003年第6期155-158,161,共5页
UML (Unified Modeling Language) is a visual modeling language used for specifying, visualizing, constructing,and documenting the artifacts of software systems by various diagrams. It has been widely accepted as a stan... UML (Unified Modeling Language) is a visual modeling language used for specifying, visualizing, constructing,and documenting the artifacts of software systems by various diagrams. It has been widely accepted as a standard modeling language in both academic and industrial areas. UML sequence diagrams are mostly used in specifying system requirements. By representing interactions, which are arranged in time sequence,between the objects in a system,sequence diagrams can construct scenarios indicating the system's functions. A UML statechart diagram is a graph shows the sequences of states that an object or an interaction goes through during its life in response to received stimuli,together with its responses and actions. It's useful in the design stage of system development. This essay discusses the computer-aided transformation from sequence diagrams to statechart diagrams,which can offer strong support for the transfering from requirement analysis to system design in the software development process. With OCL (Object Control Language) semantic constrain,a transform algorithm is provided in the paper. And the differences with the related works are also mentioned. 展开更多
关键词 面向对象 软件开发 uml 顺序图 状态图 软件建模语言
下载PDF
基于Petri网的UML形式化建模应用分析 被引量:8
5
作者 李龙澍 胡正梁 《计算机技术与发展》 2010年第4期76-79,83,共5页
UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使... UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。 展开更多
关键词 uml形式化 状态图 序列图 PETRI网
下载PDF
基于UML状态图的模型信息自动提取技术研究 被引量:2
6
作者 宋瑾钰 魏仰苏 《计算机工程与设计》 CSCD 北大核心 2007年第20期4860-4861,4864,共3页
UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1... UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析。自动提取模型信息技术提高了协议测试序列的自动生成效率。 展开更多
关键词 uml状态图 模型信息提取 LALR(1)文法 rose扩展接口 协议测试
下载PDF
基于BISON的UML语法分析器设计 被引量:1
7
作者 蒋国明 魏仰苏 宋瑾钰 《计算机工程》 CAS CSCD 北大核心 2007年第8期267-269,272,共4页
目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了... 目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了软件测试效率。在VC6.0环境下对该分析器仿真,实验结果表明,软件能正确提取测试需要的信息。 展开更多
关键词 软件测试 统一建模语言 语法分析器 类图 状态图
下载PDF
UML状态图在回归测试中的应用 被引量:1
8
作者 王曦 《计算机工程》 CAS CSCD 北大核心 2009年第4期63-65,共3页
基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供... 基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供一种方法,并运用SATM实例讨论该技术在回归测试中的应用。 展开更多
关键词 统一建模语言 uml状态图 依赖性分析 回归测试
下载PDF
UML状态图的测试用例自动生成 被引量:3
9
作者 佟轶 董碧丹 《微计算机信息》 2011年第9期201-203,共3页
现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析,并讨论了其对相关测试用例生成算法的影响;改进了UMLstatechart语义对伪状态的定义,对伪状态进行适当的... 现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析,并讨论了其对相关测试用例生成算法的影响;改进了UMLstatechart语义对伪状态的定义,对伪状态进行适当的转换,同时扩充现有算法对伪状态的支持;提出了一套可以处理伪状态的UML状态图平坦化算法以及相应的测试用例生成方法,并对实际应用效果进行了验证。 展开更多
关键词 uml statechart语义 伪状态 状态图的平坦化 测试用例自动生成
下载PDF
基于UML规格说明测试用例生成工具 被引量:1
10
作者 叶仁召 郑玉墙 李玉珍 《计算机工程》 CAS CSCD 北大核心 2001年第3期157-159,共3页
利用UML状态图,采用基于状态的测试数据生成标准生成测试用例.其中UML状态图是测试用树生成的关键部分,在某种意义上,UML状态图能够较容易生成测试用例.
关键词 软件测试 类图 测试用例 测试工具 uml 面向对象
下载PDF
一种从UML类图和协作图到状态图的转换方法
11
作者 吴晓龙 贲可荣 《武汉理工大学学报(信息与管理工程版)》 CAS 2011年第6期940-944,共5页
统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,... 统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,对系统中单个对象的状态图进行集成生成整个系统的状态图。结果表明,生成的状态图具有较高的结构化和可读性。 展开更多
关键词 统一建模语言 状态图 协作图 类图
下载PDF
基于粒子群算法的改进SCOTEM模型测试数据生成方法 被引量:1
12
作者 张国平 李学升 《计算机工程与设计》 CSCD 北大核心 2009年第2期411-413,共3页
UML已经成为建模语言的事实标准,如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战。为测试用例提供测试数据是其中的关键环节。ShaukatAli等人在UML基础上提出SCOTEM模型,但是该模型的测试数据需要人工生成。针对SCOTEM模... UML已经成为建模语言的事实标准,如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战。为测试用例提供测试数据是其中的关键环节。ShaukatAli等人在UML基础上提出SCOTEM模型,但是该模型的测试数据需要人工生成。针对SCOTEM模型进行了改进使其适于灰盒测试,以OCL约束测试数据的生成和运行结果的验证,并提出了一种为基于粒子群算法的改进SCOTEM模型自动生成测试数据的方法。针对不同的覆盖标准,试验结果表明,该方法能够以更高的效率生成高质量的测试数据。 展开更多
关键词 集成测试 粒子群算法 测试数据 uml 状态图 协作图
下载PDF
双重软件体系结构描述框架XYZ/ADL 被引量:3
13
作者 朱雪阳 《计算机研究与发展》 EI CSCD 北大核心 2007年第9期1485-1494,共10页
体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模... 体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础.前端的图形语言便于软件工程师的交流和使用,后端的形式语言是进一步的形式化分析验证的基础. 展开更多
关键词 软件体系结构 体系结构描述语言 双重描述框架 XYZ/E 时序逻辑 IM 活动图 状态图 形式语义
下载PDF
由序列图合成状态图 被引量:2
14
作者 郭俊丽 陈平 《计算机工程与设计》 CSCD 2003年第7期50-52,55,共4页
序列图和状态图对于描述和理解面向对象软件系统有着极其重要的作用。符合UML标准的序列图和状态图存在信息重叠,根据序列图提供的信息可以合成状态图。给出了在Rational Rose中由序列图合成状态图工具的实现。
关键词 面向对象 软件系统 软件开发 可视化建模工具 序列图 状态图
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部