1) UML collaboration diagram
UML协作图
1.
Method and implementation of test case generation based on UML collaboration diagram;
基于UML协作图的测试用例生成方法与实现
2.
UML collaboration diagrams represent the structure relationship and interactive behavior of the objects involving in a collaboration of the software system,whether they are correctly implemented or not could be validated by integration testing.
UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为 ,确认它们是否被正确实现是集成测试的工作 。
3.
The approach is utilized by UML Collaboration diagram to describe the structure relationship and interactive of the objects.
本文提出一种基于UML协作图的测试序列生成方法,该方法采用UML协作图描述对象间结构关系及其交互行为,并且通过UML协作图实现从UML协作图到有限状态机的转换,使用Wp方法生成测试序列,通过CPP技术优化Wp方法并生成较短测试序列。
3) UML statechart
UML状态图
1.
Research and Implementation of the Protocol Conformance Testing System for Routing Protocol OSPF Based on UML Statechart;
基于UML状态图OSPF路由协议一致性测试系统研究与实现
2.
To solve these problems,an approach is given to the UML Statechart be time-extended,and an approach is proposed to formalize the time-extended UML statechart with "executable UML".
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。
3.
To achieve the merit of two graphics tools,a method is proposed to transform the UML statechart to the EFSM.
将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。
4) UML class diagram
UML类图
1.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
2.
A conversion approach from UML class diagram to OWL ontology was briefly introduced.
介绍了UML类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(UML2OWL)的设计思想与实现技术。
3.
This paper presents the rules of transforming XML Schema to UML class diagram, which is valuable to the graphic modeling for the XML schema.
提出了一套从XML模式到UML类图的转换规则,以便于对XML模式进行快速的图形化建模,从而有利于用户对XML模式的理解。
5) UML state diagrams
UML状态图
1.
By transforming UML state diagrams into extended finite state machines (EFSMs), an algorithm is presented to eliminate the infeasible paths in these EFSMs.
通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。
6) UML activity diagram
UML活动图
1.
Research on automatic generating test case method based on UML activity diagram;
基于UML活动图的测试用例自动生成方法研究
2.
Design of Test Case Based on UML Activity Diagram
基于UML活动图模型的测试用例设计
3.
An approach for generating test case from UML activity diagrams based on genetic algorithm
遗传算法在基于UML活动图生成测试用例中的应用
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G，，GZ，…，则存在指标i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条