软件测试与软件测试模型

文章针对软件测试中的V模型、W模型、X模型以及RUP模型等软件测试过程模型进行了详细的说明.通过描述,各种测试模型的优缺点均体现出来.文章对如何选择一个合适的软件测试模型,做出了说明.     

模型驱动环境下模型演化的形式化研究

在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱动体系结构,给出了模型和模型变化的形式化定义。模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算。     

软件测试模型分析与研究

软件测试是确保软件质量的重要措施,而软件测试模型是指导软件测试的框架.对测试模型具备的要素及当前软件测试模型进行了介绍.并对测试模型的特征进行了分析和研究,阐述了各个模型的优缺点,并提出了迭代开发测试模型.     

软件模型在软件开发中的应用研究

软件模型发展经历了20多年的快速发展,历经了功能模型、过程模型、对象模型、(配置型)组件模型、Web Service模型的发展过程,走过了许多弯路和曲折,最终归纳出了这些软件设计模型,提供给人们很多思路和方法,为软件开发的方向作了非常有价值的参考,极大地提高了开发效率。     

QVT的模型转换方法的研究

模型转换是MDA中最重要的部分之一,其性能的好坏直接影响到软件开发工作的进行.介绍了模型、计算无关模型、平台无关模型、平台相关模型、模型转换和转换规则等的理论知识.其次通过对目前比较流行的直接转换方法、基于关系代数的转换方法和基于元模型间映射的转换方法等模型转换方法的研究,分析了其存在的不足之处,并且提出了QVT的模型转换方法.研究结果表明,文中提出的方法具有很大的性能优势.     

程序模型检查器综述

模型检查实际程序设计语言编写的程序是近年来程序验证领域的研究热点之一,出现了一批针对C,C++或Java语言的程序模型检查器原型.总结了程序模型检查中的主要问题及相关技术,以是否使用中间建模语言为标准,对现有程序模型检查器进行了分类,并具体地介绍了一些代表性工具中的模型获取及化简技术,最后展望了程序模型检查器未来的研究方向.     

COM的线程模型

本文介绍了COM的几种线程模型:单线程套间模型(STA Single Thread Apartment),多线程套间模型(MTA Multithread Apartment)和自动线程模型(Auto-thread).首先,介绍了单线程套间模型和多线程套间模型的意义和特点,其中,单线程套间模型是一种缺省的模型,而多线程套间模型可以说是对单线程套间模型的简化;然后,根据分析单线程套间和多线程套间模型的特点,引入了自动线程模型,这种模型可以在多个客户同时访问多个COM对象时,极大地提高访问的性能和效率.本文同时提供了样例代码,以便于理解这些概念.     

一种基于模型转换的数据仓库设计技术

该文比较了数据仓库数据库与传统操作型数据库,回顾了“规范的”操作型系统设计,介绍了三种典型的数据模型———实体关系模型、对象模型和维模型(星形模型)。提出了一种基于模型和模型转换的数据仓库设计工程方法。     

一种结合MDA的高阶模型转换方法

模型转换是MDA的关键技术,也是MDA的研究热点。目前,不同的MDA开发平台都有一套相对独立的开发技术和转换框架,这使平台之间缺乏兼容性,模型转换代码重用困难。究其原因是缺少一种与具体转换语言相对应,且与平台无关的转换规则模型。为了解决以上问题,将高阶模型转换的思想与模型驱动软件开发相结合,提出了一种构造模型转换规则的高阶转换元模型,并以ATL语言为例展示了高阶转换元模型的使用方法;最后通过一个实例验证了该方法的可行性和可用性。该方法提高了模型转换语言的抽象层次,降低了模型转换语言的重用难度,在一定程度上解决了模型转换技术不兼容的问题。     

MDA模型转换平台中模型转换方法的研究

为有效解决目前基于MDA(模型驱动架构)的模型转换平台功能单一、操作不方便等问题,结合Web应用开发的特点,设计了一个功能完善并可扩展的模型转换平台。介绍了该转换平台表示层、控制层、核心层、基础技术支持层的组成和功能。在此基础上,详细设计了核心层中的模型转换模块。对模型转换方法进行深入研究,分析比较现有的模型转换方法。重点介绍了基于元模型间映射的模型转换方法,最后通过一个实例验证该方法的可行性。     

