pengxin_ce的博客

转载 人机物融合智能化系统基础软件初探 | CCCF精选

当前，我们已经进入一个以生成式人工智能与人机物融合为主要特征的万物智能互联时代，由此产生的人机物融合智能化系统及应用需要新型基础软件支撑。在资源管理方面，需要将云计算的思想拓展到人机物三元空间，以“软件定义”的方式实现人机物资源的云化管理和按需供给。在模型推理方面，需要面向多场景及异构算力集成不同规模和领域的AI模型，支持混合部署及差异化的推理服务质量要求。在应用框架方面，需要以大模型智能体为基础实现人机物资源及相关软件服务的按需组合以及用户任务的可信规划与执行。本文在阐述相关背景的基础上，针对以上三个方面

原创 神经符号融合系统趣谈——“抢红灯”遇上“理性脑”

它更像是打造一个有血有肉、筋骨相连的有机体：神经网络模型是跳动的心脏，而数据处理的血管、逻辑判断的筋骨、风险控制的免疫系统，共同构成了支撑其稳健运转的完整系统。如果在信号灯熄灭的关键一秒，它的“直觉”恰好失灵了呢？它在系统层面，为“快思考”的感知和“慢思考”的决策画出清晰的边界，为驾驭AI这匹“野马”套上了理性的缰绳。在Google那篇著名的论文《机器学习系统的隐性技术债》中，一张图一针见血地指出了真相：在一个真实的AI系统中，核心的机器学习代码（那个进行直觉判断的“黑箱”），仅仅是冰山一角。

原创 驰骋！复旦大学计算与智能创新学院CodeWisdom团队亮相首届Hitch Open世界AI赛车竞速锦标赛

在ICSE、FSE、ASE、ISSTA、CCS、WWW、TOSEM、TSE以及中国科学、软件学报等国内外高水平会议与期刊上发表论文100余篇，10余次获得高水平会议与期刊最佳论文奖。实验室长期从事软件工程方法、系统软件技术以及软件技术产业化应用等方面的研究和实践工作，当前主要围绕数据驱动的软件智能化开发与运维、智能化系统中的软件工程和系统工程问题开展研究，同时关注于国产基础软件以及智能汽车、智能机器人、工业软件系统等新型泛在计算软件系统。，旨在征服地球上最壮观、最极限的山道。

原创 复旦大学计算与智能创新学院CodeWisdom团队获ACM SIGSOFT Distinguished Paper Award

无人机飞行控制程序中的PID（比例-积分-微分）控制器是维持其稳定飞行的核心，但其P、I、D三个关键参数常需用户手动配置。然而，飞行控制程序在飞行过程中普遍缺乏对用户输入参数的有效安全校验，错误的参数配置会引发严重的安全漏洞，即“输入验证错误”，极易导致无人机偏离预定航线、失控甚至坠毁，造成严重的安全风险。此次获奖的 RouthSearch 方法融合了经典控制理论与先进软件测试技术，针对无人机参数配置中的风险问题，提出了一套自动化、高精度的解决方案，为 CPS 系统的可信保障提供了有力支撑。

转载 AI都会写代码了，还要不要报考计算机专业？！

6月30日晚上8点，彭鑫、王昊奋、茹炳晟三位专家线上答疑解惑！

转载 氛围编程上头，工程实践下头：自然语言编程的真问题

Bolt.new支持在原有应用上进行增量开发维护，但这样的开发实际上缺少对软件全局的视野，这使得它意识不到新开发的功能实际不可用（例如没有注册不可能社交），也没有建立起新功能和原有功能的逻辑关系（例如学习挑战的进度不会随着学习而更新），归根结底，这样的迭代开发只是在错上加错，终究会导致程序的崩溃。尽管不符合我们开发安卓应用的目的，我们依然尝试了使用这些工具以Web应用形式开发，在这个规模较小的应用上，这些商业工具确实开发出了实现所有需求的Web应用，展现出其出色的项目级别代码能力。

原创 代码数字孪生：回归软件的复杂系统属性

其具体含义是，大量的代码修改都是在当时当地的现实约束下（如特性上线时间、资源约束以及可靠性影响最小化等），由一些仅具有局部视野（不了解或者也不愿意去了解更大范围内的系统设计）和有限责任心（或者在上线时间等现实压力下的无奈屈服）的软件工程师来实施的。由此还会积累大量的技术债（死代码、重复代码、非必要的耦合等问题比比皆是），并形成一个难以理解和维护的遗留系统（业界经常用“屎山代码”这样不雅的比喻），即使是业界闻名的成功产品背后也是如此。企业软件开发中的维护型任务的一个主要问题在于知识的缺失。

