国家高技术研究发展计划(2012AA011202)
- 作品数：11 被引量：43H指数：3
- 相关作者：赵文耘彭鑫沈立炜林云赵欣更多>>
- 相关机构：复旦大学北京大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- OKQA:一个基于本体的软件开发知识QA工具
- 2013年
- 近年来,软件开发模式逐渐从经验驱动的手工构造模式到知识驱动的自动生成模式进行转换,而在知识驱动的软件开发过程中,QA工具可以帮助开发人员更好地理解项目源代码。一般的,开发人员往往需要阅读大量文档、并对软件项目代码进行静态分析,利用某种形式化的查询方法才能获取软件项目的相关信息,这增加了软件开发的时间成本和学习成本。基于该问题,实现了一个基于本体的软件开发知识QA工具OKQA,OKQA可以支持开发人员的自然语言查询输入,帮助开发人员找到理解软件代码的相关答案,从而有效地指导开发人员理解及复用软件代码。
- 宋怀达李萌赵俊峰金靖谢冰
- 关键词：知识驱动本体软件开发
- 面向设计层次优化的软件自动化重构被引量：5
- 2017年
- 目前许多研究人员对自动化软件重构进行了探索并开发了一系列重构工具,旨在帮助程序员更高效地完成软件重构任务、提升代码质量。然而,现有的软件重构工具多侧重于局部的设计或编码问题,而非设计层面的问题。另一方面,基于搜索的重构方法往往将改进某一项代码度量指标作为重构目标,而非面向软件的层次化设计。针对这种情况,提出一种新的基于搜索的软件自动化重构方法,该方法使用了基于设计结构矩阵(DSM)的软件模块层次化度量方法,能够自动生成可以得到最优软件模块化设计的重构建议。在此基础上,实现了自动化重构工具DSMRefactoring,并将DSMRefactoring应用于开源系统进行案例研究,初步验证了方法和工具的有效性。
- 高东静林云林云赵文耘
- 关键词：软件设计模块化
- 一种基于调用链分析的特征定位方法被引量：3
- 2014年
- 为了完成各种软件维护任务,如纠正错误、改进原有功能、添加新功能,开发人员经常需要确定需求特征与代码的对应关系。这种确定源代码中与给定需求特征相关的程序元素的过程称为特征定位。现有的特征定位方法主要根据用户提出的需求,在源代码中搜索相关的代码元素推荐给用户。然而这些零散的元素之间不具备任何关联,用户仍然需要人工地挖掘元素间的关系,来了解代码元素是如何相互配合、实现特定功能的。而通过与数据传递相关的方法调用链可以改进特征定位的实践方法。该方法能分析源代码,获取到所有的与数据传递相关的方法调用链,然后将根据用户提供的相关需求的关键字找到相关的调用链,推荐给用户。这种调用链不再是零散的代码元素,它能够反映出特定功能实现的流程,也能够更好地帮助用户理解程序。基于该方法实现的Eclipse插件工具已经在JEdit项目上进行了测试。结果显示该工具给出的推荐结果平均查准率可达55%。
- 付焜钱文亿彭鑫赵文耘
- 关键词：ECLIPSE插件
- P_MOEA:一种多目标决策辅助遗传算法用于服务组合QoS优化被引量：9
- 2013年
- 在服务组合场景下,SLA约束下的服务组合优选是实现服务质量管理的重要基础之一.服务组合优选既是一个组合优化问题同时也是多目标决策问题,需要高效的算法以支持大规模的候选组合方案集合,同时也需要有效的评价模型来明确定义候选方案的优劣程度,从而为决策者提供支持.现有的服务组合优选方法多基于两种模型定义其优化目标:线性效用函数和Pareto最优.前者需要量化权重配置以定义效用函数,但是对于用户来说精确的量化权重配置是一个非常困难的任务,特别是在涉及到的QoS维度较多时;后者无需权重配置,将Pareto最优的skyline集合作为优化结果返回给用户,然而skyline集合的规模是不可控的,最优结果集的规模会随着问题的规模增大而显著增大,过大的最优结果集显然难以为决策者提供有效参考.针对上述传统方法的不足,在本文中,我们将PROMETHEE方法引入服务组合优选问题,结合Pareto和PROMETHEE两种评价模型,将skyline集合基础上的Top-k PROMETHEE最优方案作为优化目标,提出并实现了一个高效的遗传算法:PMOEA.算法可以针对大规模问题,高效地返回Top-k PROMETHEE最优组合方案集合,从而为进一步的决策提供有效的参考.我们实验验证了算法的效率和有效性.
- 赵欣沈立炜彭鑫赵文耘
- 关键词：服务质量服务等级协议PROMETHEEPARETO优化多目标遗传算法
- 软件产品线测试中具有优先级的特征配置生成方法被引量：1
- 2015年
- 在软件产品线(SPL)中,尽早针对领域工程中核心资产及其组合进行测试是保证软件产品线成功的必要手段.采用特征驱动(feature-driven)方法,可以从业务视角对可变点进行组合及测试,能够尽早发现潜在的由特征交互引起的软件错误.组合交互测试(CIT)是避免组合数量爆炸问题的一种抽样技术.但生成的特征配置应该进一步地基于优先级排序来帮助合理分配有限的时间和经费.提出一种面向产品线集成测试,具有优先级的特征配置生成方法.其核心算法遵循CIT技术,且基于成对组合测试覆盖标准.此外,生成的特征配置还会基于其对SPL测试的重要度排序.该方法作用于一个标记了优先级的特征模型,包含特征模型扁平化、配置模型转化、约束推导和P-AETG算法执行活动.我们通过一个在线考试产品线验证了此方法的有效性;并通过SPLOT网站上提供的特征模型对此方法进行性能和有效性的评估.
- 杨宇沈立炜林云彭鑫赵文耘
- 关键词：软件产品线
- 普适计算环境中的社会技术系统自修复技术研究被引量：1
- 2015年
- 传统自适应系统考虑的主要是软件系统内部的协调,譬如参数的重新配置,软件体系结构的重组等。而普适计算环境下的社会技术系统不仅包含软件,而且还包含硬件(如传感器、RFID等)和人类行为等其他系统元素。这种社会技术系统具有开放性和动态性的特点,其整体的行为具有很强的不确定性,因此需要通过持续的运行时自适应调整减少系统的失效。针对此问题,在前期工作基础上提出一种普适计算环境下社会技术系统的自修复技术方案,并基于Java和Arduino平台进行开发和实现。该方案根据用户需求和环境的变化,结合需求目标模型和运行时上下文管理,接入和事件映射方案以及ad hoc环境下服务检索的选取方案,使系统按照预期的目标运行。实验结果表明,社会技术系统在环境和人的行为变化的情况下,当系统运行偏离预期目标时,可以依据传感器等监控到的环境数据和服务器中的策略自主修复系统以使系统达到目标,满足用户和系统需求。
- 陈旭彭鑫赵文耘
- 关键词：自修复普适计算
- 软件产品线领域模型与应用模型的通用同步演化方法被引量：3
- 2015年
- 领域模型与应用模型保持一致的同步演化对于软件产品线的长期发展至关重要.然而,为不同类型的模型分别开发同步机制可能成为冗余且容易出错的工作.因此,提出一种软件产品线领域模型与应用模型的通用同步演化方法.该方法的核心是一个被称为SPL-GSync的基于模型的通用同步框架.框架涵盖一个通用元模型,能够通过一种通用的描述方式表示不同种类的产品线模型的内容,尤其是领域模型所包含的可变性.基于该元模型,定义了一套可复用的同步规则集.只需开发不同类型的模型与通用模型的双向转换程序,SPL-GSync便能有效实现不同类型的领域模型与应用模型之间的一致性同步.另外,SPLGSync已被实现为遵循C/S架构的软件工具原型,本文使用该工具以特征模型间的同步实例展现方法的有用性.
- 丁宝宝沈立炜彭鑫赵文耘
- 关键词：软件产品线
- 基于AJAX的Web应用构件组装技术及工具被引量：18
- 2014年
- 基于构件的软件开发方式能够有效提高Web应用的开发效率,它所涵盖的构件组装技术涉及到Web应用的前端页面与后端业务逻辑或第三方服务之间的组合。在分析Web应用的构件类型及其组装方式的基础上,提出了一套基于AJAX的Web应用构件组装技术,该技术尤其关注于前端页面构件与后端业务构件以及Web Service构件之间的自动化组装,包含两种具体的组装实现模式,即采用jQuery调用Servlet的实现模式以及采用DWR技术的实现模式,它们为页面构件提供其与服务端构件交互的能力。另外,这两种组装模式已分别实现为两套在线的Web应用构件组装工具,均支持用户通过图形化的方式定义构件的连接关系,并根据不同模式自动组合构件实体单元来生成Web应用系统。以一个实验性选课网站作为应用开发实例,以验证技术与工具的有用性。
- 郑迪文沈立炜彭鑫赵文耘
- 关键词：构件组装技术WEB应用AJAX
- 基于Web的多刻面交互式特征定位工具MFIE被引量：1
- 2014年
- 在执行软件维护任务中,开发人员经常需要在软件代码中寻找并理解与给定的功能性特征相关的程序元素(如类或方法),这一过程称为特征定位或概念定位。相关的经验研究表明,特征定位是一个以人为中心、信息密集型的探索和认知过程,包含交互式的信息探索、反馈和策略调整。基于这一思想,提出了一种多刻面、交互式的特征定位方法,并开发了基于Web的支持工具MFIE(Multi-faceted Interactive Explorer)。介绍了MFIE所实现的多刻面、交互式特征定位方法,MFIE的多刻面界面设计以及所提供的主要功能。在此基础上,还通过一个案例介绍了MFIE所支持的特征定位过程。
- 彭鑫王金水付焜赵文耘
- 关键词：WEB
- 一种基于需求追踪的Web应用测试脚本修复方法被引量：2
- 2015年
- 自动化测试技术通过测试脚本使测试人员无需重复耗时乏味的手工黑盒测试。然而随着软件界面的演化,通常会导致基于界面元素的测试脚本失效,测试人员不得不手工检测和修复失效的脚本。提出一种基于需求追踪的测试脚本修复方法,辅助追踪界面元素的演化的影响范围。分析Web应用中常见的容易导致测试脚本失效的界面元素演化类型,针对每种类型给出在模型框架下QTP软件测试脚本修复规则。在此基础上,开发了一个自动修复失效脚本工具,通过一个案例,展示了该方法的可行性。
- 张海攀吴毅坚赵文耘
- 关键词：自动化测试
