0

0

天津大学、北航深度参与华为“仓颉”,推出首个基于国产编程语言的 AI 智能体编程框架“苍穹”

WBOY

WBOY

发布时间:2024-06-23 19:14:36

|

1356人浏览过

|

来源于IT之家

转载

本站 6 月 22 日消息,华为昨日面向全球开发者介绍华为自研编程语言 —— 仓颉(cangjie)。这是仓颉编程语言的首次公开亮相。

本站查询获悉,天津大学、北京航空航天大学深度参与了华为“仓颉”的研发。

天津大学:仓颉编程语言编译器

天津大学智能与计算学部软件工程团队携手华为仓颉团队,深度参与仓颉编程语言编译器的质量保障研究。

据介绍,仓颉编译器是与仓颉编程语言共生的基础软件。在仓颉编程语言的筹备阶段,与之相配的高质量编译器成为核心目标之一。随着仓颉编程语言的演化,仓颉编译器也在不断地升级、改进。

天津大学、北航深度参与华为“仓颉”,推出首个基于国产编程语言的 AI 智能体编程框架“苍穹”

五年来,天津大学智能与计算学部软件工程团队陈俊洁教授、王赞教授、姜佳君研究员,以及赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生,围绕着仓颉编译器测试工作开展深入研究,提出数据驱动的仓颉编译器系统化测试框架,涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程加速技术等多项先进技术。成果在软件工程领域顶会 ICSE、ISSTA 等发表多篇学术论文,并已部署至仓颉编译器的实际测试中,显著提升仓颉编译器测试效果。

基于程序综合的测试程序生成技术:该项技术将程序代码拆解成细粒度代码片段,彼此之间涉及不同的语言特征,进而在语法语义约束的指导下,实现测试程序的高效合成。值得注意的是,该项技术能够以历史缺陷作为基础数据,提取与缺陷相关的代码片段,并将其融合至多样的代码上下文中,以激发其触发更多缺陷、执行更多代码分支的能力。基于程序变异的测试预言构造技术:该项技术通过对仓颉编程语言语法语义进行深入分析与挖掘,设计一系列等价变异算子与不等价变异算子。前者在测试预言上提供补充,融合蜕变测试思想,提升技术揭错能力,而后者则进一步增强测试程序多样性,引入更多仓颉语言特性、底层库调用等信息,实现对仓颉编译器的更充分测试。基于代码表示的测试过程加速技术:该项技术旨在提升编译器测试效率,以在更短的时间内检测到更多的编译器缺陷。该项技术将测试程序代码进行片段化,并引入代码表示学习策略将其在语言定义空间中进行表征。进而,该项技术从多样性角度进行代码片段的利用、测试程序的生成,并将测试结果作为反馈,进一步指导后续测试过程,从而提升测试整体效率。

北航:苍穹 AI 智能体编程框架

北京航空航天大学软件学院黎立老师团队深度参与基于仓颉编程语言的 AI 智能体编程框架 —— 苍穹(CangChain)开发,这是首个基于国产编程语言的 AI 智能体编程框架。

天津大学、北航深度参与华为“仓颉”,推出首个基于国产编程语言的 AI 智能体编程框架“苍穹”
▲ 苍穹(CangChain)框架图

据介绍,苍穹诞生于仓颉社区,得到仓颉编程语言官方团队的技术支持。作为一个社区开源项目,苍穹采用模块化设计和功能,旨在为软件工程人员提供软件集成模型、安全访问私有数据并进行数据交互的可靠功能。

基于模块化的设计理念,苍穹使得开发者可根据自身特定需求,选择和组合不同的模块。在实现任务的过程中,苍穹可将任务分解成多个子任务,针对每个子任务选择构建合适的代理(Agent)允许语言模型与外部 API 交互,调用满足子任务目标实现的工具(Tool),利用任务链(Chain)串联起每个子任务,最终得到任务求解。

Misum AI
Misum AI

一站式聚合多模型AI问答工具

下载

黎立老师团队主要参与了苍穹中 ReAct 框架和多智能体 Planner 调度的设计开发实现

在具体应用中,团队设计并实现了一个多智能体(Multi-Agent)的系统,包含以下四个关键角色:Docwriter、CodeWriter、CodeTester 和 CodeReviewer。这些智能体在苍穹平台上紧密协作,共同完成 2048 等经典游戏的开发任务。

  • Docwriter:负责编写详细的需求文档和设计规范。在游戏开发的初期,Docwriter 通过与用户以及其他智能体的交流,深入了解并记录游戏的功能需求和设计思路,为后续步骤提供详细的蓝图。

  • CodeWriter:负责根据设计文档编写源代码。CodeWriter 运用先进的编程技巧和算法,将 Docwriter 提供的需求转化为具体的代码实现。苍穹框架中 ReAct 的“推理-行动”模式有效提升了 CodeWriter 的编程效率和准确性。

  • CodeTester:在源代码完成初步编写后,CodeTester 会自动生成并运行一系列测试用例,确保代码功能的正确性和稳定性。CodeTester 利用定义好的各种工具构造测试用例,并执行相应的测试用例,定位并反馈代码中的潜在问题,提高代码质量。

  • CodeReviewer:负责对 CodeWriter 编写的代码进行全面审查,确保代码符合最佳实践和质量标准。CodeReviewer 不仅会检查代码的功能实现,还会关注代码的可读性和可维护性,提出优化建议。

