2) 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状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。
3) 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模式的理解。
4) 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模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。
5) 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活动图生成测试用例中的应用
6) UML statecharts
UML状态图
1.
Verification Method of Concurrent Workflows Based on Extended UML Statecharts
一种基于扩展UML状态图的并发工作流验证方法
2.
And how to testing UML statecharts is becoming a hotspot of research.
UML统一建模语言已经广泛应用于软件开发中,基于UML图的测试技术最近成为了一个研究的热点,其中对UML状态图的测试有着广泛应用前景。
3.
This paper presents a set of test adequacy criteria for UML statecharts,and proposes two new test coverage criteria,N-transition coverage criteria,and classified loop coverage criteria.
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则。
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
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
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条