陈伟
- 作品数：75 被引量：116H指数：7
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中国科学院“百人计划”更多>>
- 相关领域：自动化与计算机技术农业科学文化科学电子电信更多>>
- 软件系统配置研究综述被引量：1
- 2021年
- 随着软件系统规模和复杂度的不断提升,软件配置已经成为软件工程领域中的一个重要话题.大量、复杂的配置项为正确使用软件系统带来了极大的困难,例如,配置错误会影响系统性能,并带来严重损失.软件系统配置技术得到广泛关注,并取得了众多的研究成果.本文对软件配置领域的研究现状和主要成果进行分析和综述.文章首先提出了基于软件生命周期和技术手段两个维度的软件配置相关工作分析框架,然后基于该框架对当前主要研究成果进行分类总结和分析评价,最后总结软件配置领域的工作特点,探讨未来可能的研究热点,对于今后该领域的深入研究具有一定借鉴意义.
- 陈艳叶宏杰陈伟
- 关键词：配置管理软件生命周期
- 一种软件生产线构造方法及系统
- 本发明公开了一种软件生产线构造方法及系统，属于计算机软件领域。本方法为：1)客户端创建软件生产线模型文件并将其保存到服务器端；2)客户端装配模块从服务器端下载并解析该软件生产线模型文件，获得该软件生产线中的角色信息；3)...
- 魏峻钟华黄涛王伟高楚舒窦文生白琳张若定陈伟
- 文献传递
- 一种面向物联网服务的智能编排方法和装置
- 本发明涉及一种面向物联网服务的智能编排方法和装置。该方法包括以下步骤：获取用户对服务编排规则的描述语句；判断所述描述语句中的子句的类型；根据所述描述语句中的子句的类型，对子句进行依存句法分析，得到子句中的关键词及关键词之...
- 陈伟徐少鹏吴国全魏峻
- 文献传递
- 面向按需供给的资源需求滤波估算方法被引量：2
- 2014年
- 随着按需供给资源使用模式的推广,软件的资源需求已成为资源优化控制的重要属性.监测和估算是目前常用的资源消耗获取方法,但监测工具难以在运行时准确度量短任务的资源需求,回归分析方法又因受到多元共线性和不确定性因素的影响,导致其取值精度下降.本文提出了一种基于Kalman滤波的资源需求估算方法.该方法建立了可度量属性集与不可度量的资源需求间的关联,并利用滤波过滤度量过程中的噪声,达到降低估算误差的目的.基准测试的结果表明,通过合理的设置滤波参数,本方法能够快速逼近真实值,且平均误差小于8%.
- 黄翔陈伟宋云奎陈志刚
- 关键词：资源需求滤波
- 一种Dockerfile基础镜像版本信息自动补全方法和装置
- 本发明涉及一种Dockerfile基础镜像版本信息自动补全方法和装置。该方法包括：建立满足基础镜像版本号规范的Dockerfile集合，对其中的每个Dockerfile提取其基础镜像和版本号信息；给定待修复的Docker...
- 陈伟朱家鑫吴国全周家宏魏峻
- 文献传递
- 基于模型的云应用动态配置框架被引量：2
- 2017年
- 云应用是云计算技术在应用层的一种重要体现形式,通常由分布式异构组件构成,且组件相互依赖,配置参数众多。组件依赖导致配置参数间存在关联,使应用运行时弹性扩展难以确定组件实例的配置顺序并保证关联参数的一致性,导致应用扩展后的系统故障和服务不可用。针对这一问题,提出了一种基于模型的云应用动态自配置方法,实现运行时组件实例配置顺序的自动协调,保障配置参数的一致性,提高应用运行时弹性扩展的可靠性。首先提出一种部署配置模型STM(Service-based Topology Model),该模型采用声明式的方法刻画云应用的部署拓扑结构,并基于服务的方式描述组件信息,实现组件间关联关系的分离,涵盖运维部署、扩展、运行时服务状态的监测。然后基于该模型,提出了一个云应用动态自配置协议,其基于服务注册发现机制实现组件间强依赖关系的解耦,保证动态调整应用实例时组件配置变化的一致性,实现组件部署配置的并行化。基于上述方法实现了一个原型系统,通过对分布式应用BookStore-TPCW的部署配置和运行时弹性扩展来验证方法的有效性。
- 梁超超陈伟魏峻许舒人
- 关键词：自配置
- 一种REST API设计质量评估方法
- 本发明公开了一种REST API设计质量评估方法，其步骤包括：1)建立一套RESTful规范体系；2)获取或构建API说明文档数据集，并按照API类别信息对文档分类，得到多个领域数据集；3)解析每一API说明文档，提取该...
- 陈伟吴国全魏峻周芯宇
- 文献传递
- 一种FaaS服务运行环境自动构建方法
- 本发明公开了一种FaaS服务运行环境自动构建方法，其步骤包括：1)基于获取的Dockerfile文件建立Docker领域知识图谱KG；2)对于一程序片段P，根据其使用的编程语言和声明的引入语句获取需要安装的软件包集合S；...
- 陈伟王伟黄涛魏峻叶宏杰
- 文献传递
- 基于C++映射的TTCN－3测试系统及测试方法
- 本发明提出了一种基于C++映射的TTCN-3测试系统及测试方法。该测试系统及其测试方法基于TTCN-3的C++映射标准，通过语言转换器将TTCN-3测试用例转换成语义相等的C++测试用例，并在TTCN-3运行环境进行编译...
- 赵琛潘远明陈伟薛云志杨宗奎孙丽霞
- 文献传递
- 一种基于时间自动机的实时系统测试方法被引量：19
- 2007年
- 基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.
- 陈伟薛云志赵琛李明树
- 关键词：测试用例生成
