本站 6 月 22 日消息，華為昨日面向全球開(kāi)發(fā)者介紹華為自研程式語(yǔ)言 —— 倉(cāng)頡（Cangjie）。這是倉(cāng)頡程式語(yǔ)言的首次公開(kāi)亮相。

本站查詢獲悉，天津大學(xué)、北京航空航天大學(xué)深度參與了華為「?jìng)}頡」的研發(fā)。

天津大學(xué)：倉(cāng)頡程式語(yǔ)言編譯器

天津大學(xué)智慧與計(jì)算學(xué)部軟體工程團(tuán)隊(duì)攜手華為倉(cāng)頡團(tuán)隊(duì)，深度參與倉(cāng)頡程式語(yǔ)言編譯器的品質(zhì)保障研究。

據(jù)介紹，倉(cāng)頡編譯器是與倉(cāng)頡程式語(yǔ)言共生的基礎(chǔ)軟體。在倉(cāng)頡程式語(yǔ)言的籌備階段，與之相匹配的高品質(zhì)編譯器成為核心目標(biāo)之一。隨著倉(cāng)頡程式語(yǔ)言的演化，倉(cāng)頡編譯器也不斷升級(jí)、改進(jìn)。

五年來(lái)，天津大學(xué)智能與計(jì)算學(xué)部軟體工程團(tuán)隊(duì)陳俊潔教授、王贊教授、姜佳君研究員，以及趙英全、付瑞豐、郭以勒、鄭開(kāi)、姜闔等十餘名研究生興宇等十餘名，圍繞著倉(cāng)頡編譯器測(cè)試工作進(jìn)行深入研究，提出數(shù)據(jù)驅(qū)動(dòng)的倉(cāng)頡編譯器系統(tǒng)化測(cè)試框架，涵蓋基於程序綜合的測(cè)試程序生成技術(shù)、基於程序變異的測(cè)試預(yù)言構(gòu)造技術(shù)、基於代碼表示的測(cè)試過(guò)程加速技術(shù)等多項(xiàng)先進(jìn)技術(shù)。成果在軟體工程領(lǐng)域頂會(huì) ICSE、ISSTA 等發(fā)表多篇學(xué)術(shù)論文，並已部署至倉(cāng)頡編譯器的實(shí)際測(cè)試中，顯著提升倉(cāng)頡編譯器測(cè)試效果。

• 基於程式綜合的測(cè)試程式產(chǎn)生技術(shù)：該項(xiàng)技術(shù)將程式碼拆解成細(xì)粒度程式碼片段，彼此之間涉及不同的語(yǔ)言特徵，進(jìn)而在語(yǔ)法語(yǔ)意限制的指導(dǎo)下，實(shí)現(xiàn)測(cè)試程序的高效合成。值得注意的是，該項(xiàng)技術(shù)能夠以歷史缺陷作為基礎(chǔ)數(shù)據(jù)，提取與缺陷相關(guān)的程式碼片段，並將其整合至多樣的程式碼上下文中，以激發(fā)其觸發(fā)更多缺陷、執(zhí)行更多程式碼分支的能力。

• 基於程式變異的測(cè)試預(yù)言建構(gòu)技術(shù)：該技術(shù)透過(guò)對(duì)倉(cāng)頡程式語(yǔ)言語(yǔ)法語(yǔ)意進(jìn)行深入分析與挖掘，設(shè)計(jì)一系列等價(jià)變異算子與不等價(jià)變異算子。前者在測(cè)試預(yù)言上提供補(bǔ)充，融合蛻變測(cè)試思想，提陞技術(shù)揭錯(cuò)能力，而後者則進(jìn)一步增強(qiáng)測(cè)試程序多樣性，引入更多倉(cāng)頡語(yǔ)言特性、底層庫(kù)調(diào)用等信息，實(shí)現(xiàn)對(duì)倉(cāng)頡編譯器的更充分測(cè)試。

• 基於程式碼表示的測(cè)試過(guò)程加速技術(shù)：該技術(shù)旨在提升編譯器測(cè)試效率，以在更短的時(shí)間內(nèi)檢測(cè)到更多的編譯器缺陷。此項(xiàng)技術(shù)將測(cè)試程式碼進(jìn)行片段化，並引入程式碼表示學(xué)習(xí)策略將其在語(yǔ)言定義空間中進(jìn)行表徵。進(jìn)而，此項(xiàng)技術(shù)從多樣性角度進(jìn)行程式碼片段的利用、測(cè)試程序的生成，並將測(cè)試結(jié)果作為回饋，進(jìn)一步指導(dǎo)後續(xù)測(cè)試過(guò)程，進(jìn)而提升測(cè)試整體效率。

北航：蒼穹AI 智能體程式設(shè)計(jì)框架

北京航空航天大學(xué)軟體學(xué)院黎立老師團(tuán)隊(duì)深度參與基於倉(cāng)頡程式語(yǔ)言的AI 智能體程式框架－ 穹頂（CangChain）開(kāi)發(fā)，這是首蒼個(gè)基於國(guó)產(chǎn)程式語(yǔ)言的AI 智能體程式框架。

