软件缺陷预测技术

软件缺陷预测技术从20世纪70年代发展至今,一直是软件工程领域最活跃的内容之一,在分析软件质量、平衡软件成本方面起着重要的作用.研究和讨论了软件缺陷预测技术的起源、发展和当前所面临的挑战,对主流的缺陷预测技术进行了分类讨论和比较,并对典型的软件缺陷的分布模型给出了案例研究.

基于模糊评价方法的软件质量评价研究

针对软件质量评价研究中的度量问题建立了基于ISO/IEC 912 6标准的软件质量指标体系模型 ,结合质量评价方法研究中的常见问题 ,运用指标体系模型和模糊数学方法对软件质量评价标准进行模糊化处理 ,以度量数据为基础 ,根据软件质量子特性和指标之间的关系 ,采用模糊综合评价方法评价子特性质量和特性质量 ,通过建立软件质量评价模型 ,有效地解决了软件质量的多指标评价问题 ,可用于指导用户进行软件过程改进。

软件过程建模方法研究

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20个会议和7种期刊的72篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3个问题,以便从总体上概括和把握该领域的研究:1)软件过程建模方法主要基于什么范式;2)软件过程建模方法研究的主要目的集中在哪些方面;3)软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题.

面向开发阶段的软件缺陷分类方法研究

提出一种面向开发阶段的软件缺陷分类方法Phase-DC,将缺陷和软件开发各阶段相关联,计算阶段及过程的缺陷排除有效性,并结合缺陷的类型和表现形式等详细信息分析开发过程的质量,以帮助软件组织促进并实施过程改进活动。通过实例说明了该方法在过程改进中的应用,并对方法的完备性、正交性和一致性进行了分析验证。

在线软件生态系统用户活跃度的经验研究

为了以更少的成本来满足用户的需求,软件公司开始借助第三方开发者建立软件生态系统。提出了度量软件生态系统的用户活跃度的问题,对软件生态系统用户活跃度进行建模,设计层级结构的指标体系。从研究系统层面的用户活跃度为主要目标,分析用户行为,把用户群体的行为作为活跃度的判定依据。定义软件生态系统的具体指标:应用吸引力,用户忠诚度,用户流动性等。进行了案例研究,基于大量用户行为数据,进行服务异常监控和趋势分析。

基于SA-CMM的邮政企业软件采购管理研究与应用

从采购方的角度出发,结合软件采购能力成熟度模型(Software Acquisition Capability Maturity Model),研究了邮政企业软件外包采购过程。在分析邮政企业软件外包采购过程特点和存在问题的基础上进行差距分析,并从过程体系规范、需求开发与管理、项目管理和配置管理等4个方面提出了改进办法。经初步验证后,取得较好效果。

软件成本估算方法及应用

软件成本估算从20世纪60年代发展至今,在软件开发过程中一直扮演着重要角色.按照基于算法模型的方法、非基于算法模型的方法以及组合方法的分类方式,全面回顾、分析了软件成本估算的各种代表性方法,也归纳讨论了与成本估算强相关的软件规模度量问题.在此基础上,进一步研究了软件成本估算方法的评价标准,并给出了一个应用实例及其分析.最后,从估算模型、估算演进、估算应用、估算内容、工具支持和人为因素6个方面,指出了软件成本估算方法下一步的主要发展趋势.

一种基于PDCA的软件过程控制与改进模型

CMM/CMMI(capabilitymaturitymodel/CMMintegration)自1999年开始为中国软件企业所接受并逐步得以推广,但目前中国实施CMM/CMMI的企业还不多,有些企业实施效果并不理想.通过调查软件企业在实施CMM/CMMI过程中存在的问题,并对发现的问题及其负面影响进行分析,提出了基于PDCA(plan-do-check-action)的软件过程控制与改进模型,开发了SoftPM软件质量管理平台.该平台的广泛应用表明,该模型对提高CMM/CMMI的企业软件过程的效率和改善实施效果很有帮助.

一种支持软件过程控制和改进的主动度量模型

提出了一种支持软件过程控制与改进的主动度量模型 AMM(active measurement model)和度量方法.模型形式化描述了软件过程的目标、特征和度量指标等关键元素以及相互间的关系,给出了确定软件过程度量的原则、方法和步骤.基于该度量模型,软件组织一方面可以依据确定的过程目标,主动导出合适的度量过程;另一方面还可以依据度量的结果,识别过程改进的机会,并主动导出过程改进的方向.为正确的决策和成功的结果提供有效的支持.

网络隐蔽信道关键技术研究综述

网络隐蔽信道是在网络环境下违反通信限制规则进行隐蔽信息传输的信息通道,为网络信息安全带来了新的挑战,也为数据传输的安全性和隐私性带来了新的研究方向.首先介绍了网络隐蔽信道的定义、分类、能力维度等基本概念;进而从码元设计、信息编码和信道优化这3个方面归纳分析了存储型和时间型两类网络隐蔽信道的构建技术,从隐蔽性、鲁棒性和传输效率这3个方面总结了网络隐蔽信道评估方法,从消除、限制、检测这3个方面梳理了网络隐蔽信道的对抗技术;最后,对未来的研究方向进行了展望.

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capabilitymaturitymodelforsoftware)的过程中面临最主要的障碍是如何将CMM软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型——SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UMLCASE工具操作CMM软件过程模型.

