软件测试与软件测试模型

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

基于CMMI的软件过程性能模型

在高成熟度组织的CMMI(能力成熟度模型集成)实施过程中,正确的建立并使用过程性能模型对有效的策划、预测、监督和控制组织过程有显著的作用.在分析并建立4个基本的过程性能模型之间的关系之后,以生命周期模型的定义为基础,提出了基于GQM的度量模型构建方法、资源模型构建方法以及质量模型构建方法,由于各过程性能模型的信息和数据都来源于生命周期模型,因而可以有效保证其之间信息与数据的一致.     

基于MDA的模型转换研究与应用

模型驱动方法解决了软件开发的效率低、可移植性差等问题,其中的模型转换是开发基于模型驱动构架(MDA)应用工具的关键技术。为此,在模型驱动方法的基础上,提出基于模式的平台无关模型到平台相关模型的模型转换方法,并根据该转换方法确立转换规则,在一个MDA应用系统开发实例中进行验证,实现从平台无关层模型到J2EE平台相关层EJB模型的转换。     

基于模型操纵的模型集成理论的研究

基于模型操纵的模型集成的主要研究对象是模型的输入输出参数，因此，本文给出了模型的二元组表示，即输入集、输出集，提出了模型组合关系与模型集成结果等概念，具体分析了模型集成结果的存在性问题，证明了其存在的几个充分条件，在证明中给出了在满足充分条件下模型集成的构造方法．     

操作系统安全模型研究

介绍了操作系统的安全机制和几种访问控制模型，在对模型进行比较的基础上，提出采用多种模型相结合的方法，能够满足操作系统保密性与完整性要求。     

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

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

动力电池等效电路模型研究

可靠的动力电池等效电路模型是建立各种状态估计方法的基础.建立了锂电池Thevenin模型、双极化(DP)模型并对其进行参数辨识.结合实验数据在MATLAB/SIMULINK中对模型进行仿真验证.最后,基于估计精度和运算速度建立模型评价方法,得出Thevenin模型相比于DP模型能够在精度和速度方面取得更好的平衡,当精度...     

CIM逻辑模型的关系实现

针对逻辑模型在查询和存储方面的不足,定义与其具有一致表示能力的关系模型,并将逻辑模型中以句子形式表示的逻辑约束转化为针对关系模型中逻辑关系的势的约束。根据模型的访问,以IEC61970所采用的数据访问接口DAF为例,在上述关系模型中给出基于关系代数的实现。研究结果表明,通过选择合理的关系模型,可以在保持逻辑模型丰富的表达能力的基础上,利用关系代数提高模型访问的效率,同时保证约束判定的有效性。     

软件测试模型分析与研究

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

操作系统安全模型研究

介绍了操作系统的安全机制和几种访问控制模型,在对模型进行比较的基础上,提出采用多种模型相结合的方法,能够满足操作系统保密性与完整性要求。     

软件测试过程模型研究

在对现有模型进行系统研究的基础上,提出了一种新的软件测试过程模型——并行“与”模型,并详细描述了各阶段的具体活动。该模型贴切地描绘出软件测试活动的复杂关系,充分体现出了软件测试活动与开发活动之间的层次性、并行性、时序性和迭代性。     

计算机安全中的经典模型

安全模型是构造安全计算机系统的基础。到目前为止，已有多种公开发表的安全模型。本文总结了几种重要的早期安全模型，其中包括访问矩阵模型，HRU模型，BLP模型、格模型和无干扰模型。并对它们进行了分类和简要评递。本文将它们称为经典安全模型。这些经典安全模型都是开创性的，从各个不同的方面对安全问题进行抽象，模型所定义的安全问题具有典型性，并对后续的研究产生了重要影响。目前，共享计算机系统的安全问题仍然是计算机科学的中心问题之一，研究这些经典模型，对于我们全面理解计算机系统的安全问题，展望未来发展方向，具有重要意义。     

对软件测试过程模型的思考

在深入分析传统软件测试过程模型特点的基础上,提出了一种新的软件测试过程模型——并行"与"模型,并详细描述了各阶段的具体任务,更贴切地描绘出软件测试活动的复杂关系,充分反映出软件测试活动与开发活动之间的时序性、层次性、迭代性和并行性。     

模型驱动体系结构浅析*

以模型驱动体系结构（ModelDriven Architecture,MDA）的基本概念为切入点,对基于MDA的应用开发过程、MDA的优点、不足及未来作了深入的探讨和思考。     

模型驱动体系结构及其映射规则原理分析

该文介绍了一种基于模型驱动的软件体系结构。该体系结构通过平台无关模型与平台相关模型之间的变换,来提高系统的可重用性、可移植性和互操作性,从总体上提高了工程的质量。这种体系结掏中的建模语言起到了编程语言的作用,通过对模型的重用来实现软件的重用性。另外,该文就该体系结构的核心部分——模型转换进一步系统地介绍其映射方式,探讨了映射规则形成的基本原理,清晰地阐述了如何通过扩展机制实现模型之间的间接映射。并提出了这种体系结构今后需解决的问题。     

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

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

模型驱动体系结构研究综述

模型驱动体系结构(MDA)是由 OMG 提出的应用模型技术进行软件开发的方法和标准体系,其核心技术是平台无关模型建模和平台特定模型转换。MDA 代表了现代软件开发理论与方法发展的主流趋势,可以预见到它会成为继面向对象技术后软件工程史上的又一个里程碑。本文对 MDA 进行了系统性的阐述,包括 MDA 产生背景、总体构成、模型体系、软件方法、应用与评价以及最新研究与趋势等。     

元模型支持下的模型转换

模型转换是MDA的核心思想,包括模型到代码的转换和模型到模型的转换。文章所提出的模型转换方法用元模型表示转换规则,通过基于图转换的模型转换,最终得到目标模型的元模型表达。元模型支持下的模型转换可以对转换规则进行精确的描述,使转换具有明确的语义,更便于工具实现。     

语音识别后处理中的混合统计模型

将三元文法模型与词性模型组成一种新型的统计语言模型。分析和模拟实验表明：该混合模型不仅保持了前两种模型的长处，而且避免了它们的不足之处。     

程序模型检查器综述

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