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 调度实现无缝连接,提升了开发效率和代码质量。

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

相关专题

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

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

402

2023.08.14

C++ 单元测试与代码质量保障
C++ 单元测试与代码质量保障

本专题系统讲解 C++ 在单元测试与代码质量保障方面的实战方法,包括测试驱动开发理念、Google Test/Google Mock 的使用、测试用例设计、边界条件验证、持续集成中的自动化测试流程,以及常见代码质量问题的发现与修复。通过工程化示例,帮助开发者建立 可测试、可维护、高质量的 C++ 项目体系。

9

2026.01.16

java数据库连接教程大全
java数据库连接教程大全

本专题整合了java数据库连接相关教程,阅读专题下面的文章了解更多详细内容。

32

2026.01.15

Java音频处理教程汇总
Java音频处理教程汇总

本专题整合了java音频处理教程大全,阅读专题下面的文章了解更多详细内容。

14

2026.01.15

windows查看wifi密码教程大全
windows查看wifi密码教程大全

本专题整合了windows查看wifi密码教程大全,阅读专题下面的文章了解更多详细内容。

42

2026.01.15

浏览器缓存清理方法汇总
浏览器缓存清理方法汇总

本专题整合了浏览器缓存清理教程汇总,阅读专题下面的文章了解更多详细内容。

6

2026.01.15

ps图片相关教程汇总
ps图片相关教程汇总

本专题整合了ps图片设置相关教程合集,阅读专题下面的文章了解更多详细内容。

9

2026.01.15

ppt一键生成相关合集
ppt一键生成相关合集

本专题整合了ppt一键生成相关教程汇总,阅读专题下面的的文章了解更多详细内容。

6

2026.01.15

php图片上传教程汇总
php图片上传教程汇总

本专题整合了php图片上传相关教程,阅读专题下面的文章了解更多详细教程。

2

2026.01.15

热门下载

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

精品课程

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

共4课时 | 1.7万人学习

Rust 教程
Rust 教程

共28课时 | 4.5万人学习

Kotlin 教程
Kotlin 教程

共23课时 | 2.6万人学习

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

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