Laut Nachrichten dieser Website vom 22. Juni hat Huawei gestern Entwicklern auf der ganzen Welt die von Huawei selbst entwickelte Programmiersprache Cangjie vorgestellt. Dies ist der erste öffentliche Auftritt der Programmiersprache Cangjie.
Die Untersuchung dieser Website ergab, dass die Tianjin-Universität und die Pekinger Universität für Luft- und Raumfahrt stark an der Forschung und Entwicklung von Huaweis „Cangjie“ beteiligt waren.
Tianjin-Universität: Cangjie-Programmiersprachen-Compiler
Das Software-Engineering-Team der Abteilung für Intelligenz und Informatik der Tianjin-Universität hat sich mit dem Huawei-Cangjie-Team zusammengetan, um sich intensiv an der Qualitätssicherungsforschung des Cangjie-Programmiersprachen-Compilers zu beteiligen.
Berichten zufolge ist der Cangjie-Compiler die Basissoftware, die eine Symbiose mit der Programmiersprache Cangjie eingeht. In der Vorbereitungsphase der Cangjie-Programmiersprache wurde ein hochwertiger Compiler, der dazu passt, zu einem der Kernziele. Während sich die Programmiersprache Cangjie weiterentwickelt, wird der Cangjie-Compiler ständig aktualisiert und verbessert.
In den letzten fünf Jahren Professor Chen Junjie, Professor Wang Zan, Forscher Jiang Jiajun vom Software-Engineering-Team der Abteilung für Intelligenz und Informatik der Universität Tianjin sowie mehr als zehn Doktoranden, darunter Zhao Yingquan, Fu Ruifeng, Guo Yile, Zheng Kai und Fan Testen Sie Oracle-Konstruktionstechnologie basierend auf Programmmutationen und Testprozessen basierend auf Codedarstellungsbeschleunigungstechnologie und vielen anderen fortschrittlichen Technologien. Die Ergebnisse wurden in zahlreichen wissenschaftlichen Arbeiten auf Top-Konferenzen im Bereich Software-Engineering wie ICSE und ISSTA veröffentlicht und in tatsächlichen Tests des Cangjie-Compilers eingesetzt, wodurch die Testergebnisse des Cangjie-Compilers erheblich verbessert wurden.
Testprogrammgenerierungstechnologie basierend auf Programmsynthese: Diese Technologie zerlegt den Programmcode in feinkörnige Codefragmente, die verschiedene Sprachfunktionen umfassen, und implementiert dann Tests unter Anleitung von Syntax- und semantischen Einschränkungen. Effiziente Synthese von Programmen . Es ist erwähnenswert, dass diese Technologie historische Fehler als Basisdaten verwenden, Codefragmente im Zusammenhang mit Fehlern extrahieren und sie in verschiedene Codekontexte integrieren kann, um ihre Fähigkeit zu stimulieren, mehr Fehler auszulösen und mehr Codezweige auszuführen.
Testvorhersagekonstruktionstechnologie basierend auf Programmmutation: Diese Technologie entwirft eine Reihe äquivalenter Mutationsoperatoren und ungleicher Mutationsoperatoren durch eingehende Analyse und Mining der Syntax und Semantik der Programmiersprache Cangjie. Ersteres bietet Ergänzungen zu Testvorhersagen, integriert metamorphe Testideen und verbessert die Fähigkeiten zur technischen Fehlererkennung, während letzteres die Vielfalt von Testprogrammen weiter erhöht und weitere Funktionen der Cangjie-Sprache, zugrunde liegende Bibliotheksaufrufe und andere Informationen einführt, um ein umfassenderes Verständnis zu erreichen der Cangjie-Compiler-Test.
Codedarstellungsbasierte Testprozessbeschleunigungstechnologie: Diese Technologie zielt darauf ab, die Effizienz von Compilertests zu verbessern, um mehr Compilerfehler in kürzerer Zeit zu erkennen. Diese Technologie fragmentiert den Testprogrammcode und führt eine Lernstrategie zur Codedarstellung ein, um ihn im Sprachdefinitionsraum darzustellen. Darüber hinaus nutzt diese Technologie Codefragmente und generiert Testprogramme aus Diversity-Perspektive und nutzt die Testergebnisse als Feedback, um den nachfolgenden Testprozess weiter zu steuern und so die gesamte Testeffizienz zu verbessern.
Universität Beihang: Cangqiong AI-Agent-Programmierrahmen Dies ist das erste Mal, dass ein AI-Agent-Programmierframework auf inländischen Programmiersprachen basiert.
▲ CangChain-Framework-Diagramm
Berichten zufolge wurde CangChain in der Cangjie-Community geboren und erhielt technische Unterstützung vom offiziellen Team der Cangjie-Programmiersprache. Als Community-Open-Source-Projekt übernimmt Cangqiong modulares Design und Funktionalität mit dem Ziel, Softwareentwicklern zuverlässige Funktionen für Software-Integrationsmodelle, sicheren Zugriff auf private Daten und Dateninteraktion bereitzustellen. Basierend auf dem modularen Designkonzept ermöglicht Cangqiong Entwicklern, verschiedene Module entsprechend ihren eigenen spezifischen Anforderungen auszuwählen und zu kombinieren. Bei der Realisierung der Aufgabe kann Cangqiong die Aufgabe in mehrere Unteraufgaben zerlegen, für jede Unteraufgabe einen geeigneten Agenten (Agent) auswählen und erstellen, dem Sprachmodell die Interaktion mit externen APIs ermöglichen und das Tool (Tool) aufrufen, das das Ziel erreicht der Unteraufgabe und Verwendung Die Aufgabenkette (Kette) verbindet jede Unteraufgabe in Reihe und erhält schließlich die Aufgabenlösung.
Das Team von Lehrer Li Li ist hauptsächlich an der Gestaltung, Entwicklung und Implementierung des ReAct-Frameworks und der Multi-Agenten-Planerplanung im Himmel beteiligt
.
In der spezifischen Anwendung entwarf und implementierte das Team ein Multi-Agenten-System, das die folgenden vier Schlüsselrollen umfasst: Docwriter, CodeWriter, CodeTester und CodeReviewer. Diese Agenten arbeiten auf der Cangqiong-Plattform eng zusammen, um die Entwicklungsaufgaben klassischer Spiele wie 2048 zu erledigen.
Docwriter: Verantwortlich für das Verfassen detaillierter Anforderungsdokumente und Designspezifikationen. In den frühen Phasen der Spieleentwicklung kommuniziert Docwriter mit Benutzern und anderen Agenten, um die funktionalen Anforderungen und Designideen des Spiels genau zu verstehen und aufzuzeichnen und einen detaillierten Entwurf für nachfolgende Schritte bereitzustellen.
CodeWriter: Verantwortlich für das Schreiben des Quellcodes gemäß dem Designdokument. CodeWriter nutzt fortschrittliche Programmiertechniken und Algorithmen, um die von Docwriter bereitgestellten Anforderungen in spezifische Code-Implementierungen umzuwandeln. Der „Reasoning-Action“-Modus von ReAct im Sky Framework verbessert effektiv die Programmiereffizienz und Genauigkeit von CodeWriter.
CodeTester: Nachdem der Quellcode zum ersten Mal geschrieben wurde, generiert CodeTester automatisch eine Reihe von Testfällen und führt sie aus, um die Richtigkeit und Stabilität der Codefunktion sicherzustellen. CodeTester verwendet verschiedene definierte Tools, um Testfälle zu erstellen und entsprechende Testfälle auszuführen, um potenzielle Probleme im Code zu lokalisieren und Feedback zu geben, um die Codequalität zu verbessern.
CodeReviewer: Verantwortlich für die Durchführung einer umfassenden Überprüfung des von CodeWriter geschriebenen Codes, um sicherzustellen, dass der Code Best Practices und Qualitätsstandards entspricht. CodeReviewer prüft nicht nur die Funktionsimplementierung des Codes, sondern achtet auch auf die Lesbarkeit und Wartbarkeit des Codes und macht Optimierungsvorschläge.
▲ Anwendungsbeispiele für auf Cangqiong entwickelte Multi-Agent-SystemeDurch den modularen Aufbau und die intelligente Multi-Agent-Planung von Cangqiong können diese Rollenagenten die Arbeit effizient aufteilen, miteinander zusammenarbeiten und kontinuierlich arbeiten Iterieren Sie Optimize und schließen Sie schließlich die Spieleentwicklungsaufgaben ab. Insbesondere verbindet der Aufgabenkettenmechanismus (Chain) verschiedene Unteraufgaben effektiv, und die Informationsinteraktion zwischen Agenten wird durch die Planner-Planung nahtlos miteinander verbunden, wodurch die Entwicklungseffizienz und die Codequalität verbessert werden.
Zukünftig plant das Team der Beihang University School of Software, die Anwendungsfelder von Qiongqiong weiter auszubauen und eingehende Untersuchungen zum Anwendungspotenzial von Multiagentensystemen bei anderen komplexen Aufgaben durchzuführen.
Das obige ist der detaillierte Inhalt vonDie Tianjin-Universität und die Beihang-Universität sind maßgeblich am „Cangjie'-Projekt von Huawei beteiligt und haben das erste KI-Agent-Programmier-Framework „Cangqiong' auf Basis inländischer Programmiersprachen auf den Markt gebracht.. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!
