带OCL约束的多态路径测试线索生成方法

统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。     

基于UML和MVC的精品课程网站设计

使用UML并结合MVC新方法设计精品课程网站,用UML用例图做需求分析,用UML类图进行系统静态设计,用UML顺序图进行系统动态设计,用MVC组件图设计系统总架构,通过PHP语言实现网站系统。用UML和MVC设计的精品课程网站逻辑清晰、容易实现、便于维护、具有可重用性     

一种实时运动控制软件的建模与研究

为满足高速度、高精度的实时运动控制要求,本文针对自主研发的通用多轴运动控制器平台,进行实时运动控制软件的建模和研究.并以绗缝系统应用为实例,使用UML对绗缝实时运动控制软件建模,并设计出该控制软件.通过在绗缝系统中的应用,验证该模型的实用性.     

基于UML图和不同粒度切片的回归测试研究

针对面向对象软件回归测试的新特点,本文引入了基于UML图的不同粒度切片。首先,对描述类间关系的UML类图和描述状态变迁关系的UML状态图形式化定义。接着,对定义的图进行切片分析,其中类间测试提出一种基于UML类图的粗粒度切片工具;类内测试提出一种基于UML状态图细粒度切片的方法。最后,将其应用于销售订单系统,结果表明以上两种分析方法可以有效地提高回归测试效率。     

UML在电子商务网上支付系统建模中的应用

将面向对象建模语言UML引入网上支付系统的设计和实现过程中,以用例图表达系统需求,以设计类图、顺序图表达系统的结构逻辑及行为逻辑,利用UML用例分析技术,构建UML的静态模型和动态模型,实现需求分析、数据抽象、设计,实现支付系统的安全及高效性。     

基于UML的机动车辆保险业务管理系统建模

在介绍统一建模语言(Unified Modeling Language,UML)建模过程的基础上,以机动车辆保险业务管理系统为实例,阐述利用UML对系统进行分析、设计、实现和测试的建模设计.着重探讨和解决UML在完成各阶段任务中的应用、分析设计流程等问题,就类图与时序图两者设计次序进行探讨;并与传统的面向过程方法进行比较分析.UML有利于各类人员之间的沟通,提高了系统建模的效率.     

基于UML的安防监控终端系统的分析设计

通过基于统一建模语言(UML)对安防监控系统的分析与设计,从整体上建立了系统模型。在介绍了UML和安防监控系统结构的基础上,着重阐述了运用UML在用例分析、动态分析与设计、静态设计等不同阶段,通过用例图、协作图和类图描述系统的方法,以及通过基于UML对安防监控系统的分析与设计,实现了系统结构和功能的直观展示,提高了软件的设计和实现的效率、质量、维护性和扩展性。     

基于UML的通用在线考试系统的分析与设计

本文讨论了面向对象技术的基本概念和UML建模语言,分析了通用在线考试系统的总体功能结构,结合软件工程和面向对象技术,设计了基于UML用例图、类图和活动图的通用在线考试系统模型,并运用UML的时序图描述了教师组织考试的工作流程。通过通用在线考试系统开发实例,介绍了如何应用UML的方法设计和开发软件模型。     

一种嵌入式软件的类状态测试框架设计

在介绍UML状态图的基础上,以嵌入式软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,进一步设计出基于UML状态图的嵌入式软件类状态测试框架。该测试框架的系统体系结构由测试初始化配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块组成。     

基于UML的安防监控终端系统的分析设计

通过基于统一建模语言(UML)对安防监控系统的分析与设计,从整体上建立了系统模型.在介绍了UML和安防监控系统结构的基础上,着重阐述了运用UML在用例分析、动态分析与设计、静态设计等不同阶段,通过用例图、协作图和类图描述系统的方法,以及通过基于UML对安防监控系统的分析与设计,实现了系统结构和功能的直观展示,提高了软件的设计和实现的效率、质量、维护性和扩展性.     

煤焦化企业物资管理信息系统设计与实现

结合软件工程原理和面向对象技术,对煤焦化企业物资管理信息系统进行分析和设计,基于UML实现了系统建模,给出其用例模型、静态模型、动态模型,重点阐述了系统模型的用例图、类图、时序图。实践证明,完善的系统模型提高了系统开发的效率。     

XML-based Specification of Diagram Editors

This paper describes a graphical specification tool for Dia Gen, a diagram editor generator based on hypergraph grammars and hypergraph transformation. The specification tool greatly simplifies the process of specifying and generating diagram editors. It uses an XML-based specification language, and it is an extension of a generic XML editor which offers syntax-directed editing based on the DTD, i.e, syntax specification, of the underlying XML-based language.     

基于规则的用例规约验证方法

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。     

基于UML状态图的模型信息自动提取技术研究

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为.在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法-基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析.自动提取模型信息技术提高了协议测试序列的自动生成效率.     

利用UML-RT序列图支持基于事务的SoC系统级功能验证

SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事务的验证建立高层规约,指导系统级测试序列生成的方法。我们自行开发了一个基于构件的事务验证环境SoC-CBTVE,并在该环境中利用本文的方法对一个典型的SoC设计进行了验证和分析。实验结果表明,利用UML-RT序列图能够捕获SoC系统级IP核之间的复杂通信行为,有效支持SoC系统级功能验证。     

基于Web服务的移动设备管理研究与改进

对基于Web Services技术的系统管理标准WS-Management进行了研究,说明了系统管理的现状,基于WS-Management实现了系统管理原型并进行了测试,并基于测试结果进行分析.针对移动设备的特点,改进和设计了基于WS-Management的移动设备管理系统,给出了改进的测试和分析结果.最后对基于WS-Management标准的移动设备系统管理及其发展趋势进行了总结.     

企业产品质量管理系统

为解决企业产品质量管理工作中存在的问题,更高效、便捷的执行产品质量管理制度,介绍了一套企业产品质量管理的信息化实施方案。采用面向对象的分析和设计方法,运用统一建模语言中的常用概念和视图建模,重点描述使用用例图、类图和时序图的开发过程,最后使用基于B/S的结构实现该系统。     

形式化 B 描述测试序列自动生成研究

基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提供了最原始可靠的依据。通过B抽象机操作的规范型,依据测试理论,可以将原操作等价于多个效用谓词（effect predication）的形式。按照路径覆盖得到状态转换图,并对状态图做了确定性处理;运用基于状态图的测试准则,生成有效的测试序列,提高测试的有效性和效率。     

单片机在皮带配料秤控制系统中的应用

介绍了单片机控制的皮带配料秤的工作原理及性能指标，给出了硬件框图和硬件单元电路原理图，阐述了其控制和测量原理，提出了软件设计思想。