冷冲模CAD对象数据模型的研究

本文提出的对象数据模型是将语义数据模型与面向对象概念相结合而形成，具肋交强的语义功能，并使得数据库具有较好的开放性和可扩充性，应用这种数据模型设计的数据库能够较好地支持冷冲模ＣＡＤ系统工作，文章描述了对象数据模型的组成结构，语义关联和基本运算功能。     

联邦式操作训练仿真系统对象模型设计方法

研究了分布式操作训练仿真的特殊性，基于HLA联邦对象模型的特点和一般性设计方法，分析了设计联邦式操作训练仿真系统的联邦对象模型时应着重考虑的因素，针对不同仿真系统的特性提出了相应的对象模型设计方法，并归结出这些设计方法的优缺点，以此为基础，提出了一种基于操作步骤和联邦成员间单向交互满足的对象模型设计方法，并以较有代表性的某装备联邦式操作训练仿真为例，给出了该方法的具体应用。     

OPC——COM技术在工业自动化软件中的应用

OPC(OLEforProcessControl)是一个基于组件对象模型技术的工业自动化软件接口的国际标准,得到了全世界工业自动化领域厂商的广泛支持。文章介绍了组件技术、组件对象模型和OPC规范,并给出了OPC的应用实例。     

处理动态行为描述的MDA模型转换技术

模型驱动体系结构MDA(Model Driven Architecture)是OMG组织为解决不同中间件平台间的集成问题而提出的一种开放的、供应商中立的软件开发方法。在MDA框架中,开发者首先构建平台无关模型PIM(Platform Independent Model),然后根据到特定平台或实现语言的映射规则/方法,从平台无关模型转换生成平台相关模型PSM(Platform Specific Model),最终生成应用程序代码。采用了UML类图在平台无关层来描述模型的静态结构,并使用动作语言对模型的动态行为进行描述;选择Java EE作为目标平台,制定出相应的转换规则,实现了从动态行为描述到目标代码的转换。使用这样的方法得到的PSM只需要很少的后期处理就可以在平台上直接运行。研究工作较好地解决了当前大部分MDA模型转换工具不能处理动态行为模型转换的问题。     

专家系统外壳设计工具

本文给出了一个设计与实现专家系统外壳的扩展对象模型（ＥＯＭ）；定义了一组用于该模型的操作．介绍了获取ＥＯＭ中对象属性的动态集成扩展模型（ＡＩＥＯＭ）．ＥＯＭ用于专家系统外壳的概念设计，专家系统外壳通过ＡＩＥＯＭ来活化．然后给出一个用Ｐｒｏｌｏｇ描述的原型梗概．     

数据表对象化工具TTO

论文介绍“数据表对象化工具TTO”的模型。作为辅助开发工具,在MIS系统的开发过程中,TTO首先以数据表的形式定义OOP中需要存贮的对象,然后根据数据表定义自动生成作为数据库编程接口的对象类代码。     

程序复杂度度量系统pgrmetrics的设计与实现

介绍一种源程序度量系统的实现方法，它以可扩展程序对象模型作为其构建基础，将对源程序的信息抽取变为对抽象对象模型的信息抽取，故而无论从设计和实现系统的角度看都显得较为简洁易行。     

面向对象的IDSS模型库系统的构造

模型库系统是智能决策支持系统的重要组成部分,它赋予决策者通过推理,比较和选择来分析解答整个问题的能力。文章将面向对象方法和专家系统技术应用于模型库系统,提出了一种模型的表示方法以及相应的模型库的组织与存储模式,在此基础上上设计与实现了模型库管理系统。     

一种软件开发框架的设计优化

针对三层架构存在的缺陷,提出一种五层开发框架的设计方法.采用MVC设计模式引入了控制器,该控制器降低了表示层和业务逻辑层之间的耦合度;通过ORM技术增加了数据持久层,解决了关系数据模型和面向对象模型之间的“阻抗不匹配”问题.     

HLA/RTI管理对象模型的应用研究

管理对象模型提供了对RTI、联邦以及联邦成员进行监控和管理的机制。该文主要介绍了管理对象模型的概念，总结了其区别于对象模型的特点，探讨了管理对象模型的应用方式以及应用管理对象模型开发联邦管理工具框架程序的方法，并结合具体实例来说明管理对象模型的应用。