基础软件平台质量评估

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

软件质量度量和软件过程度量

电子政务的建设是一个长期的、复杂的系统工程,其中的软件质量保证问题不容忽视。因此,必须同时开展相关问题的研究,并建立必要的质量保证体系。本文着重讨论了软件质量度量和软件过程度量中的概念、度量模型和度量方法等内容,软件度量是电子政务系统建设中软件质量控制的重要保证方法之一。

系统虚拟化技术性能评测

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

使用贝叶斯网评估基础软件平台的互操作性

互操作性是当前软件最重要的特性之一.通过分析问题域,结合贝叶斯网的特征域,提出使用贝叶斯网来解决基础软件平台的互操作性评估问题.首先根据问题域选取贝叶斯算法,并收集实际数据以引入与问题相关的领域知识.根据所选取的算法构造互操作性的贝叶斯网结构,并且进一步学习此结构的参数.在此过程中,对选取的K2算法进行改进.然后,利用贝叶斯推理来根据互操作性的结构和参数得出评估对象的互操作性等级.最后,一个实例讲述了方法具体的应用过程.实验结果证明了方法的合理性.

基于资源价值链管理的综合信息服务平台

各级政府在构建相应电子政务应用系统的过程中,既要整合政府自身在信息化建设的不同阶段所形成的各 种异构数据资源,又要为所建设的电子政府提供一套有效的数据资源采集、编辑、发布系统,并在此基础上为政府 所服务的对象(企业、公众)提供一个实用的信息服务平台。文章阐述了基于资源价值链管理构建面向电子政务 应用的资源管理与信息服务平台的设计与实现策略,重点讨论了资源价值链管理模型和综合信息服务平台的体 系结构。

软件测试

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

云计算环境中在线迁移技术研究

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

软件评审

软件评审是软件质量控制的一个重要手段,本文简要介绍了软件评审目标,过程和准则等内容,希望能从除度量与测试以外的角度来对电子政务系统建设中软件质量进行控制。

“中国制造2025”与军工集团自主可控体系建设

军工集团是中国制造2025的重点承接单位，在军工集团开展国产化替代，建立自主可控体系是实现中国制造强国目标的基础环节。围绕该体系的建设问题，从战略规划层面提出了建立产品技术体系、重大工程体系与服务保障体系建设的建议，并讨论了操作系统在体系建设中所起的重要作用。

实用软件测试过程管理工具QESuite

电子政务建设过程中的软件质量保证体系需要多种支撑工具,本文概要介绍了软件测试过程中的管理工具Qesuite,是由北京航空航天大学软件工程研究所与北京精易博创软件技术有限公司合作研制完成的对软件测试过程,主要是集成测试阶段进行管理的套件产品。已在国内多家著名软件企业中推广使用,效果良好。

基于情境树相似性的知识检索技术

为更好地共享与复用工程知识,提出一种将情境特征作为共享与复用基础的知识检索技术。在该技术中,知识的情境特征被表示为分层和树状模型,每一种工程知识都关联具体的情境树模型。为使当前情境获得适用性高的知识,首先利用情境树相似性进行历史情境的相似性排序,以便在所有历史情境中得到与当前情境最为相似的历史情境,进而逆向根据情境与知识的关联关系,输出选定历史情境所关联的知识。此外,为了改善无序树的树相容匹配算法时间复杂度,提出了一种新的树相容匹配算法KTreeMatch代替传统图论中的无序树匹配算法,从而保证知识检索结果在查全率和查准率上的质量。

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

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

一种海量题库难度系数和区分度动态优化模型

难度系数和区分度是衡量试题质量的两个重要参数。如何快速准确地获得试题的难度系数和区分度则是随机组卷考试系统海量题库建设中的一个难点。专门针对海量题库试题的难度系数和区分度提出了一种动态优化模型;该模型借助计算机的快速准确处理能力进行试题的实际难度系数和区分度的计算与优化,为出题者不断完善和优化试题内容提供科学合理的依据,从而提高海量题库命题的自动化和合理化水平。

一种增量并行式动态图异常检测算法

图结构异常检测可以发现金融欺诈行为、网络入侵和可疑的社交行为。针对当前检测图异常算法的计算复杂度高、不能处理大规模动态图的缺点,研究并提出了一种增量并行式的算法以便更有效地发现和检测大规模动态图中的异常。该算法使用时间滑动窗口对图进行划分,在初始化阶段选取N个子图,使用最小描述长度(MDL)原理并行检测正常模式和异常模式,并行迭代地检测其他子图中的正常结构和异常结构。在多个大规模图数据集上的实验结果表明,检测动态图结构异常准确率达到96%,召回率达到85%,运行时间减少了一个数量级。同时还讨论了滑动窗口大小和并行数量对算法运行时间的影响。

软件构件的可信保证研究

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

基于LDAP的用户统一身份认证管理系统的设计与实现

文章介绍了LDAP协议和目录服务,阐述了基于LDAP的用户统一身份认证管理系统中的自定义模式和目录树的设计方法,以及统一用户身份认证的原理和安全机制,并将该用户统一身份认证管理系统应用于信息资源管理与信息服务平台中。

基础软件平台集成测试组合选择方法

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

ESB中的数据交换技术

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

基于SPICE协议的桌面虚拟化技术研究与改进方案

随着云计算的不断发展,虚拟桌面解决方案VDI日益成熟,桌面虚拟化成为典型的云计算应用。虚拟桌面技术能够有效地解决传统个人计算机使用过程中存在的诸多问题,降低企业的运维成本,受到业界的广泛关注。SPICE协议作为开源的虚拟桌面传输协议具有其独特的技术架构和应用特性,通过SPICE协议能够在服务器和远程用户终端上部署虚拟桌面,并提供性能比较好的用户体验QoE。但是,SPICE协议本身目前还存在许多不足之处,不能适用于带宽较低的网络环境。在讨论了虚拟桌面传输协议的原理以及影响虚拟桌面性能的因素的基础上,详细分析了SPICE协议的架构以及核心技术,指出目前SPICE协议的不足,并提出了保证QoE情况下的改进方案,对于当前桌面虚拟化技术的发展将起到一定的指导作用。

基于Web的工作流系统中表单定义与处理

描述了基于Web的工作流系统中的表单定义以及处理的规则。基于这些规则,用户可以自由定制应用在Web上的、基于HTML的表单,并灵活地控制表单的显示、数据项之间的运算以及工作流的处理逻辑。通过不同的规则组合,可以实现一系列复杂的功能,完全能够满足多分支、多路径的工作流系统对表单定义处理灵活性的要求。实践表明,文中提出的规则能够增强工作流系统的灵活性与可扩展性,可对构建功能更强大的办公自动化系统提供有力支持。