基于JML的面向对象设计指导测试方法的研究与实现

面向对象的软件测试应该也只能被设计所指导.提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Java类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想.研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架.     

基于UML的人力资源管理系统的建模

采用面向对象方法,基于UML建模技术对人力资源管理系统进行分析与设计.通过用例图、类图及序列图等UML表示法工具分析设计了人力资源管理系统的静态模型和动态模型,完成了系统开发的分析、设计阶段的工作,并探讨了基于UML的系统建模方法及运用面向对象方法进行系统开发的优势.     

基于状态图的软件测试

面向对象软件系统是多个类及类间的相互作用实现的,对象的动态性是通过状态间的转换来建模。UML状态图是在软件开发的早期设计阶段确定下来,它描述一个特定对象的所有可能状态以及由于各种事件的发生而引起状态之间的转移。根据面向对象状态图的特点,设计测试用例。     

基于UML的MIS分析与设计方法

1 引言 MIS系统开发一般须经过需求分析和系统设计两个阶段。传统需求分析对问题的认识和描述不是以问题域中的固有的事物作为基本单位并保持其原貌,而是在全局范围内以功能、数据或数据流为中心,例如数据流法把整个问题域看作一些数据流和处理,所以这些方法的分析结果不能直接地映射到问题域,而是经过了不同程度的转化和重新组合。设计阶段中数据库的设计是用实体-关系模型方法(E-R方法),而在分析与设计这两个阶段进行转化时没有一个可靠的转换规则。如果在需求分析阶段采用面向对象的分析方法,设计阶段采用面向对象的设计方法,在编程阶段采用面向对象程序设计语言,则不仅填平了需求分析与设计阶段的鸿沟,使需求阶     

面向对象的柔性设计与控制理论(II)

文章介绍了“面向对象的柔性设计与控制理论”的第二部分内容,使用可视化面向对象建模技术建立了计算机控制系统的各个子系统的对象模型、动态模型和函数模型。文中定义了各个子系统所包含类的属性和服务,确定了类之间的关系,描述了对象之间的相互作用,说明了系统的数据转换。同时,采用面向对象统一建模语言UML建立了对象图、消息连接图和数据流图。     

从面向对象模型到关系模型

文章首先概述了面向对象模型设计的方法,然后着重讨论了将面向对象模型转换为关系模型及关系模型优化的问题,最后给出一个应用实例。     

面向对象的柔性设计与控制理论(Ⅱ)

文章介绍了“面向对象的柔性设计与控制理论”的第二部分内容，使用可视化面向对象建模技术建立了计算机控制系统的各个子系统的对象模型，动态模型和函数模型，文中定义了各个子系统所含类的属性和服务，确定了类之间的关系，描述了对象之间的相互作用，说明了系统的数据转换，同时，采用面向对象统一建模语言UML建立了对象图、消息连接图和数据流图。     

一种面向对象的数据库设计方法

论述了一种将面向对象的设计思想应用于数据库设计的方法，讨论了在用户观点下如何建立面向对象模型及其向传统的关系模型的转换。     

基于公理设计的面向对象设计方法研究

从软件需求模型到软件设计模型映射是软件工程领域研究难点之一.为提高软件设计质量,增强面向对象软件系统的模块独立性,减少类与类之间的耦合,研究了基于公理设计的面向对象设计方法过程模型,分析并统一公理设计过程与面向对象设计过程相关概念.将公理设计中的"之字形"映射方法及独立设计公理应用于用例模型,特征模型和属性模型之间的映射,从而控制映射过程中软件设计的耦合程度.     

一种面向对象的PLC程序设计方法

为了减小经验因素的影响,对设计阶段进行更好的质量控制,借助于面向对象的分析与设计理论,对传统的基于状态转移的PLC程序设计方法进行了改进,提出了一种面向对象的PLC程序设计方法。使用UML建模工具,分别用类图和状态机视图描述控制系统的静态结构和动态行为,进而把状态机视图转化为梯形图。通过把面向对象技术及UML引入传统的PLC控制领域,既提高了PLC程序设计的可靠性,也扩展了面向对象技术和UML的应用领域。