转载 救命！Cursor写的代码总飘着一股“粪围感”

关键的转折点在于工程师的深度介入：笔者通过深入理解代码的实现逻辑，精准提供了修复所需的关键信息，最终引导Cursor成功修复了错误。通过工程师的深度领域知识、清晰的设计主导权、严格的审查流程以及对AI任务/上下文的精准控制，我们能有效祛除“粪围感”，将AI这个强大的“智能副驾驶”转化为软件工程实践中的可靠助力。转折点在于深入学习和实践：当笔者系统掌握了静态分析知识，并对任务目标有了反复的、更清晰的认识之后，才真正具备了有效驾驭AI的能力，能够精准评估、修正和优化其输出，跳出了此前的恶性循环。

转载 活动预告｜CodeWisdom 软件智能化开发与运维系列学术报告 第17期：彻底改变大规模系统的质量保证

复旦大学江湾校区二号交叉学科楼A2003。5月23日 周五下午 15:00。会议号：389 246 182。

转载 活动预告｜学术报告：自然语言驱动编程时代的质量保证

2025年5月14日（周三）14:00-15:00。报告人：Sergey Mechtaev。会议号：595-370-506。会议密码：325766。

转载 智能化软件开发微访谈·第三十八期 Agent进化论：大模型驱动的智能应用创新

CodeWisdomAgent进化论：大模型驱动的智能应用创新·微访谈背景介绍 当前，人工智能正从“工具赋能”迈向“原生智能”的新阶段，以LLM（大语言模型）为基座的AI Agent技术成为重构人机交互范式的核心引擎。AI 原生应用已不再局限于简单的功能叠加，而是通过自主决策、动态规划和多模态理解能力，深度融入用户场景。从AutoGen提供的多智能体（Multi-Agent）协作范式，到 Manus等平台探索的模块化Agent设计思路，再到Responses API所实现的高精度意图解析与上下文控制，

转载 Agent进化论：大模型驱动的智能应用创新

一、从LLM到LLM Agent 当提到“大模型”时，你首先会联想到什么？是 DeepSeek 还是 GPT系列？或许你会问，人工智能早已存在，曾经也可以进行人机对话，那么，为什么如今“大模型”这么火？它到底与传统的人工智能有何不同？ 大模型，顾名思义，是指那些具有海量参数和复杂计算结构的机器学习模型。我们一般说的“大模型”其实是指“大语言模型”（Large Language Model，LLM）。相比传统人工智能的应用，大模型的爆发性进展体现在其超大规模的训练数据和参数，使其能够模拟出类似人类

转载 活动预告｜CodeWisdom 软件智能化开发与运维学术系列报告 第16期：大模型时代下移动计算范式变迁

主要研究领域为移动/边缘计算和系统软件，近些年专注于边缘场景下的机器学习系统构建与优化，相关成果发表于ACM MobiCom/MobiSys/ASPLOS /IEEE TMC/软件学报等国内外顶级会议期刊，获USENIX ATC 2024最佳论文奖。大语言模型（LLM）及相关多模态变体正在彻底改变移动设备的能力，有望将移动计算产业和学术研究带向下一个黄金时代。相较传统端侧智能算法，大模型赋能移动设备不仅是智能能力的提升，而是对应用-系统-硬件的全栈整合，是对人机交互、系统设计、软硬协同的整体范式颠覆。

转载 智能化软件开发微访谈·第三十八期Agent进化论：大模型驱动的智能应用创新-活动预告

获得上海市“晨光计划”人才计划、复旦大学“卓越2025”人才培育计划等支持，获得钱伟长中文信息处理科学技术一等奖、汉王青年创新一等奖、上海市科技进步二等奖、教育部科技进步二等奖、ACM 上海新星提名奖、IBM Faculty Award等奖项。相关的开发、测试、运维以及安全、隐私和可靠性保障等方面面临着什么样的新的问题和挑战？曾就职于中国科学院，主持研制全行业事理图谱、360百科图谱、知识图谱平台、360版式分析模型等项目，360智脑大模型前核心成员，申请发明专利十余项、论文数篇，对外开源项目70余项。

转载 2025（上海）服务机器人产业创新峰会暨长三角智能机器人生态论坛

2025年4月2日13:00-17:30在上海新国际博览中心N3馆---浦东新区龙阳路2345号。2025（上海）服务机器人产业创新峰会暨长三角智能机器人生态论坛将于。《神经符号融合的智能机器人系统：探索个体自主与协作规程的黄金分割点》“AI赋能服务机器人—应用创新与全球化发展”彭鑫老师将作分享报告。

