瑞士信息与通信科技公司LogicStar研发代码智能体,自主修复代码漏洞 | 瑞士创新100强

图源LogicStar文 | 以明科技,钛媒体APP注:自2011年以来,瑞士连续14年全球创新指数排名第一,是全球重要的创新策源地,也是中国首个创新战略伙伴关系国,在创新发展...

瑞士信息与通信科技公司LogicStar研发代码智能体	,自主修复代码漏洞 | 瑞士创新100强

图源LogicStar

文 | 以明科技,钛媒体APP注:自2011年以来,瑞士连续14年全球创新指数排名第一 ,是全球重要的创新策源地,也是中国首个创新战略伙伴关系国,在创新发展和科技金融领域与中国具有极佳互补性 。

由Venturelab主办的“瑞士创新100强 ” ,汇聚了最佳“瑞士制造”的初创及成长期科技创新企业 ,是瑞士最具国际影响力的创新生态标杆。自2011年以来,该榜单每年在瑞士全国范围内评选出100家最具开创性和市场前景的瑞士创新企业和25家最具独角兽潜力的瑞士成长期企业,覆盖生命科学、工程机械 、机器人、信息通信、低碳科技 、食品科技等领域。

为了全方位展示和介绍瑞士最前沿的创新科技 ,钛媒体APP与Venturelab的中国授权合作方以明科技(Insight Tech)合作推出《瑞士创新100强》专题,全面展示瑞士先锋科创生态的全景 。

本文为专栏第182期,介绍的LogicStar是2025年《瑞士创新100强》上榜企业 ,其致力于研发代码智能体。

瑞士信息与通信科技公司LogicStar成立于2024年,公司致力于研发代码智能体。该智能体融合了大语言模型的最新进展和经典的计算机科学技术,可迅速定位当前软件系统中存在的代码漏洞 ,并通过调用适配的大语言模型生成修复方案,全程无需人工介入 。

LogicStar是苏黎世联邦理工学院与INSAIT的衍生公司,由Boris Paskalev、Mark Müller与Veselin Raychev与Martin Vechev 共同成立 。Boris Paskalev为公司首席执行官 ,拥有美国麻省理工学院计算机科学与电气工程硕士学位,为DeepCode联合创始人,担任LatticeFlow、Netfabric等多家企业顾问 ,同时还是INSAIT(保加利亚国家计算机科学 、人工智能与技术研究所)的战略创业顾问。Mark Müller为公司首席技术官 ,拥有苏黎世联邦理工学院计算机科学博士学位。Veselin Raychev为公司首席架构师,拥有苏黎世联邦理工学院计算机科学博士学位,同为DeepCode联合创始人 。Martin Vechev为公司顾问 ,目前担任苏黎世联邦理工学院教授,为INSAIT(保加利亚国家计算机科学 、人工智能与技术研究所)创始人。

瑞士信息与通信科技公司LogicStar研发代码智能体,自主修复代码漏洞 | 瑞士创新100强

图源LgociStar

软件行业长期面临应用程序维护的复杂性问题 ,这是开发过程中最耗时的环节。传统方法通常依靠人工监督和修复漏洞,调试过程耗费大量时间和资源,大量待处理漏洞往往堆积数周甚至数月得不到处理 ,导致开发团队约有40%的工程时间耗费在问题分类和修复上,以致无法专注于新功能开发 。AI编码代理虽然在基准测试和简单任务中表现出色,但在复杂环境下却容易出错。

AI智能体(AI Agent)正在迅速发展 ,预计在未来十年内将对企业业务运营、决策制定和自动化产生变革性影响。在美国,企业级AI智能体2024年市场规模为7.695亿美元,预计到2025年将增长至10.7亿美元 ,到2030年复合年增长率(CAGR)将达到43.6% 。

瑞士信息与通信科技公司LogicStar研发代码智能体,自主修复代码漏洞 | 瑞士创新100强

图源LogicStar

LogicStar开发了一款用于代码漏洞自主修复的智能体(AI Agent),能够自动识别、重现和修复软件系统中的高精度代码错误,减轻软件维护和调试负担 ,使工程团队能够专注于开发新功能。

