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)串联起每个子任务,最终得到任务求解。

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

无限画
无限画

千库网旗下AI绘画创作平台

下载

在具体应用中,团队设计并实现了一个多智能体(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

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

豆包大模型
豆包大模型

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

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

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

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

499

2023.08.14

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

25

2026.03.13

Python异步编程与Asyncio高并发应用实践
Python异步编程与Asyncio高并发应用实践

本专题围绕 Python 异步编程模型展开,深入讲解 Asyncio 框架的核心原理与应用实践。内容包括事件循环机制、协程任务调度、异步 IO 处理以及并发任务管理策略。通过构建高并发网络请求与异步数据处理案例,帮助开发者掌握 Python 在高并发场景中的高效开发方法,并提升系统资源利用率与整体运行性能。

44

2026.03.12

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

177

2026.03.11

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

50

2026.03.10

Kotlin Android模块化架构与组件化开发实践
Kotlin Android模块化架构与组件化开发实践

本专题围绕 Kotlin 在 Android 应用开发中的架构实践展开,重点讲解模块化设计与组件化开发的实现思路。内容包括项目模块拆分策略、公共组件封装、依赖管理优化、路由通信机制以及大型项目的工程化管理方法。通过真实项目案例分析,帮助开发者构建结构清晰、易扩展且维护成本低的 Android 应用架构体系,提升团队协作效率与项目迭代速度。

92

2026.03.09

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

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

102

2026.03.06

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

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

227

2026.03.05

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

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

530

2026.03.04

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Rust 教程
Rust 教程

共28课时 | 6.9万人学习

Kotlin 教程
Kotlin 教程

共23课时 | 4.4万人学习

R 教程
R 教程

共45课时 | 7.9万人学习

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

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