1) real-time UML State machine
实时UML状态机
2) 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状态机构建形式语义。
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状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。
补充资料：实时计算机系统
实时计算机系统
real-time computer system
shishi lisuQn}1 xitong实时计算机系统(real一tim。。omputersystem)能以足够快的速度对输人信息进行处理，并在规定时间内作出反应(对外输出信息)的计算机系统。它区别于一般计算机系统的最主要特点是其实时性。 实时计算机系统的信息流程大致可以分为四个阶段:即数据的测定或数据收集;数据的处理及报告;对数据处理的结果进行判断和作出决定;执行所作出的决定或输出结果。这四个阶段是循环进行的。 实时计算机系统通常都与某一物理过程相联系，并成为整个自动控制系统的一部分。控制过程要求系统在规定时间内必须完成某种确定任务，并响应和处理系统内部或外部发生的事件。系统以足够快的速度完成确定的任务和处理随机事件的能力，称为系统的实时性。它是衡量实时系统的一个最重要的标志。系统的实时性是相对于服务对象而言的，不同的服务对象对实时性要求有很大差异，各种武器控制系统、飞行器跟踪测量系统要求的响应时间通常都很短，而一般的信息、处理系统等要求的响应时间则相对地可以长一些。对实时计算机系统的主要要求包括:中断响应时间短、运算处理速度快、数据传输率高和操作系统效率高等。符合这些要求的系统，可以认为是实时性较好的系统，如航天测控系统中的实时计算机系统(见图)。同时还要求实时计算机系统具有高可用性和高可靠性，因为实时系统的服务往往是连续的，系统在规定的时间内必须始终处于能够响应的状态。 实时计算机系统已广泛应用于火炮和战车的火控系统，舰船和飞机的电子系统，导弹的制导和控制系统，人造卫星的监视和控制系统，军队指挥、控制、通信和情报系统，空中交通管制系统等，它提高了各种武器装备的控制性能和应变速度、制导精度和命中率。实时计算机系统随着计算机技术的飞速发展而逐步趋向于小型化、微型化和智能化，正朝着系统功能越来越强，实时响应越来越快，可靠性越来越高的方向发展，成为实现武器装备现代化的重要手段。(孔俊建)馨撰 NCI一2780型航天刚控实时计算机系统
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条