據(jù)介紹，蒼穹誕生於倉(cāng)頡社區(qū)，得到倉(cāng)頡程式語(yǔ)言官方團(tuán)隊(duì)的技術(shù)支援。作為一個(gè)社群開(kāi)源項(xiàng)目，蒼穹採(cǎi)用模組化設(shè)計(jì)和功能，旨在為軟體工程人員提供軟體整合模型、安全存取私有資料並進(jìn)行資料互動(dòng)的可靠功能。

基於模組化的設(shè)計(jì)理念，蒼穹使得開(kāi)發(fā)者可依自身特定需求，選擇並組合不同的模組。在實(shí)現(xiàn)任務(wù)的過(guò)程中，蒼穹可將任務(wù)分解成多個(gè)子任務(wù)，針對(duì)每個(gè)子任務(wù)選擇構(gòu)建合適的代理（Agent）允許語(yǔ)言模型與外部API 交互，調(diào)用滿足子任務(wù)目標(biāo)實(shí)現(xiàn)的工具（Tool），利用任務(wù)鏈（Chain）串聯(lián)起每個(gè)子任務(wù)，最終得到任務(wù)求解。

黎立老師團(tuán)隊(duì)主要參與了蒼穹中 ReAct 框架和多智能體 Planner 調(diào)度的設(shè)計(jì)開(kāi)發(fā)實(shí)現(xiàn)。

在具體應(yīng)用中，團(tuán)隊(duì)設(shè)計(jì)並實(shí)作了一個(gè)多智能體（Multi-Agent）的系統(tǒng)，包含以下四個(gè)關(guān)鍵角色：Docwriter、CodeWriter、CodeTester 和 CodeReviewer。這些智能體在蒼穹平臺(tái)上緊密協(xié)作，共同完成 2048 等經(jīng)典遊戲的開(kāi)發(fā)任務(wù)。

• Docwriter：負(fù)責(zé)撰寫詳細(xì)的需求文件和設(shè)計(jì)規(guī)格。在遊戲開(kāi)發(fā)的初期，Docwriter 透過(guò)與使用者以及其他智慧體的交流，深入了解並記錄遊戲的功能需求和設(shè)計(jì)思路，??為後續(xù)步驟提供詳細(xì)的藍(lán)圖。

• CodeWriter：負(fù)責(zé)根據(jù)設(shè)計(jì)文件編寫原始程式碼。 CodeWriter 運(yùn)用先進(jìn)的程式設(shè)計(jì)技巧和演算法，將 Docwriter 提供的需求轉(zhuǎn)化為具體的程式碼實(shí)作。蒼穹框架中 ReAct 的「推理-行動(dòng)」模式有效提升了 CodeWriter 的程式設(shè)計(jì)效率和準(zhǔn)確性。

• CodeTester：在原始程式碼完成初步編寫後，CodeTester 會(huì)自動(dòng)產(chǎn)生並執(zhí)行一系列測(cè)試案例，確保程式碼功能的正確性和穩(wěn)定性。 CodeTester 利用定義好的各種工具來(lái)建構(gòu)測(cè)試案例，並執(zhí)行對(duì)應(yīng)的測(cè)試案例，定位並回饋程式碼中的潛在問(wèn)題，提高程式碼品質(zhì)。

• CodeReviewer：負(fù)責(zé)對(duì) CodeWriter 編寫的程式碼進(jìn)行全面審查，確保程式碼符合最佳實(shí)務(wù)和品質(zhì)標(biāo)準(zhǔn)。 CodeReviewer 不僅會(huì)檢查程式碼的功能實(shí)現(xiàn)，還會(huì)專注於程式碼的可讀性和可維護(hù)性，提出最佳化建議。

透過(guò)蒼穹的模組化設(shè)計(jì)和多智能體的智慧調(diào)度，這些角色智能體能夠分工、協(xié)同作用，不斷迭代優(yōu)化，最終完成遊戲開(kāi)發(fā)任務(wù)。具體來(lái)說(shuō)，任務(wù)鏈（Chain）機(jī)制將各個(gè)子任務(wù)有效串聯(lián)，智慧體間的資訊互動(dòng)則透過(guò) Planner 調(diào)度實(shí)現(xiàn)無(wú)縫連接，提升了開(kāi)發(fā)效率和程式碼品質(zhì)。

未來(lái)，北京航空航天大學(xué)軟體學(xué)院團(tuán)隊(duì)將計(jì)畫繼續(xù)拓展蒼穹的應(yīng)用領(lǐng)域，深入研究多智能體系統(tǒng)在其他複雜任務(wù)中的應(yīng)用潛力。

以上是天津大學(xué)、北航深度參與華為'倉(cāng)頡”，推出首個(gè)基於國(guó)產(chǎn)程式語(yǔ)言的 AI 智能體程式框架'蒼穹”的詳細(xì)內(nèi)容。更多資訊請(qǐng)關(guān)注PHP中文網(wǎng)其他相關(guān)文章！