天津大学、北航深度参与华为“仓颉”,推出首个基于国产编程语言的 AI 智能体编程框架“苍穹”
▲ 基于苍穹开发的多智能体系统应用示例

通过苍穹的模块化设计和多智能体的智能调度,这些角色智能体能够高效分工、互相协作,不断迭代优化,最终完成游戏开发任务。具体来说,任务链(Chain)机制将各个子任务有效串联,智能体间的信息交互则通过 Planner 调度实现无缝连接,提升了开发效率和代码质量。

未来,北京航空航天大学软件学院团队将计划继续拓展苍穹的应用领域,深入研究多智能体系统在其他复杂任务中的应用潜力。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
页面置换算法
页面置换算法

页面置换算法是操作系统中用来决定在内存中哪些页面应该被换出以便为新的页面提供空间的算法。本专题为大家提供页面置换算法的相关文章,大家可以免费体验。

490

2023.08.14

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

45

2026.03.06

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

113

2026.03.05

PHP高性能API设计与Laravel服务架构实践
PHP高性能API设计与Laravel服务架构实践

本专题围绕 PHP 在现代 Web 后端开发中的高性能实践展开,重点讲解基于 Laravel 框架构建可扩展 API 服务的核心方法。内容涵盖路由与中间件机制、服务容器与依赖注入、接口版本管理、缓存策略设计以及队列异步处理方案。同时结合高并发场景,深入分析性能瓶颈定位与优化思路,帮助开发者构建稳定、高效、易维护的 PHP 后端服务体系。

229

2026.03.04

AI安装教程大全
AI安装教程大全

2026最全AI工具安装教程专题:包含各版本AI绘图、AI视频、智能办公软件的本地化部署手册。全篇零基础友好,附带最新模型下载地址、一键安装脚本及常见报错修复方案。每日更新,收藏这一篇就够了,让AI安装不再报错!

90

2026.03.04

Swift iOS架构设计与MVVM模式实战
Swift iOS架构设计与MVVM模式实战

本专题聚焦 Swift 在 iOS 应用架构设计中的实践,系统讲解 MVVM 模式的核心思想、数据绑定机制、模块拆分策略以及组件化开发方法。内容涵盖网络层封装、状态管理、依赖注入与性能优化技巧。通过完整项目案例,帮助开发者构建结构清晰、可维护性强的 iOS 应用架构体系。

137

2026.03.03

C++高性能网络编程与Reactor模型实践
C++高性能网络编程与Reactor模型实践

本专题围绕 C++ 在高性能网络服务开发中的应用展开,深入讲解 Socket 编程、多路复用机制、Reactor 模型设计原理以及线程池协作策略。内容涵盖 epoll 实现机制、内存管理优化、连接管理策略与高并发场景下的性能调优方法。通过构建高并发网络服务器实战案例,帮助开发者掌握 C++ 在底层系统与网络通信领域的核心技术。

29

2026.03.03

Golang 测试体系与代码质量保障:工程级可靠性建设
Golang 测试体系与代码质量保障:工程级可靠性建设

Go语言测试体系与代码质量保障聚焦于构建工程级可靠性系统。本专题深入解析Go的测试工具链(如go test)、单元测试、集成测试及端到端测试实践,结合代码覆盖率分析、静态代码扫描(如go vet)和动态分析工具,建立全链路质量监控机制。通过自动化测试框架、持续集成(CI)流水线配置及代码审查规范,实现测试用例管理、缺陷追踪与质量门禁控制,确保代码健壮性与可维护性,为高可靠性工程系统提供质量保障。

79

2026.02.28

Golang 工程化架构设计:可维护与可演进系统构建
Golang 工程化架构设计:可维护与可演进系统构建

Go语言工程化架构设计专注于构建高可维护性、可演进的企业级系统。本专题深入探讨Go项目的目录结构设计、模块划分、依赖管理等核心架构原则,涵盖微服务架构、领域驱动设计(DDD)在Go中的实践应用。通过实战案例解析接口抽象、错误处理、配置管理、日志监控等关键工程化技术,帮助开发者掌握构建稳定、可扩展Go应用的最佳实践方法。

62

2026.02.28

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
最新Python教程 从入门到精通
最新Python教程 从入门到精通

共4课时 | 22.5万人学习

Rust 教程
Rust 教程

共28课时 | 6.7万人学习

Kotlin 教程
Kotlin 教程

共23课时 | 4.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号