LogicStar智能体的核心在于将深度语义代码推理与大语言模型的生成能力相结合。该智能体使用经典的计算机科学方法对部署其技术的每个应用程序进行深入的静态和动态分析,能全面了解软件的所有重要模块,其功能 、输入输出、内外通信、变量与函数之间的关联方式 ,以及其他任何关联和依赖关系等 。基于这种丰富的上下文信息,对于遇到的每一个缺陷和漏洞,智能体都能够精准识别是应用程序的哪些部分出现了问题 ,进而缩小需要模拟的范围,在“最小化执行环境”中,运行数千个旨在重现错误的测试 ,以精确识别漏洞的发生方式和位置。这实际上是在尝试创建和测试一小段代码或脚本,其测试目的是“如果执行这段代码,就会触发这个特定漏洞 ” ,进而验证该漏洞真实存在而非偶发。确认漏洞原因后 ,智能体会选用各种适合的大语言模型,要求尝试修复该漏洞,并对多个候选修复方案进行验证 ,最终确定最佳方案 。

在将修复方案送给开发人员之前,Logicstar的智能体会对多种不同方案进行反复的独立测试以及验证,确保仅将经过验证的方案传递给开发团队 ,全过程无需人工介入 。智能体会始终展示工作过程,用户也可安排开发人员审核和监督智能体提出的修复方案。

Logicstar的智能体创造的这种“最小化执行环境”,让用户能更小范围 、低成本、大批量地利用大语言模型资源 ,降低运营成本的同时提升找到正确方案的概率。经测试,LogicStar可将漏洞平均修复时间缩短95%,并完全自主修复40%的应用程序缺陷;对于多数拉取请求 ,具备100%测试覆盖率,且通过静态验证 。

2025年2月,LogicStar完成了300万美元的种子轮融资 ,投资方包括 Northzone、Sequoia与DeepMind等知名风险投资机构。

瑞士信息与通信科技公司LogicStar研发代码智能体,自主修复代码漏洞 | 瑞士创新100强

图源以明科技

2025年《瑞士创新100强》中文版由以明科技(Insight Tech)荣誉发布。以明科技是《瑞士创新100强》的中国授权合作方,负责《瑞士创新100强》在中国的运营推广并协助榜单项目对华商业合作 。以明科技是中欧(瑞士)产业创新合作服务商,致力于以创新加速器 、股权投资和商业咨询服务 ,促进瑞士创新中国化和中国产业国际化。

获取《瑞士创新100强》完整榜单及行业榜单,请访问以明科技公号或官网。

本文来自作者[铁艺馨]投稿,不代表视听号立场,如若转载,请注明出处:https://cn.stddy.com/wiki/202512-65565.html

(2)