转载 2025全国高校计算机类课程教学高峰论坛日程

（教育部高等学校计算机类专业教学指导委员会委员兼副秘书长，国防科技大学计算机学院教授、国防科技大学教学督导组组长）、（教育部高等学校计算机类专业教学指导委员会委员兼副秘书长，国防科技大学计算机学院教授、国防科技大学教学督导组组长）（国家教学名师奖获得者，教育部高等学校计算机类专业教学指导委员会委员，浙江工业大学教授）（教育部长江学者特聘教授，复旦大学计算机科学技术学院副院长、教授）大会主持人：蒙祖强（广西大学计算机与电子信息学院副院长、教授）主持人：郑嘉利（广西大学计算机与电子信息学院副院长、教授）

转载 “机器人多场景协同与智能化调度技术”研讨会在复旦大学举行

2025年3月7日，复旦大学CodeWisdom团队参与组织的“机器人多场景协同与智能化调度技术”研讨会在复旦大学计算机科学技术学院（江湾校区二号交叉学科楼）成功举行。 大模型与视觉、感知、控制、电机等技术的进步正在推动具身智能与机器人产业的迅猛发展。清洁、送餐、安保、仓储、物流等服务机器人产品已经得到广泛应用，而近期人形机器人又成为新的行业热点。然而，目前得到广泛应用的主要还是单一用途的机器人，功能有限、场景单一；而人形机器人当前的应用还局限在表演、接待、导览等少量场景中，更多的应用潜力还处于研究和

转载 Claude 3.7与DeepSeek R1软件开发能力评测

Claude 3.7与DeepSeek R1软件开发能力评测引言 Anthropic推出最新的Claude 3.7 Sonnet 模型之后，引起了业界的广泛关注。官方报告显示该模型在编码能力上有了显著提升，各方面用户对此评价也很高。此外，近期我们刚经历过DeepSeek的爆火，其在慢思考和强推理方面的表现令人印象深刻。同时，马斯克旗下人工智能公司xAI推出的Grok-3也引发了很大反响。为此...

转载 CCF Talk活动预告：大模型时代的软件工程:那些变的和不变的

转载 复旦大学CodeWisdom团队著作《软件开发大数据分析研究与实践》出版

复旦大学CodeWisdom团队编写的学术著作《软件开发大数据分析研究与实践》近期由电子工业出版社出版。本书是在团队近些年围绕软件开发数据分析及其应用所开展的研究与实践基础上编写而成的，其中大部分研究成果已在企业应用。本书由彭鑫、吴毅坚、陈碧欢三位老师领衔，李弋、董震、娄一翎、刘名威、黄凯锋等老师和博士后以及王翀、周捷、宋学志等几位博士生和科研助理参与编写。1写作背景“软件定义一切”的发展趋势正日...

转载 智能化软件开发微访谈·第三十七期 DeepSeek火爆出圈对于软件产业影响几何？...

CodeWisdomDeepSeek火爆出圈对于软件产业影响几何？微访谈 · 第三十七期背景介绍 近期，DeepSeek推出的R1版本凭借其卓越的推理能力和创新的技术架构在智能助手领域迅速崭露头角，在春节期间成为各方关注和热议的焦点。很多人认为DeepSeek高效处理复杂任务的能力、显著的成本效益以及所采取的开源路线有望带来大模型部署及应用的普适化，由此对各行各业带来重要的影响。那么，Dee...

转载 智能化软件开发微访谈·第三十七期 DeepSeek火爆出圈对于软件产业影响几何？-活动预告...

CodeWisdomDeepSeek火爆出圈对于软件产业影响几何？微访谈 · 活动预告背景介绍近期，DeepSeek推出的R1版本凭借其卓越的推理能力和创新的技术架构在智能助手领域迅速崭露头角，在春节期间成为各方关注和热议的焦点。很多人认为DeepSeek高效处理复杂任务的能力、显著的成本效益以及所采取的开源路线有望带来大模型部署及应用的普适化，由此对各行各业带来重要的影响。那么，DeepSeek...

转载 智能化软件开发微访谈·第三十六期 具身智能系统：从逻辑程序到神经网络

CodeWisdom具身智能系统：从逻辑程序到神经网络微访谈· 第三十六期背景介绍具身智能（Embodied Artificial Intelligence，EAI）在物理实体的基础上，通过智能体与环境的交互来获取信息、理解问题、做出决策并执行行动，从而展现出智能行为和适应性。随着大语言模型以及多模态大模型的发展，具身智能和机器人技术也迈入了快速发展期并正在成为新的热点领域。然而，具身智能...

