摘要：针对基础软件平台集成测试组合爆炸的问题,研究了组合设计方法,提出了一种基于组合设计选择基础软件平台集成测试组合的方法.该方法将基础软件平台看作是一个多因素的系统,组成平台的每类基础软件用一个对应的因素变量来表示,每类基础软件的不同品牌产品表示为各因素变量的多种取值,构建相应的正交表或基于正交表的覆盖表,采用正交表或覆盖表来选择集成测试组合,按照选择的集成测试组合进行基础软件平台集成测试.应用实例表明该方法保证了集成测试组合对基础软件间两两交互的全覆盖,并有效地降低了集成测试组合数.

摘要：电子政务系统建设过程中建立软件质量保证体系是必需和必要的。软件测试作为保证软件质量和可靠性的关键技术手段,是我们必须加以认真研究和对待的。本文着重介绍了软件测试过程中的关键软件测试活动,包括测试计划的编制、测试大纲编写、测试用例设计、测试执行过程控制、软件问题报告提交等内容,希望能对读者的电子政务工程实践有所帮助。

摘要：针对基础软件平台测试中的测试组合爆炸问题,利用正交表思想,提出了一种可用于组合优化的正交组合方法。此方法可用于基础软件平台的测试用例组合优化过程中,能够在保持覆盖度不变的情形下缩小测试用例规模,从而降低测试过程的成本与周期。通过测试过程实例表明正交组合方法优于传统的测试方法,方法在类似领域均具有较好应用前景。

摘要：针对工作流流程定义文件之间需要相互转换的问题,提出了一种基于规则库的流程定义文件转换方法。该方法首先通过建立映射规则库来存储不同流程定义语言间相互转换的规则,然后在转换过程中动态查找规则库,获取当前流程定义转换所需要的规则,最后用获取的规则初始化转换引擎以实现流程定义文件的转换。采用上述方法建立了从XPDL(Xml process definition language)到BPEL(business process execution language)及BPEL到XPDL之间的转换规则库,运用该规则库完成了实例的相互转换。实验结果表明了该转换方法的可行性和有效性。

摘要：近年来,可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库。构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因。作为总结,给出了可信构件领域研究需要解决的若干问题。

摘要：构件可信度表示用户对软件构件信任的程度,其本质是构件的安全和时效问题.保证构件的可信必须有面向可信切实可行的构件建模方法和技术,目标是通过构件接口建模、协议建模、静态结构建模、动态行为建模等模型之间的一致性验证来保证构件的可信度.目前构件建模方法关于对象之间关系的概念存在着模糊性,为构件接口设计和构件复用带来隐患,直接影响了软件构件的可信度.因此将本体论引入构件建模,对构件对象的关系进行本体分析,目的在于为构件对象建立清晰、完整的本体模型,提供系统模型的一致性约束和正确性验证.

摘要：在线迁移技术在虚拟化中有着非常广泛的应用。目前,主流的在线迁移工具都依赖于物理主机之间采用集中式共享外存设备,而在云计算环境中,许多计算机系统各自独立拥有本地外存,这就给迁移技术在云计算环境中的应用带来了一定的限制。本文在研究云计算及在线迁移技术的基础上,分析了云计算环境中在线迁移技术的原理与局限性,提出了基于Xen虚拟机的全系统在线增量迁移的设计与实现方法,并通过实验进行了性能分析,总结了优化迁移性能的一些方法。全系统在线增量迁移摆脱了原有迁移技术对外存设备的依赖,进一步拓宽了其在云计算环境中的应用范围。

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

摘要：介绍了云计算环境中服务器的部署方式及优缺点,总结了传统的服务器性能评测工具的特点,特别是对于云计算场景下的服务器测试方面的不足及存在的问题。基于此,分析了云计算环境中虚拟机性能测试的需求,并提出了虚拟机性能评测方法,主要针对性能评测工具的功能及关键问题进行了比较全面合理的方案设计。

摘要：UML建模语言并不规定建模过程,而且UML建模标记非常丰富,为了构建有效的系统模型,要根据实际选择适当的过程和方法。本文以网络信息资源管理平台的开发为背景,介绍了在面向对象应用系统的分析与设计过程中,应用UML进行系统建模的过程和方法。