文章推荐

  • 学习·故事丨“我是黄土地的儿子”

    今年6月25日,迎来第35个全国“土地日”。“我是黄土地的儿子”,习近平总书记对土地饱含深情。五十多年前,他在陕西延川梁家河插队时,就带领村民们向山沟“要”耕地——“你说咱梁家河为啥穷?为啥吃不饱饭?就是因为土地太少了。这里打上坝,增加这么大面积的水浇地,以后梁家河的子子孙孙都会受益。咱说啥也得干成

    2025年06月27日
    121
  • 北京潮得像“回南天”?真相其实是这样的

    图为7月2日拍摄的北京市凉水河。新华社记者田晨旭摄新华社北京7月3日电(记者田晨旭)“在北京感受到了广东的回南天”“谁还分得清北京和热带雨林”……这两天,关于“北京闷热天气”的相关话题屡次冲上热搜,不少人认为这是南方的“回南天”来到了北京。但事实果真如此吗?记者登录北京市气象局官网查询,根据7月

    2025年07月04日
    122
  • 邯郸限号2023年1月最新通知/邯郸限号最新通知2020

    邯郸限行区域和时间表(最新限行政策介绍)工作日限行时间:每天的07:00-20:00,周周日及节假日不限行。特定时间段限行:根据历史数据和政策调整,邯郸市的限行政策会进行周期性调整,例如2023年01月02日至2023年04月02日,工作日07:00-20:00进行限号,但2023年04月02日以

    2025年07月08日
    125
  • 胜率设置方法“手机跑得快辅助软件(专用辅牌神器免安装)

    神器真的超好用!微信小程序打麻将辅助开挂(怎么设置才能赢)“我们专注于各类软件定制开发,已成功研发高效实用的软件系统。软件定制开发服务用获取专业解决方案。”微信小程序打麻将辅助开挂是一款可以让一直输的玩家,快速成为一个“必胜”的ai辅助神器,有

    2025年08月29日
    93
  • 3分钟学会“微乐捉鸡麻将插件购买”(详细透视教程)-今日头条

    软件神器超顶流!福建天天开心挂辅助器工具(有没有技巧)“我们专注于各类软件定制开发,已成功研发高效实用的软件系统。软件定制开发服务用获取专业解决方案。”福建天天开心挂辅助器工具是一款可以让一直输的玩家,快速成为一个“必胜”的ai辅助神器,有需要

    2025年09月08日
    72
  • 终于发现“闲逸斗地主亲友圈有挂吗”(详细透视教程)-今日头条

    软件神器超酷!微信小程序里的麻将确实有挂吗(插件开挂免费AI)“我们专注于各类软件定制开发,已成功研发高效实用的软件系统。软件定制开发服务用获取专业解决方案。”微信小程序里的麻将确实有挂吗是一款可以让一直输的玩家,快速成为一个“必胜”的ai辅助

    2025年09月12日
    67
  • 实测辅助“微信斗牛链接辅助器(专用辅牌神器免安装)

    软件神器超顶流!369山东麻将有插件挂吗(控牌神器)“我们专注于各类软件定制开发,已成功研发高效实用的软件系统。软件定制开发服务用获取专业解决方案。”369山东麻将有插件挂吗是一款可以让一直输的玩家,快速成为一个“必胜”的ai辅助神器,有需要的

    2025年09月16日
    66
  • 玩家必备教程“多乐跑得快黑科技神器(专用辅牌神器免安装)

    软件神器称王!嘻嘻红中麻将确实是有挂(怎么能赢发牌规律)“我们专注于各类软件定制开发,已成功研发高效实用的软件系统。软件定制开发服务用获取专业解决方案。”嘻嘻红中麻将确实是有挂是一款可以让一直输的玩家,快速成为一个“必胜”的ai辅助神器,有需要

    2025年09月19日
    72
  • 今天,一起送别杨振宁先生

    10月24日晨,八宝山殡仪馆外,市民自发前来送别著名物理学家、清华大学教授杨振宁先生。享誉世界的物理学家、诺贝尔物理学奖获得者,中国科学院院士,清华大学教授、清华大学高等研究院名誉院长杨振宁先生,因病于2025年10月18日在北京逝世,享年103岁。为沉痛悼念深切缅怀杨振宁先生,2025年10月24

    2025年10月24日
    53
  • 美国真要对委内瑞拉动手?或许就在这几天

    本文仅在今日头条发布,谢绝转载。近期,美国与委内瑞拉之间的紧张局势急剧升级,引发了国际社会的广泛关注。美国总统特朗普于11月14日表示,关于对委内瑞拉采取的下一步行动,他已“某种程度上作出决定”,但未透露具体细节。这一表态进一步加剧了加勒比海地区的紧张氛围,使委内瑞拉的命运再次成为全球焦点。本文将深

    2025年11月17日
    34

发表回复

本站作者后才能评论

评论列表(4条)

  • 铁艺馨
    铁艺馨 2025年12月17日

    我是视听号的签约作者“铁艺馨”!

  • 铁艺馨
    铁艺馨 2025年12月17日

    希望本篇文章《瑞士信息与通信科技公司LogicStar研发代码智能体,自主修复代码漏洞 | 瑞士创新100强》能对你有所帮助!

  • 铁艺馨
    铁艺馨 2025年12月17日

    本站[视听号]内容主要涵盖:国足,欧洲杯,世界杯,篮球,欧冠,亚冠,英超,足球,综合体育

  • 铁艺馨
    铁艺馨 2025年12月17日

    本文概览:图源LogicStar文 | 以明科技,钛媒体APP注:自2011年以来,瑞士连续14年全球创新指数排名第一,是全球重要的创新策源地,也是中国首个创新战略伙伴关系国,在创新发展...

    联系我们

    邮件:视听号@sina.com

    工作时间:周一至周五,9:30-18:30,节假日休息

    关注我们