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

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

软件测试过程模型研究

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

CIM逻辑模型的关系实现

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

数据模型及其发展历程

数据库是数据管理的技术,是计算机学科的重要分支.经过近半个世纪的发展,数据库技术形成了坚实的理论基础、成熟的商业产品和广泛的应用领域.数据模型描述了数据库中数据的存储方式和操作方式.从数据组织形式,可以将数据模型分为结构化模型、半结构化模型、OLAP分析模型和大数据模型.20世纪60年代中后期到90年代初,结构化模型最早被提出,其主要包括层次模型、网状模型、关系模型和面向对象模型等.20世纪90年代末期,随着互联网应用和科学计算等复杂应用的快速发展,开始出现半结构化模型,包括XML模型、JSON模型和图模型等.21世纪,随着电子商务、商业智能等应用的不断发展,数据分析模型成为研究热点,主要包括关系型ROLAP和多维型MOLAP.2010年以来,随着大数据工业应用的快速发展,以NoSQL和NewSQL数据库系统为代表的大数据模型成为新的研究热点.对上述数据模型进行了综述,并选取每个模型的典型数据库系统进行了性能的分析.     

形状模型在混合建模环境中的映射研究

混合建模技术是ＣＡＤ研究继承参数化特征建模技术之后的又一研究热点,线框,曲面和实体模型３种模型间的转换是混合建模技术的核心,本文介绍了：１）实体模型到线框和曲面模型的映射;（２）线框模型到实体模型的映射,３）曲面框型到实体模型的映射,为混合建模技术做了一些有益的探讨,并将模型映射算法成功地应用于ＩＧＥＳ和ＳＴＥＰ的前后置处理器的设计中,取得了满意的结果。     

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

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

对象模式到关系模式转换研究

数据在信息系统中的使用面临着这样一个困难,即:数据存储是以关系模型为基础,而软件开发以对象模型来进行,造成了软件开发中数据访问技术的不和谐。提出并建立了一个软件框架,并就对象模式到关系模式的转换进行了研究。     

计算机安全中的经典模型

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

演化软件过程模型

根据目前软件开发的趋势,介绍了几种常见的软件开发的演化模型,包括增量模型、螺旋模型、并发开发模型等。简要介绍了每一种软件开发模型的工作过程、基本成分和演化过程,以及它们在现代软件开发中的应用情况。     

UML活动图模型正确性诊断方法

UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。     

软件可靠性模型选择的SRMS算法

在软件可靠性评估中经常用到软件可靠性模型。如何对每一特定用例进行可靠性模型的选择一直是可靠性领域研究人员的兴趣之一。文献中已有的软件可靠性模型的选择方法和工具因为使用了受限的模型选择标准而得不到广泛的应用。该文根据软件开发生命周期(SDLC)的阶段对可靠性模型进行了分类,对可靠性模型的选择提出一系列新的标准,在此基础上提出了一种新的模型选择算法并对其进行举例说明。     

信息安全模型研究

首先介绍了安全系统的形式化开发方法，分析和比较了各种安全模型的安全特征。并针对分布式环境对安全模型的通用性和可结合性的要求，着重分析了无干扰模型和非推理模型。并以此为基础提出了改进的无干扰模型和非推理模型。     

视频数据库的数据模型

分析了视频数据的两种数据模型（关系模型、ＮＦ＾２模型）的特点后,提出了一种面向对象模型。利用该面向对象的数据模型可以建立一个功能较强的视频数据库。     

多维MANET可靠性建模研究

移动自组织网络(MANET,Mobile Ad hoc Network)是一种不依赖固定基础设施且不需要中心控制的动态无线网络。由于其开放自治的无线网络环境及无中心、动态拓扑等特性,导致MANET无法保障通讯的持续性,同时容易受到各种安全攻击。因此相对于传统网络,MANET在网络的可靠性上存在很大的局限性。综合考虑了影响MANET可靠性的两大因素,即节点移动性和安全攻击,提出了多维MANET可靠性模型,并对模型结果进行了实验分析,进一步指出了影响MANET系统可靠性的关键参数。     

蠕虫“Update-Factor”传播模型研究

双因素模型考虑了人为对抗因素和蠕虫传播对路由造成的冲击,较SI模型、SIS模型和KM模型更能符合蠕虫传播的实际情况。但它不能反映蠕虫传播后期的特性,同时模型没有考虑大规模系统升级程序和自动补丁程序这一重要的对抗因素对蠕虫传播的影响。针对双因素模型的不足,对其进行了改进,提出了Update-Factor模型,经仿真结果与实际监测结果比较,模型克服了双因素模型的不足,更符合蠕虫传播的实际情况。     

基于Agent的面向DSS的模型库系统研究

智能性是决策支持系统未来的发展方向,为了提高决策支持系统模型库的智能性,文章将Agent的智能性融人到模型库系统中,提出了一种基于Agent的模型库系统构建方案。主要研究基于Agent的模型表示、模型选择和模型组合技术,模型库系统的架构方案及各功能Agent模型,详细阐述了模型库系统各部分的工作原理,并在JADE平台完成了模型库系统原型的开发。实验证明：所设计的基于Agent的模型库系统能很好的解决模型表示、模型组合和模型选择问题,比传统模型库系统具有更高的智能性。     

一种域和对象相集成的面向对象GIS数据模型

The field-based model and object-based model are two classes of spatial information models.Many applications require that the two models should be integrated together.However,the integration of these two models causes many problems from high-level modeling,through data structure to system implementation.Based on investigating the problems in the process of integration,we propose an objectoriented approach for the integrated model in conceptual data model level,which solve many problems existing in integration.     

Padhye TCP吞吐量模型分析及改进性研究

在充分研究Padhye模型的基础上，利用Gilbert模型从另外一个角度计算了TCP吞吐量原理公式，计算结果与原有Padhye模型完全一致．同时定性分析了Padhye模型中各主要参数在丢包率较大时的误差情况，以及造成的Padhye模型在高网络负载下与实际结果的误差情况．基于这种状况，我们提出了一种分段的精确Padhye模型(Ex-Padhye模型)，试验结果表明，Ex-Padhye模型在丢失指示率较高的情况下仍能够较好的与精确值相拟合，在精确度上比Padhye模型有了很大的改善。     

多模型控制方法的研究进展及其应用现状

本文探讨了多模型控制算法的发展和现状,对几种主要的发展成熟的算法---多模型预测控制算法---多模型自适应控制算法、交互式多模型算法进行了研究.同时分析了多模型控制算法中模型切换及稳定性、模型集的选取等关键问题.分析了当前多模型控制算法应用的现状和今后的发展方向.     

ATS软件模型研究

针对ATS软件规模和复杂度的增加带来的系统描述和集成问题,给出了ATS软件的概念模型、信息模型和系统模型,阐述了三者之间的关系,为ATS软件的体系结构通用性、仪器互换性、软件移植性和系统互操作性设计提供了解决方案。