6月22日のこのサイトのニュースによると、ファーウェイは昨日、ファーウェイが自社開発したプログラミング言語Cangjieを世界中の開発者に紹介しました。 Cangjie プログラミング言語が公に公開されるのはこれが初めてです。

當サイトの問い合わせにより、天津大學と北京航空航天大學がファーウェイの「蒼傑」の研究開発に深く関與していたことが判明した。

天津大學: Cangjie プログラミング言語コンパイラー

天津大學インテリジェンス?コンピューティング學部のソフトウェアエンジニアリングチームは、Huawei Cangjie チームと協(xié)力して、Cangjie プログラミング言語コンパイラーの品質保証研究に深く參加しました。

報告によると、倉街コンパイラは倉街プログラミング言語と共存する基本ソフトウェアです。 Cangjie プログラミング言語の準備段階では、それに匹敵する高品質のコンパイラが中心的な目標の 1 つになりました。 Cangjie プログラミング言語が進化するにつれて、Cangjie コンパイラは常にアップグレードおよび改善されています。

過去5年間に、天津大學インテリジェンス?コンピューティング學科のソフトウェアエンジニアリングチームのChen Junjie教授、Wang Zan教授、研究員Jiang Jiajun、および以下を含む10名以上の大學院生が參加しました。 Zhao Yingquan、Fu Ruifeng、Guo Yile、Zheng Kai、Fan Xingyu など は、Cangjie コンパイラのテスト作業(yè)に関する詳細な研究を実施し、プログラムに基づいたテスト プログラム生成技術をカバーするデータ駆動型 Cangjie コンパイラの體系的なテスト フレームワークを提案しました。合成技術、プログラムの変更によるテストオラクル構築技術、コード表現(xiàn)によるテスト処理の高速化技術など、數多くの先進技術を搭載しています。その結果は、ICSE や ISSTA などのソフトウェア エンジニアリング分野のトップ會議で多くの學術論文として発表され、Cangjie コンパイラの実際のテストに導入され、Cangjie コンパイラのテスト結果が大幅に向上しました。

• プログラム合成に基づくテストプログラム生成技術: この技術は、プログラムコードを、さまざまな言語機能を含むきめ細かいコードフラグメントに分解し、構文および意味上の制約に基づいてテストを実裝します。 プログラムの効率的な合成。このテクノロジーは、過去の欠陥を基本データとして使用し、欠陥に関連するコードの斷片を抽出し、それらをさまざまなコード コンテキストに統(tǒng)合して、より多くの欠陥をトリガーし、より多くのコード分岐を実行する能力を刺激できることは注目に値します。

• プログラムの突然変異に基づくテスト予測構築技術: この技術は、Cangjie プログラミング言語の構文とセマンティクスの詳細な分析とマイニングを通じて、一連の等価突然変異演算子と不等突然変異演算子を設計します。前者はテスト予測の補足を提供し、変成的なテストのアイデアを統(tǒng)合し、技術的なエラー検出機能を向上させます。一方、後者はテスト プログラムの多様性をさらに強化し、より完全な理解を達成するためにより多くの滄街言語機能、基礎となるライブラリ呼び出し、およびその他の情報を導入します。 Cangjie コンパイラのテスト。

• コード表現(xiàn)ベースのテストプロセス高速化テクノロジ: このテクノロジは、コンパイラのテスト効率を向上させ、より短時間でより多くのコンパイラの欠陥を検出することを目的としています。このテクノロジーは、テスト プログラム コードを斷片化し、それを言語定義空間で表現(xiàn)するためのコード表現(xiàn)學習戦略を導入します。さらに、この技術はコードスニペットを利用して多様性の観點からテストプログラムを生成し、テスト結果をフィードバックとしてその後のテストプロセスをさらにガイドすることで、全體的なテスト効率を向上させます。

北京大學: Cangqiong AI エージェント プログラミング フレームワーク

