《软件学报》

作品数：7958被引量：92722H指数：118
导出分析报告
《软件学报》
主办单位：中国科学院软件研究所;中国计算机学会
最新期次：2025年3期更多>>
发文主题：英文数据库征文通知人工智能神经网络更多>>
发文领域：自动化与计算机技术电子电信理学文化科学更多>>
发文作者：冯登国吴建平李建中谢立梅宏更多>>
发文机构：中国科学院软件研究所清华大学中国科学院南京大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 作者=魏峻x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
FineFlow:FaaS工作流部署优化与执行系统
《软件学报》2025年第2期488-510,共23页刘璐 高浩城 陈伟 吴国全 魏峻 
国家重点研发计划(2021YFB2600301);中国科学院软件研究所重大项目(ISCAS-ZD-202302)。
FaaS(function-as-a-service,函数即服务)工作流由多个函数服务编排而成,通过对多个函数的协调控制来实现复杂的业务应用.当前FaaS工作流系统主要基于集中式的数据存储实现函数间的数据传递,导致FaaS函数间的数据传输开销大,显著影响应...
关键词：FaaS工作流 函数即服务 服务器无感知计算 数据本地性 有向无环图 关键路径 部署优化 
基于TLA+形式化规约的Raft协议测试
《软件学报》2024年第12期5363-5381,共19页王栋 窦文生 高钰 吴陈傲 魏峻 黄涛 
国家自然科学基金(62072444,62302493);国家自然科学基金联合基金(U20A6003)。
Raft是最为流行的分布式共识协议之一.自2014年被提出以来,Raft协议及其变体在各种分布式系统中被广泛应用.为了证明Raft协议的正确性,开发者使用TLA+形式化规约对协议设计进行了建模和验证.但由于抽象的形式化规约与实际的系统实现源...
关键词：RAFT 分布式系统 软件测试 模型检查 
共用数据导向的分布式系统失效恢复缺陷检测被引量：1
《软件学报》2023年第12期5578-5596,共19页高钰 王栋 戴千旺 窦文生 魏峻 
国家自然科学基金(62072444,61732019);中国科学院前沿科学重点研究项目(QYZDJ-SSW-JSC036);中国科学院青年创新促进会(2018142)。
分布式系统的可靠性和可用性至关重要.然而,不正确的失效恢复机制及其实现会引发失效恢复缺陷,威胁分布式系统的可靠性和可用性.只有发生在特定时机的节点失效才会触发失效恢复缺陷,因此,检测分布式系统中的失效恢复缺陷具有挑战性.提...
关键词：失效恢复缺陷 缺陷检测 故障注入 失效恢复 分布式系统 
面向大数据处理框架的JVM优化技术综述被引量：6
《软件学报》2023年第1期463-488,共26页汪钇丞 曾鸿斌 许利杰 王伟 魏峻 黄涛 
国家重点研发计划(2017YFB1001804);国家自然科学基金(61802377);中国科学院青年创新促进会。
当前,以Hadoop、Spark为代表的大数据处理框架,已经在学术界和工业界被广泛应用于大规模数据的处理和分析.这些大数据处理框架采用分布式架构,使用Java、Scala等面向对象语言编写,在集群节点上以Java虚拟机(JVM)为运行时环境执行计算任...
关键词：大数据系统 JAVA虚拟机 分布式系统 自动内存管理 
REST API设计分析及实证研究被引量：16
《软件学报》2022年第9期3271-3296,共26页周芯宇 陈伟 吴国全 魏峻 
国家重点研发计划(2017YFB1400602);国家自然科学基金重点项目(61732019);并行与分布处理国防科技重点实验室基金一般项目(61421102000402)。
REST API已成为访问和使用Web服务的重要途径,为开发基于服务架构的应用系统提供了可复用接口.但是,REST API的设计质量参差不齐,因此有效、合理的设计指导规范对于规范和提高REST API设计质量具有现实意义和应用价值.首先,基于REST AP...
关键词：REST API 设计指导规范 分类体系 API描述文档 实证研究 
面向领域的软件系统构造与质量保障专题前言
《软件学报》2021年第4期887-888,共2页潘敏学 魏峻 崔展齐 
软件是推动新一代信息技术发展的驱动力.随着互联网、云计算、人工智能等技术的快速发展,软件与物联网、区块链、自动驾驶等众多领域的融合进一步加强,正引领并促进这些领域向数字化、智能化发展,为社会、经济的加速演进和创新发展带来...
关键词：软件技术 面向领域 人工智能 区块链 云计算 物联网 软件系统 质量保障 
一种基于录制/重放的Android应用众包测试方法被引量：1
《软件学报》2020年第8期2508-2529,共22页曹羽中 吴国全 陈伟 魏峻 黄涛 王溯 
国家重点研发计划(2017YFA0700603);国家自然科学基金(61472407);北京城市学院科研种子基金(KYZZ201801);北京城市学院2018年度实培计划。
随着Android设备的流行和普及,Android生态系统的碎片化问题越发严重.为了确保应用质量,Android应用需要在多种设备上进行测试.为了应对大量重复机械的测试工作,学术界和工业界提出了众多跨设备的测试方法,但目前的方法还有较多的局限性...
关键词：安卓 众包测试 碎片化 自动化测试 录制 重放 
面向大数据分析作业的启发式云资源供给方法被引量：13
《软件学报》2020年第6期1860-1874,共15页吴悦文 吴恒 任杰 张文博 魏峻 王焘 钟华 
国家重点研发计划(2017YFB1400804);北京市自然科学基金(4182070);蚂蚁金服科研基金(XZ502017000730);中国科学院青年创新促进会人才专项(2018144)。
云计算已成为大数据分析作业的主流运行支撑环境,选择合适的云资源优化其性能面临巨大挑战.当前研究主要考虑大数据分析框架(如Hadoop,Spark等)的多样性,采用机器学习方法进行资源供给,但样本少容易陷入局部最优解.提出了大数据环境下...
关键词：大数据分析 云计算 启发式 云资源供给 贝叶斯优化 
数据驱动的软件智能化开发方法与技术专题前言被引量：3
《软件学报》2018年第8期2177-2179,共3页谢冰 魏峻 彭鑫 孙海龙 
当今社会软件无所不在，追求高质量和高效率的软件开发是软件工程研究的核心目标．软件开发经历了从结构化方法、面向对象方法到网络服务化，逐步向基于互联网和开源模式构造的方法发展．软件开发工具与环境也是伴随着开发方法不断更替...
关键词：软件开发工具 软件智能化 数据驱动 协同开发环境 专题 技术 面向对象方法 结构化方法 
虚拟化环境下面向多目标优化的自适应SSD缓存系统被引量：6
《软件学报》2017年第8期1982-1998,共17页唐震 吴恒 王伟 魏峻 黄涛 
国家重点研发计划(2016YFB1000103);国家自然科学基金(61572480);中国科学院青年创新促进会(2015088)~~
以SSD(solid state drive)为代表的新型存储介质在虚拟化环境下得到了广泛的应用,通常作为虚拟机读写缓存,起到优化磁盘I/O性能的作用.已有研究往往关注SSD缓存的容量规划,依据缓存读写命中率评价SSD缓存分配效果,未能充分考虑SSD的服...
关键词：固态盘 缓存 虚拟化 动态迁移 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部