1) UML state machine
UML状态机
1.
A practical scheme integrating UML state machine and B method to develop reliable embedded software is proposed.
提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。
2.
The UML state machine of software design model was first transformed into B formal specification.
以软件设计的UML状态机模型为起点,将其转换为B形式化模型,然后在B工具环境中遵循B方法的精化原则和正确性验证方法,开发出可靠的实现模型。
3.
One of the most important dynamic behaviorspecifying mechanism of UML---the UML state machine, is widely used for specification of communicationprotocols and control units.
但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明,为了解决这一问题,采用以下方法为UML状态机构建形式语义。
2) real-time UML State machine
实时UML状态机
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 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 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-迁移覆盖准则和循环分类覆盖准则。
6) UML statechart diagram
UML状态图
1.
Research of model information extraction based on UML statechart diagram;
基于UML状态图的模型信息自动提取技术研究
2.
This paper combines the three techniques UML statechart diagram,program slicing and software testing together to generate the UML statechart slices that based on the dependency analysis.
将UML状态图、程序切片和软件测试技术三者结合起来,生成基于依赖性分析的UML状态图切片,为软件测试中待测试的程序的理解、发现和修改错误提供了一种方法。
3.
Through the dependency analysis,this paper generates the UML statechart diagram and dependency diagram.
基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。
补充资料：应力状态和应变状态
构件在受力时将同时产生应力与应变。构件内的应力不仅与点的位置有关，而且与截面的方位有关，应力状态理论是研究指定点处的方位不同截面上的应力之间的关系。应变状态理论则研究指定点处的不同方向的应变之间的关系。应力状态理论是强度计算的基础，而应变状态理论是实验分析的基础。
应力状态 如果已经确定了一点的三个相互垂直面上的应力，则该点处的应力状态即完全确定。因此在表达一点处的应力状态时，为方便起见，常将"点"视为边长为无穷小的正六面体，即所谓单元体，并且认为其各面上的应力均匀分布，平行面上的应力相等。单元体在最复杂的应力状态下的一般表达式如图1，诸面上共有9个应力分量。可以证明,无论一点处的应力状态如何复杂，最终都可用剪应力为零的三对相互垂直面上的正应力，即主应力表示。当三个正应力均不为零时，称该点处于三向应力状态。若只有两对面上的主应力不等于零，则称为二向应力状态或平面应力状态。若只有一对面上的主应力不为零，则称为单向应力状态。
应力圆 是分析应力状态的图解法。在已知一点处相互垂直的待定截面上应力的情况下，通过应力圆可求得该点处其他截面上的应力。应力圆也称莫尔圆。图2b即为图2a所示平面应力状态下表示垂直于xx平面的面上之应力与x、x截面上已知应力间关系的应力圆。利用它可求得：①任意 α面上的应力；②"最大"和"最小"正应力；③"最大"和"最小"剪应力。由应力圆上代表"最大"和"最小"正应力的A、B点可知，这些正应力所在截面上的剪应力为零，因而"最大"和"最小"正应力也就是该点处的主应力。
应变圆 也称应变莫尔圆，是分析应变状态的图解法，其原理与应力圆类似，但应变圆的纵坐标为负剪应变的一半，横坐标为线应变 ε。在已知一点处的线应变εx、εy与剪应变γxy时，即可作出应变圆，从而求得该点处主应变 ε1与ε2的大小及其方向。在实验分析的测试中常用各种形状的应变花测量（见材料力学实验）一点处三个方向的应变，例如用"直角"应变花可测得一点处的线应变ε0°、ε45°、ε90°。根据一点处三个方向的线应变也可利用应变圆求得该点处的主应变ε1与ε2。
广义胡克定律 当按材料在线弹性范围内工作时，一点处的应力状态与应变状态之间的关系由广义胡克定律表达。对于各向同性材料,弹性模量E、剪切弹性模量G、泊松比v均与方向无关，且线应变只与正应力σ有关，剪应变只与剪应力τ有关。三向应力状态下，各向同性材料的广义胡克定律为
τxy＝Gγxy
τyz＝Gγyz
τzx＝Gγzx平面应力状态(σz＝0， τyz＝0， γzx＝0)下的广义胡克定律应用最为普遍
单向应力状态下的胡克定律则为σ＝Eε。
应力状态 如果已经确定了一点的三个相互垂直面上的应力，则该点处的应力状态即完全确定。因此在表达一点处的应力状态时，为方便起见，常将"点"视为边长为无穷小的正六面体，即所谓单元体，并且认为其各面上的应力均匀分布，平行面上的应力相等。单元体在最复杂的应力状态下的一般表达式如图1，诸面上共有9个应力分量。可以证明,无论一点处的应力状态如何复杂，最终都可用剪应力为零的三对相互垂直面上的正应力，即主应力表示。当三个正应力均不为零时，称该点处于三向应力状态。若只有两对面上的主应力不等于零，则称为二向应力状态或平面应力状态。若只有一对面上的主应力不为零，则称为单向应力状态。
应力圆 是分析应力状态的图解法。在已知一点处相互垂直的待定截面上应力的情况下，通过应力圆可求得该点处其他截面上的应力。应力圆也称莫尔圆。图2b即为图2a所示平面应力状态下表示垂直于xx平面的面上之应力与x、x截面上已知应力间关系的应力圆。利用它可求得：①任意 α面上的应力；②"最大"和"最小"正应力；③"最大"和"最小"剪应力。由应力圆上代表"最大"和"最小"正应力的A、B点可知，这些正应力所在截面上的剪应力为零，因而"最大"和"最小"正应力也就是该点处的主应力。
应变圆 也称应变莫尔圆，是分析应变状态的图解法，其原理与应力圆类似，但应变圆的纵坐标为负剪应变的一半，横坐标为线应变 ε。在已知一点处的线应变εx、εy与剪应变γxy时，即可作出应变圆，从而求得该点处主应变 ε1与ε2的大小及其方向。在实验分析的测试中常用各种形状的应变花测量（见材料力学实验）一点处三个方向的应变，例如用"直角"应变花可测得一点处的线应变ε0°、ε45°、ε90°。根据一点处三个方向的线应变也可利用应变圆求得该点处的主应变ε1与ε2。
广义胡克定律 当按材料在线弹性范围内工作时，一点处的应力状态与应变状态之间的关系由广义胡克定律表达。对于各向同性材料,弹性模量E、剪切弹性模量G、泊松比v均与方向无关，且线应变只与正应力σ有关，剪应变只与剪应力τ有关。三向应力状态下，各向同性材料的广义胡克定律为
τxy＝Gγxy
τyz＝Gγyz
τzx＝Gγzx平面应力状态(σz＝0， τyz＝0， γzx＝0)下的广义胡克定律应用最为普遍
单向应力状态下的胡克定律则为σ＝Eε。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条