转载 智能化软件开发微访谈·第三十六期 具身智能系统：从逻辑程序到神经网络·活动预告...

CodeWisdom具身智能系统：从逻辑程序到神经网络微访谈 · 活动预告背景介绍具身智能（Embodied Artificial Intelligence，EAI）在物理实体的基础上，通过智能体与环境的交互来获取信息、理解问题、做出决策并执行行动，从而展现出智能行为和适应性。随着大语言模型以及多模态大模型的发展，具身智能和机器人技术也迈入了快速发展期并正在成为新的热点领域。然而，具身智能要从小范...

转载 开源风险治理平台“伏羲”在同源漏洞检测中取得重要进展，助力开源软件安全治理...

研究背景：开源软件漏洞威胁软件供应链安全随着开源软件的快速发展，代码重用已经成为加速软件开发的常见手段。但是，如果被重用的代码中包含漏洞，则这些漏洞可能会被继承传播到其他软件中，从而导致下游软件出现同源漏洞。根据新思科技2024年的供应链安全报告显示[1]，96%的代码库中包含开源代码，而84%的代码库中包含开源漏洞。因此，及时发现并识别同源漏洞对于开发者迅速采取补救措施、从而降低安全风险至关重要...

转载 开源风险治理平台“伏羲”在漏洞传播影响分析中取得重要进展，助力开源软件安全治理...

研究背景：开源组件漏洞威胁软件供应链安全开源软件已成为现代软件生态系统中不可或缺的基础构件。然而，随着组件库规模的持续扩大，其潜在的漏洞问题日益突显，对软件供应链安全构成了重大威胁。以Maven Central仓库为例，作为Java生态系统中使用最为广泛的组件库管理平台，其月度下载量达到37.8亿次，其中约3.97亿次的下载组件中存在漏洞。这些漏洞可能通过组件依赖链传播至下游项目，进而引发大规模的...

原创 “车用基础软件技术及生态发展”专题论坛在复旦大学成功举行

龙蜥社区系统运维联盟Meetup暨中国汽车工程学会汽车基础软件分会iAutoBASE专题论坛“车用基础软件技术及生态发展”于12月27日下午在复旦大学江湾校区举行。本次论坛邀请了蔚来汽车副总裁吴杰、中兴通讯操作系统产品部副部长蒋学鑫、映驰科技CTO段勃勃、长安汽车系统软件副总工程师文洋、上汽创新研发总院软件架构师张毅峰、零束科技软件架构高级主任工程师侍兴华六位嘉宾进行引导报告。在此基础上，与会者围...

转载 开源风险治理平台“伏羲”在开源生态投毒检测中取得进一步重要进展，助力开源软件安全治理...

研究背景：恶意代码威胁软件供应链安全开源软件已成为现代软件生态中不可或缺的一部分。然而，随着开源软件的普及，软件供应链安全问题日益突出，给开源软件生态系统带来了重大威胁[1]。在软件供应链安全风险中，恶意软件包投毒是一种常见的攻击手段，即将恶意代码注入到托管在软件包仓库中的软件包中，并伪装成合法的软件包，进而诱导开发人员下载和调用，从而感染用户主机，达到执行恶意行为的目的。近年来，两个被广泛使用的...

转载 活动预告｜CodeWisdom 软件智能化开发学术系列报告 第14期：重新定义团队协作-面向下一代软件工程的LLM Agents...

Tse-Hsun (Peter) ChenLeader of the Software PErformance, Analysis, and Reliability (SPEAR) lab at Concordia University.SummaryTitleRedefining Team Collaboration:Harnessing LLM Agents for Next-Gen Sof...

转载 活动预告 | CodeWisdom软件智能化开发与运维学术系列报告 第15期：利用大语言模型进行可靠的代码转换和软件规范生成...

Danning XiePhD candidate in the Computer Science Department at Purdue University‍SummaryTitleHarnessing Large Language Models for Reliable Code Transformation and Software Specification GenerationAbst...

转载 第一届软件基因组研讨会SWGeno@FSE25征稿通知

第一届软件基因组研讨会SWGeno@FSE25征稿通知2025年6月23~27日， 特隆赫姆，挪威Mon 23 - Fri 27 June 2025 Trondheim, Norway1简介开源软件（OSS）在现代软件开发中发挥了至关重要的作用。然而，开源软件生态系统的迅速扩张和日益增长的复杂性也给开发者和组织带来了显著的挑战。现代软件系统通常包含众多相互依赖的开源软件模块，而这些模块...

