摘要：面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加ocl(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与ocl约束进行系统地测试.

摘要：针对经典ocl功率放大电路在实际应用时会出现动态范围小、削顶失真的现象,采用仿真和实验的方法对经典功放电路的失真现象进行了研究,对这一现象进行了理论分析,并提出了对经典ocl功放电路的改进措施,进一步通过仿真和实验验证了改进电路的可行性和实用性。研究结果对ocl功放电路的理论教学和工程设计应用都具有实际意义。

摘要：首先 ,用统一建模语言 (UML)中的状态图描述系统在整个活动周期中所处的不同的状态 ,活动图表示状态图中每个进程的功能 ,对象约束语言 (ocl)描述系统中的约束条件 ;然后 ,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码 ,以完成系统的模拟验证 ;

摘要：在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于ocl的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具Artemis-GODE。

摘要：基于角色的访问控制模型(RBAC)凭借其灵活的授权机制、强大的管理功能和完善的安全策略越来越引起人们的研究兴趣,随着研究的不断深入,面向对象的研究方法也逐渐应用到这个模型中,促进了它的迅速发展。UML作为一种强大的建模语言,不只是局限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程,通过UML的描述可以使理论模型更加直观地应用到实际系统开发。该文使用UML的对象约束语言(ocl)来描述RBAC中的相关约束,使约束描述更加标准化,更有利于系统开发人员对模型的理解和促进RBAC模型的系统开发。

摘要：旋转变压器有足够大的激磁信号才能得到较高的位置精度,而解码芯片提供的激磁信号较小,因此需要设计放大电路对激磁信号进行放大。以解码芯片AD2S1200为基础,对旋转变压器TS2620N21E11的激磁放大电路进行研究,设计了四个激磁放大电路,并详细地介绍了它们的工作原理。采用高输出电流运放构成的放大电路结构简单,但成本较高,而采用普通运放加无输出电容的功率放大电路时,尽管电路结构略显复杂,但成本较低。仿真和实验结果均证实了所设计的激磁放大电路的正确性和实用性。

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

摘要：UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和ocl约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。

摘要：A lloy是一种具有简洁语法结构的形式语言(form al language),它能够对众多不同类型的系统建模、规范并进行自动化分析。而作为半形式语言(sem i-form al language)的UML(Un ified Modelling Language),是一种用于对软件系统进行描述、可视化和构架,并用于商业建模的语言。它作为一种对基于对象的系统进行建模、规范和执行的事实上的标准,已经被软件工程界所广泛接受。利用这两种语言各自的优势,提出了设计继电保护离散动作行为的UML模型的思想,并以三段式电流保护为例进行分析与建模,最后对其转化为A lloy模型以及对转化后的模型实施各种分析进行了论述。

摘要：提出了用于计量和测试产品性能的一种高性能程控三相交流功率源的设计方法。采用了SPWM逆变激励及ocl功放的功率输出,高性能的单片机加上CPLD和锁相环的配合,实现了功率源三相电压电流大小、相位和频率的任意调整,能产生既不平衡又不对称的功率信号输出。实验证明输出波形失真度小于0.7%,精度和稳定度优于0.5%,符合0.1级标准。