一种关键字驱动的自动化测试框架

为了提高软件自动化测试脚本的可复用性,提出了一种基于关键字驱动的自动化测试框架（LKDT）。首先对目前现有自动化测试框架进行了归纳分析;然后提出了LKDT的系统架构,给出了其中所包含的关键技术;最后以实际的Linux桌面应用程序为例对LKDT框架与现有框架进行实际对比验证,结果表明该框架具有降低测试脚本规模、提高整体测试效率等优越性。     

面向CMMI的软件度量分析过程研究与应用

为了辅助软件组织有效实施符合CMMI模型的软件度量过程,提出了一种GREDR过程框架模型,以指导软件度量的目标策划与过程实施。在实际软件项目过程中的应用结果表明：GREDR模型能够提高软件度量过程的系统性与效用。     

系统虚拟化技术性能评测

虚拟化已成为企业数据中心有效整合资源、降低成本的重要技术,并且是云计算平台的重要组成部分。目前在工业界和学术界存在多种可供选择的虚拟化技术,本文首先对物理机和KVM、硬件辅助虚拟化的Xen、Xen半虚拟化、VirtualBox等开源虚拟化技术部署的虚拟机进行了性能基准测试,然后基于测试数据进行深入解读和分析。最后,结合各种虚拟化技术的性能评测结果,针对处理器密集型应用、磁盘I/O密集型应用和网络I/O密集型应用等虚拟化应用场景,为企业和科研用户在不同的应用场景中选择具体的虚拟化技术提出了切实的建议。     

基于EDI的异地协同工作流管理系统研究与实现

目前基于J2EE/CORBAWeb Service等技术实现工作流管理系统的集成是一种方法级的集成,方法级的集成在网络分布式工作环境中可以在一定程度上实现工作流管理系统之间的协同.但是基于函数或方法的集成使得工作流管理系统之间只能以同步的模式进行交互,完全基于请求响应机制进行实现.这种模式不适应工作流管理系统之间流转大文档、而网络状况也很难保障的情况.这里给出了一种利用EDI数据交换技术实现的数据交换中间件,有效的解决了工作流管理系统之间有大量数据交换带来的问题.     

一个基于XML的自动化类测试框架

针对当前自动化类测试工具/框架存在的问题,提出了一个基于XML的类测试框架。框架采用基于XML的自动化测试过程数据流模型,用XML语言来描述和组织测试用例,自动生成测试驱动程序,自动执行测试并生成测试结果。框架可用于不同语言应用程序的自动化类测试,框架实现测试设计、测试实现和测试执行的分离,利于测试脚本的维护,并保证测试脚本与测试用例的一致性。     

ESB中的数据交换技术

本文描述了目前的技术焦点之一--SOA和ESB技术,并集中讨论了数据交换技术在ESB中的重要性和实现方式.文章详细讨论了构建企业级数据交换应用时所采用的应用模式,给出了基于该应用模式用户所需要进行的工作.     

基于目标的软件可信性需求规约方法研究

高可信系统的软件规模不断扩大,其关键是分析并定义一致的可信需求描述,直接影响到需求规格说明的质量,进而影响到最终软件产品的质量。在目前公认的非功能需求规约框架的基础上,利用B抽象机理论,结合面向目标的规约方法,建立了一种可信性需求的分析与定义方法,即软件可信剖面。该方法可应用于UML,利用B抽象机理论,为可信性需求模型的定理化证明奠定了基础。     

基础软件平台质量评估

关于软件质量模型和软件质量评估模型的研究,一直是软件质量保障和评估领域的研究热点,国内外在这两方面进行了大量的研究,并取得了一定的研究成果.近年来,以操作系统为核心的基础软件呈平台化、体系化的发展趋势,基础软件平台的质量评估成为亟待解决的问题.在总结、分析软件质量模型、软件质量评估模型研究发展现状的基础上,重点归纳和描绘了基础软件平台的质量评估发展历程,并简要探讨了基础软件平台质量评估研究的发展方向,力求为展开基础软件平台的质量评估建立良好的基础.