检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

UML实时活动图的形式化分析

计算机学报 2004年第3期27卷 339-346页

作者：崔萌李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)... 详细信息

统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)上 ,而作者将UML活动图的时间约束放在活动状态上 .在此基础上 ,用整型时间的验证技术对实时活动图的时间性质加以分析 ,为实时系统的建模打下了基础 .

关键词： UML 统一建模语言 OMG规范面向对象活动图形式化分析

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

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2006年第1期43卷 46-53页

作者：袁洁松王林章李宣东郑国梁南京大学计算机科学与技术系南京210093 南京大学软件新技术国家重点实验室南京210093

UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所... 详细信息

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

关键词： UML 活动图灰盒方法测试场景测试用例

在线全文

学校读者我要写书评

暂无评论

UML活动图在物流业务流程分析中的应用

北京工业大学学报 2005年第1期31卷 52-54页

作者：关宏志张育宏池洪波石建军北京工业大学交通研究中心北京100022

大多数物流企业的业务流都采用传统的数据流图方法,造成了物流企业资源分配上的不均匀,使用户和管理人员难以相互沟通.在以建立我国商务车队的管理系统为最终目的的背景下,将北京市某物流企业作为研究对象,在进行较为详尽的调查基础上... 详细信息

大多数物流企业的业务流都采用传统的数据流图方法,造成了物流企业资源分配上的不均匀,使用户和管理人员难以相互沟通.在以建立我国商务车队的管理系统为最终目的的背景下,将北京市某物流企业作为研究对象,在进行较为详尽的调查基础上,运用UML(unified modeling language)语言进行了业务流程分析,明析物流企业的业务流程.为进一步建立商务车队管理软件奠定了基础.

关键词：物流企业统一建模语言活动图固定业务随机业务

在线全文

学校读者我要写书评

暂无评论

活动图编辑中的一致性维护研究

小型微型计算机系统 2017年第10期38卷 2318-2323页

作者：朱思征高丽萍王丹王山山敖丽娜上海理工大学计算中心上海200093 上海理工大学光电信息与计算机工程学院上海200093 华为技术有限公司上海研究所上海201206

活动图作为一种用于描述系统行为的模型视图,具有广泛的应用场景.在对大中型系统的事务处理过程建模型时,整个过程的执行涉及到开发、业务等多方人员的一系列的沟通与协同工作,因此,协同活动图编辑系统的研究意义重大.论文在定义活动图... 详细信息

活动图作为一种用于描述系统行为的模型视图,具有广泛的应用场景.在对大中型系统的事务处理过程建模型时,整个过程的执行涉及到开发、业务等多方人员的一系列的沟通与协同工作,因此,协同活动图编辑系统的研究意义重大.论文在定义活动图对象及其图论模型基础上,讨论分析了协同活动图编辑系统中一般操作冲突和关联操作冲突,建立了源操作与关联操作集OBS.利用操作消息携带的OBS及本地节点的操作历史队列HB进行UU、DD、DU冲突的判定,沿分而治之的思路对不同类型的冲突采用角色操作优先策略、文本协同编辑策略以及多版本协等策略,解决了具有依赖等关联关系操作之间的冲突发现及消解问题,最后详细的分析了算法在实例中的实现步骤,通过实例验证了方案的有效性和正确性.

关键词：活动图协同冲突依赖关系

在线全文

学校读者我要写书评

暂无评论

UML活动图的评价和扩展

计算机工程与应用 2001年第12期37卷 42-48页

作者：孙自安周伯生北京航空航天大学软件工程研究所北京100083

作为统一的标准建模语言，UML应支持企业建模。文章首先从过程工程的角度分析UML1．3中活动图的企业建模能力，并指出了利用活动图进行企业建模的不足之处，然后详细讨论如何对活动图进行扩充才能使其从过程、基础设施、协同、行为以及... 详细信息

作为统一的标准建模语言，UML应支持企业建模。文章首先从过程工程的角度分析UML1．3中活动图的企业建模能力，并指出了利用活动图进行企业建模的不足之处，然后详细讨论如何对活动图进行扩充才能使其从过程、基础设施、协同、行为以及信息等五个侧面全面描述一个企业，并完成了经扩展后活动图中的原语和语法。最后指出了为更好地支持企业建模，UML今后应进一步努力的方向。

关键词：统一建模语言活动图 UML语言软件工程面向对象

在线全文

学校读者我要写书评

暂无评论

基于UML活动图的多态性测试用例生成

计算机工程 2010年第11期36卷 83-84,87页

作者：覃钊璇曾一柴艳欣徐攀登重庆大学计算机学院重庆400030

目前对于活动图的研究没有考虑到面向对象软件的多态性特点,无法在活动图中对多态消息进行测试。基于此,结合面向对象多态性的特点,根据UML类图对活动图中含有多态信息的节点进行加权扩展,利用所提出的优化算法对其进行遍历并得出数量... 详细信息

目前对于活动图的研究没有考虑到面向对象软件的多态性特点,无法在活动图中对多态消息进行测试。基于此,结合面向对象多态性的特点,根据UML类图对活动图中含有多态信息的节点进行加权扩展,利用所提出的优化算法对其进行遍历并得出数量少但覆盖率高的测试用例序列。通过实例说明该方法的实现过程,证明该方法的有效性。

关键词：面向对象多态性活动图类图测试用例

UML活动图到Petri网的转换方法及实现研究

在线全文

学校读者我要写书评

暂无评论

计算机科学 2014年第7期41卷 143-147页

作者：赵俊峰周建涛邢冠男内蒙古大学计算机学院呼和浩特010021

统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向... 详细信息

统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。

关键词： UML 活动图 Petri网 PNML 转换规则

在线全文

学校读者我要写书评

暂无评论

一种基于活动图的并发软件测试线索生成方法

计算机科学 2007年第12期34卷 286-290页

作者：曾一张利武张元平袁纲李强重庆大学计算机学院重庆400044

分析并发软件的控制原理,提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则:同步测试、关键覆盖和进程覆盖;接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法;随后分析了并发软件测试难点... 详细信息

分析并发软件的控制原理,提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则:同步测试、关键覆盖和进程覆盖;接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法;随后分析了并发软件测试难点即进程组合爆炸问题,给出了一种基于模型图生成测试线索集的方法,证明了按照生成的测试线索集测试并发软件既能解决进程组合爆炸问题,又能满足三个测试策略。通过对比得出本测试方法在易用性、适用性和稳定性等方面要优于基于状态图的测试方法;最后通过一个实例表明了应用本方法的可行性和有效性。

关键词：测试策略活动图组合爆炸测试线索

在线全文

学校读者我要写书评

暂无评论

UML活动图的时序逻辑语义

计算机研究与发展 2005年第9期42卷 1478-1484页

作者：朱雪阳唐稚松中国科学院软件研究所计算机科学重点实验室北京100080

UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZE是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在... 详细信息

UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZE是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZE语义,并用一个例子说明活动图到XYZE的语义转换,为进一步的分析提供形式化基础.

关键词： UML 活动图形式化语义时序逻辑 XYZ/E