Web应用程序运行响应时间的实验研究

性能测试是保证Web应用程序成功的重要手段 ,但是如果不能采用正确的方法测试或者不能完全理解测试结果对测试环境的依赖性 ,那么测试结果很可能会起误导作用 响应时间则是性能的一个重要指标 ,特别是从用户的角度来看 因此进行了一系列探索性的实验来研究Web应用程序运行响应时间的特性 ,用统计的方法对实验结果做了分析 ,发现Web事务的响应时间和用户数之间呈线性关系 。

挣值法在软件项目成本和进度监控中的应用

针对软件项目存在“产品进度延误,费用剧增”的问题,以挣值法作为理论基础,结合软件项目的开发过程,通过应用挣值法的计划投资额、实际投资额、完成投资额三个关键中间变量,费用偏差、进度偏差二个差异分析变量指标和成本偏差率、进度偏差二个指标变量的指标统计分析软件项目成本花费、进度执行情况,为软件项目成本、进度的联合监控提供依据,使项目管理工作目标清晰,过程控制高效有序,从整体上良好地把握了软件项目的运行状态,实现了对软件项目成本和进度的监控。

计算机取证的相关法律技术问题研究

法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计据的技术特征及其获取技术.由于这一学科是建立在法学和计算机科学之上的交叉学科,必须从这两个学科及其派生学科上体现出的特殊性的角度对其进行研究.在这一领域把法律和技术分离的做法会导致法律认定上的错误和技术上的无序性.通过将法律和计算机技术相结合对计算机取证进行了研究.阐明了计算机取证的相关法律问题,重点研究了计算机取证的技术方法和工具,并给出了一个计算机取证实验的技术过程.提出了目前计算机取证相关法律法规和计算机取证技术的不足,指出了今后法律法规的进一步健全、计算机取证工作的规范化和计算机取证技术的发展趋势.

一种基于组织实体能力的软件过程建模方法

提出了一种基于组织实体能力的软件过程建模方法(organizational entity capabilities based software process modeling method,简称OEC-SPM),针对软件过程的特殊性,将具有确定能力的组织实体定义为建模过程中的核心要素和基本单元——过程Agent(过程主体).过程Agent根据其自身的目标、知识、经验和能力,在确定的项目目标和约束环境下,通过主动和自治的行为推理,生成具体的软件开发过程和生产过程,为软件项目开发提供正确的决策和有效的支持.该方法由于在建立软件过程时充分考虑过程执行者完成目标的能力,使建立的过程具有良好的可预见性,具备过程稳定执行的前提,因此从根本上解决了软件过程不稳定、难以控制等问题.

主成分分析和聚类分析在软件重构中的应用

重构是软件系统不断演化的关键之一,也是一项复杂而又困难的活动。传统的定位重构代码方法依赖开发者的观察和主观意识,耗时耗力,尤其在重构代码较多时。因此,提出了一套自动化定位重构的方法。该方法利用基于面向对象软件度量指标获取代码特征信息,使用相关性检验查验特征信息数据,应用主成分分析压缩和解释特征信息,应用聚类分析分类相似代码段,迅速准确定位重构。一个简单的实例表明该方法是简单有效的,并且优于传统方法。

一种形式化的组件化软件过程建模方法

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.

一种用于软件过程建模的适应性Agent协商

大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、适应地建立针对给定软件项目的软件过程模型.AMNM-PA基于非静态有限阶段Markov决策过程,采用模型无关的Q学习算法选取协商策略,因此能够支持动态、非预知环境下的适应性协商,从而满足软件过程建模对环境的适应性需求.AMNM-PA已经实施于软件过程管理系统——SoftPM.

软件工作量最优线性组合估算方法

软件工作量估算的方法和技术众多且各有千秋,没有一种方法被证明在各种情况下的估算都是最精确的。组合估算是一种非常有效的估算方法,它避免了选择单一的最优估算方法这一难题,而是充分利用各种估算方法提供的信息来达到提高估算精确度和稳定性的目的。将系统的"外部"组合预测方法介绍到软件工作量估算领域,基于最具代表性的组合估算方法:最优线性组合方法,提出了软件工作量估算的最优线性组合方法,该方法中即使是估算效果"较差"的技术或者方法也能为估算精度和稳定性的提高做出贡献。

风险驱动的软件项目缓冲分配方法

提出一种风险驱动的项目缓冲分配方法,并开发了相应的项目模拟执行工具对方法进行验证.方法旨在通过综合考虑软件项目的风险因素、任务之间的进度约束和资源约束对项目的可用缓冲进行合理分配.模拟实验的结果表明,在风险较高的软件开发项目中,该方法相对于关键链项目管理中尾部集中的项目缓冲分配方法,可确保在对项目平均执行工期产生较小影响的同时,显著降低项目执行时计划变更的发生频率.该缓冲分配方法与项目模拟工具可以帮助软件项目经理确定合适的项目缓冲时间长度以及缓冲分配方案,进而提高软件项目计划的可信性和执行的稳定性.