基于正则表达式的测试数据自动生成技术

软件测试是提高软件可靠性、保证软件质量的重要手段。数据自动生成是测试自动化的重要组成部分。提出一种基于正则表达式的测试数据自动生成技术,生成的数据应该具有随机性、可控制、可定义、有意义、无错误等特性,特别是对大字段／专有类型等特殊类型的支持,可以解决目前测试数据自动生成存在的问题,具有良好的扩展性。     

VxWorks远程在线软件升级技术

针对单一的软件升级方式难以满足不同VxWorks软件升级需求的问题,分析各种VxWorks软件升级方式的优缺点和适用场合,设计VxWorks远程在线软件升级系统,讨论动态软件升级的原理和实现方法。介绍提高升级可靠性的设计,描述系统的具体实现。该系统组合使用3种软件升级方式,可基本满足各种不同软件的升级需求。     

基于Schema的Web框架设计

现有Web框架没有充分考虑面向pojo对象的编程和XML到关系数据库的映射,导致系统中pojo对象与数据库关系表和其他对象之间的紧耦合。针对该问题提出一种基于Schema的开发框架,该框架考虑数据库关系表与DTD的依赖,集中且合理地布置系统中的pojo代码,方便service对象调用DAO对象,是一种易于扩展和维护的Web框架。     

基于四阶段人工优化的软件流水技术

代码体积是优化存储资源有限的嵌入式系统的重要因素之一。针对该特点,使用oprofile性能分析工具,以EEMBC基准程序集作为工作负载,提出四阶段人工优化软件流水方法(FPMO)。电信类的自相关程序实验结果表明,FPMO以2.04%的代码增量为代价换来40.678%的性能提升,而单纯的编译器自动优化则以33.35%的体积膨胀换来38.33%的性能提升。     

电子装配行业的MES体系结构及技术实现

针对电子装配行业的特点和制造执行系统（MES）的需求,采用基于SOA的设计方法和理念,提出基于Web服务的MES软件体系结构,建立基于工作流的电子装配过程实时可视化、实时生产排程、实时生产过程跟踪技术框架。提出基于WebServices技术和J2EE平台的软件体系结构技术实现框架。开发的MES系统应用在某SMT车间,证明该系统具有较好的实时、可配置、可重构、可集成性能。     

面向对象的非线性有限元软件框架设计

阐述面向对象的非线性有限元软件框架设计,在前人成果的基础上,力求软件框架更灵活、更完善。采用模型分析方法与有限元模型分离的方式,明确描述各类之间的依赖关系以及相互之间的传递消息过程,建立非线性有限元软件的框架结构。增加有限元软件的模块化、代码的重用性和易扩展性,解决长期以来存在于非线性有限元开发的一个重要难题。     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

支持快速开发的行业软件通用框架

针对行业软件开发过程中普遍存在的研发水平低下和周期较长的问题,提出一个基于Java企业版（JavaEE）的快速开发行业软件通用框架RADF。RADF实现了分层次软件构架规范,并提供一般行业应用软件期望的默认行为的类集合。具体的行业应用软件可通过扩展RADF的相关子类以支持专有行为。开发实践证实,基于RADF开发一个中等规模的行业软件可至少减少30%的代码量。     

论数字图书馆系统中WEB服务器性能优化的方法

由于在数字图书馆系统中流通着的大多是数字化的索引、文摘、全文、图像或音频视频等多媒体信息,对Web服务器性能有着较高的要求.结合实际工程的经验,从硬件实现手段(缓存服务器、均衡负载设备、Web双机镜像等)和软件实现手段(多层软件结构设计、应用部署等)等两个大方面论述如何提高Web服务器性能,以便使用户能够更快捷、高效、安全地使用数字图书馆应用系统.     

浅谈高校教学软件用服务器的复用技术

根据国家相关部门的要求,财经类高校实践教学所占的比例逐步增加,财经类高校特有的实践教学模式,决定了实践教学多采用软件模拟的方式进行。采用软件模拟的方式,要求有大量的服务器用于支撑教学软件的运行。受到资金投入和机房场地等因素的制约,教学软件用服务器的数量总是不能满足需求,从而影响实践教学的开展。结合财经类高校实践教学软件特有的使用规律,提出使用服务器复用技术,解决因服务器数量上不足影响实践教学顺利进行的问题,从而更好的服务实践教学。