北京航空航天大學ソフトウェア スクールLi Li 先生のチームCangjie プログラミング言語に基づく AI エージェント プログラミング フレームワークである CangChain の開発に深く參加しています。今回は初めて、國産プログラミング言語をベースにしたAIエージェントプログラミングフレームワークを開発しました。

報告によると、CangChainはCangjieコミュニティで生まれ、Cangjieプログラミング言語公式チームから技術サポートを受けています。コミュニティ オープン ソース プロジェクトとして、Cangqiong はモジュール式の設計と機能を採用し、ソフトウェア統(tǒng)合モデルのための信頼できる機能、プライベート データへの安全なアクセス、およびデータ インタラクションをソフトウェア エンジニアに提供することを目指しています。

モジュール設計コンセプトに基づいて、Cangqiong を使用すると、開発者は獨自のニーズに応じてさまざまなモジュールを選択して組み合わせることができます。タスクを実現(xiàn)する過程で、Cangqiong はタスクを複數のサブタスクに分解し、各サブタスクに適切なエージェントを選択して構築し、言語モデルが外部 API と対話できるようにし、サブタスクの目標を満たすツールを呼び出して、タスクチェーン（Chain）は、各サブタスクを直列に接続し、最終的にタスクの解決策を取得します。

Li Li 先生のチームは、主に ReAct フレームワークと空のマルチエージェント プランナー スケジューリングの設計、開発、実裝に攜わっています。

特定のアプリケーションでは、チームは、Docwriter、CodeWriter、CodeTester、CodeReviewer の 4 つの主要な役割を含むマルチエージェント システムを設計および実裝しました。これらのエージェントは、Cangqiong プラットフォーム上で緊密に連攜して、2048 などの古典的なゲームの開発タスクを完了します。

• ドキュメントライター: 詳細な要件ドキュメントと設計仕様を作成する責任があります。ゲーム開発の初期段階で、Docwriter はユーザーや他のエージェントと通信して、ゲームの機能要件と設計アイデアを深く理解して記録し、後続のステップのための詳細な青寫真を提供します。

• CodeWriter: 設計文書に従ってソースコードを記述する責任を負います。 CodeWriter は、高度なプログラミング技術とアルゴリズムを使用して、Docwriter によって提供される要件を特定のコード実裝に変換します。 Sky Framework の ReAct の「推論アクション」モードは、CodeWriter のプログラミング効率と精度を効果的に向上させます。

• CodeTester: ソース コードが最初に記述された後、CodeTester は一連のテスト ケースを自動的に生成して実行し、コード関數の正確さと安定性を確認します。 CodeTester は、さまざまな定義済みツールを使用してテスト ケースを構築し、対応するテスト ケースを実行して、コード內の潛在的な問題を特定してフィードバックを提供し、コードの品質を向上させます。

• CodeReviewer: CodeWriter によって書かれたコードの包括的なレビューを実施し、コードがベスト プラクティスと品質基準を満たしていることを確認する責任を負います。 CodeReviewer は、コードの機能実裝をチェックするだけでなく、コードの読みやすさや保守性にも注意を払い、最適化の提案を行います。

Cangqiongのモジュラー設計とマルチエージェントインテリジェントスケジューリングを通じて、これらのロールエージェントは効率的に作業(yè)を分割し、相互に協(xié)力し、継続的に実行できます。最適化を繰り返し、最終的にゲーム開発タスクを完了します。具體的には、タスク チェーン (Chain) メカニズムによりさまざまなサブタスクが効果的に接続され、エージェント間の情報のやりとりは Planner スケジューリング を通じてシームレスに接続され、開発効率とコード品質が向上します。

將來的に、北京大學ソフトウェア學部チームは、Qiongqiong の応用分野を拡大し続け、他の複雑なタスクにおけるマルチエージェント システムの応用可能性について徹底的な研究を行う予定です。

以上が天津大學と北杭大學はファーウェイの「Cangjie」プロジェクトに深く関與しており、國産プログラミング言語をベースにした初のAIエージェントプログラミングフレームワーク「Cangqiong」を立ち上げた。の詳細內容です。詳細については、PHP 中國語 Web サイトの他の関連記事を參照してください。