转载 开源风险治理平台“伏羲”在漏洞影响组件识别中取得重要进展，助力开源漏洞质量增强...

研究背景：开源漏洞质量至关重要目前开源软件基数大、使用范围广，开发人员能够通过拷贝、二次开发源代码以及引入依赖组件等方式复用其它开源软件，构成了复杂且庞大的开源软件供应链。开源软件给开发人员带来便利的同时也引入了安全风险。根据新思科技2024年的供应链安全报告显示[1]，96%的代码库中包含开源代码，而84%的代码库中包含开源漏洞。图1 新思科技 2024年度供应链安全报告软件成分分析（SCA）技...

转载 基于LLM的库API输入空间划分测试

基于LLM的库API输入空间划分测试基于大语言模型的库API输入空间划分测试的研究工作《LLM Based Input Space Partitioning Testing for Library APIs》（作者：Jiageng Li，Zhen Dong，Chong Wang，Haozhen You，Cen Zhang，Yang Liu，Xin Peng）被CCF-A类国际会议ICSE 2025...

转载 活动预告｜CodeWisdom 智能汽车基础软件学术报告系列 第5期：融合网关车控域基础软件平台化思考...

陈立冲合众新能源汽车智能平台开发部副高级总监内容简介题目融合网关车控域基础软件平台化思考摘要融合网关车控域系统作为电动汽车核心零部件，其融合了整车控制、电池管理系统、增程控制、车身控制、网关、OTA、远程诊断等等，在整车系统中需要匹配不同的动总组合同时还需兼容纯电和增程架构的车型，从而使基础软件平台带来较大挑战和需要解决的痛点，所以对基础软件平台化进行深度思考，打造平台化架构和集成开发效率。报告人...

转载 CodeWisdom可信AI系统学术系列报告：第11期（谢肖飞，新加坡管理大学）

谢肖飞内容简介题目迈向安全可信AI: 测试视角下的挑战与机遇摘要在当前AI技术快速发展的背景下，安全与可信性已成为AI系统落地应用的关键挑战。测试作为软件质量保障的重要手段，在AI系统的开发与部署中扮演了不可或缺的角色。然而，与传统软件不同，AI系统的复杂性、数据依赖性和非确定性为其测试过程带来了独特的挑战。本报告将从AI系统测试的视角出发，探过如何通过全面的测试方法发现潜在问题、提升系统可靠性，...

转载 活动预告 | CodeWisdom软件智能化开发与运维学术系列报告 第13期：利用符号有限自动机自动验证表示不变量...

ZheZhouPh.D. candidate in Computer Science at Purdue UniversitySummaryTitleA HAT Trick: Automatically Verifying Representation InvariantsUsing Symbolic Finite AutomataAbstractFunctional programs typ...

转载 华科团队发表LLM应用商店研究指南，首届国际研讨会明年挪威启航！

华科团队发表LLM应用商店研究指南，首届国际研讨会明年挪威启航！论文题目：LLM App Store Analysis: A Vision and Roadmap论文作者：赵彦杰，侯心怡，王申奥，王浩宇（通讯作者）作者单位：华中科技大学Security PRIDE团队（Security, Privacy, and Dependability in Emerging Software Systems...

转载 AIOps@ICSE 2025征文截止时间推迟到11月18日（AOE时间）

20256th International Workshop on Cloud Intelligence / AIOpsAI/ML for Efficient and Manageable Cloud Service关于AIOps‘25数字化转型正在所有行业中发生。基于云服务（如SaaS、PaaS、IaaS）运行业务是数字化转型的核心。然而，云服务的复杂性也带来了许多挑战。运行大规模云服务，需要大...

转载 AIOps Workshop 2025征文

20256th International Workshop on Cloud Intelligence / AIOpsAI/ML for Efficient and Manageable Cloud Service关于AIOps‘25数字化转型正在所有行业中发生。基于云服务（如SaaS、PaaS、IaaS）运行业务是数字化转型的核心。然而，云服务的复杂性也带来了许多挑战。运行大规模云服务，需要大...

转载 智能化软件开发微访谈·第三十四期 基于大模型的软件智能化开发实践

CodeWisdom基于大模型的软件智能化开发实践微访谈·第三十四期背景介绍 自从ChatGPT于2022年底横空出世，大语言模型（简称“大模型”）在软件工程领域学术和产业界都得到了广泛关注。当前，基于大模型的代码补全、推荐、解释和问答等智能化支持得到了广泛应用。然而，当前这种智能化开发支持很大程度上仍然是局部性的，而企业在开发质量和效率上并未感觉到显著提升。另一方面，大模型的出现加剧了...