Universiti Tianjin dan Universiti Beihang terlibat secara mendalam dalam projek 'Cangjie' Huawei dan melancarkan rangka kerja pengaturcaraan ejen AI pertama 'Cangqiong' berdasarkan bahasa pengaturcaraan domestik.

Menurut berita dari laman web ini pada 22 Jun, Huawei semalam memperkenalkan bahasa pengaturcaraan yang dibangunkan sendiri oleh Huawei-Cangjie kepada pembangun di seluruh dunia. Ini adalah penampilan umum pertama bahasa pengaturcaraan Cangjie.

Siasatan tapak ini mendedahkan bahawa Universiti Tianjin dan Universiti Aeronautik dan Astronautik Beijing terlibat secara mendalam dalam penyelidikan dan pembangunan "Cangjie" Huawei.

Universiti Tianjin: Penyusun Bahasa Pengaturcaraan Cangjie

Pasukan kejuruteraan perisian Jabatan Perisikan dan Pengkomputeran Universiti Tianjin bekerjasama dengan pasukan Huawei Cangjie untuk mengambil bahagian secara mendalam dalam penyelidikan jaminan kualiti penyusun bahasa pengaturcaraan Cangjie.

Menurut laporan, Pengkompil Cangjie ialah perisian asas yang bersimbiotik dengan bahasa pengaturcaraan Cangjie. Dalam peringkat persediaan bahasa pengaturcaraan Cangjie, pengkompil berkualiti tinggi yang sepadan dengannya menjadi salah satu matlamat teras. Apabila bahasa pengaturcaraan Cangjie berkembang, pengkompil Cangjie sentiasa dinaik taraf dan dipertingkatkan.

Dalam tempoh lima tahun yang lalu, Profesor Chen Junjie, Profesor Wang Zan, penyelidik Jiang Jiajun dari pasukan kejuruteraan perisian Jabatan Perisikan dan Pengkomputeran Universiti Tianjin, serta lebih daripada sepuluh pelajar siswazah termasuk Zhao Yingquan, Fu Ruifeng, Guo Yile, Zheng Kai dan Fan Xingyu , menjalankan penyelidikan mendalam mengenai kerja ujian pengkompil Cangjie, dan mencadangkan rangka kerja ujian sistematik pengkompil Cangjie yang dipacu data, meliputi teknologi penjanaan program ujian berdasarkan sintesis program, menguji teknologi pembinaan oracle berdasarkan mutasi program, dan proses ujian berdasarkan perwakilan kod Teknologi pecutan dan banyak lagi teknologi canggih. Hasilnya telah diterbitkan dalam banyak kertas akademik di persidangan teratas dalam bidang kejuruteraan perisian, seperti ICSE dan ISSTA, dan telah digunakan dalam ujian sebenar pengkompil Cangjie, dengan ketara meningkatkan keputusan ujian pengkompil Cangjie.

• Uji teknologi penjanaan program berdasarkan sintesis program: Teknologi ini menguraikan kod program kepada serpihan kod halus, melibatkan ciri bahasa yang berbeza, dan kemudian melaksanakan ujian di bawah bimbingan sintaks dan kekangan semantik Sintesis program yang cekap . Perlu diingat bahawa teknologi ini boleh menggunakan kecacatan sejarah sebagai data asas, mengekstrak serpihan kod yang berkaitan dengan kecacatan, dan menyepadukannya ke dalam pelbagai konteks kod untuk merangsang keupayaannya untuk mencetuskan lebih banyak kecacatan dan melaksanakan lebih banyak cabang kod.

• Teknologi pembinaan ramalan ujian berdasarkan mutasi program: Teknologi ini mereka bentuk satu siri pengendali mutasi yang setara dan pengendali mutasi yang tidak sama melalui analisis mendalam dan perlombongan sintaks dan semantik bahasa pengaturcaraan Cangjie. Yang pertama menyediakan tambahan dalam ramalan ujian, menyepadukan idea ujian metamorfik, dan meningkatkan keupayaan pengesanan ralat teknikal, manakala yang kedua meningkatkan lagi kepelbagaian program ujian dan memperkenalkan lebih banyak ciri bahasa Cangjie, panggilan perpustakaan asas dan maklumat lain untuk mencapai pemahaman yang lebih lengkap tentang ujian penyusun Cangjie.

• Teknologi pecutan proses ujian berasaskan perwakilan kod: Teknologi ini bertujuan untuk meningkatkan kecekapan ujian pengkompil untuk mengesan lebih banyak kecacatan pengkompil dalam masa yang lebih singkat. Teknologi ini memecah kod program ujian dan memperkenalkan strategi pembelajaran perwakilan kod untuk mewakilinya dalam ruang definisi bahasa. Tambahan pula, teknologi ini menggunakan coretan kod dan menjana program ujian daripada perspektif kepelbagaian, dan menggunakan keputusan ujian sebagai maklum balas untuk terus membimbing proses ujian seterusnya, dengan itu meningkatkan kecekapan ujian keseluruhan.

Universiti Beihang: Rangka kerja pengaturcaraan ejen AI Cangqiong

Sekolah Perisian Universiti Aeronautik dan Astronautik BeijingPasukan Guru Li LiPenyertaan mendalam dalam pembangunan bahasa pengaturcaraan CangChain, rangka kerja pengaturcaraan ejen AI Cangjie Ini adalah kali pertama Rangka kerja pengaturcaraan ejen AI berdasarkan bahasa pengaturcaraan domestik.

Menurut laporan, CangChain dilahirkan dalam komuniti Cangjie dan menerima sokongan teknikal daripada pasukan rasmi bahasa pengaturcaraan Cangjie. Sebagai projek sumber terbuka komuniti, Cangqiong menggunakan reka bentuk dan fungsi modular, bertujuan untuk menyediakan jurutera perisian dengan fungsi yang boleh dipercayai untuk model penyepaduan perisian, akses selamat kepada data peribadi dan interaksi data.

Berdasarkan konsep reka bentuk modular, Cangqiong membenarkan pembangun memilih dan menggabungkan modul berbeza mengikut keperluan khusus mereka sendiri. Dalam proses merealisasikan tugas, Cangqiong boleh menguraikan tugasan kepada berbilang subtugas, memilih dan membina ejen (Agen) yang sesuai untuk setiap subtugas, membenarkan model bahasa berinteraksi dengan API luaran, memanggil alat (Alat) yang memenuhi matlamat daripada subtugas, dan gunakan Rantaian tugasan (Rantai) menghubungkan setiap subtugas dalam siri, dan akhirnya memperoleh penyelesaian tugas.

Pasukan Guru Li Li terlibat terutamanya dalam reka bentuk, pembangunan dan pelaksanaan rangka kerja ReAct dan penjadualan Perancang berbilang ejen di langit.

Dalam aplikasi khusus, pasukan mereka bentuk dan melaksanakan sistem berbilang ejen, termasuk empat peranan utama berikut: Docwriter, CodeWriter, CodeTester dan CodeReviewer. Ejen ini bekerjasama rapat di platform Cangqiong untuk menyelesaikan tugas pembangunan permainan klasik seperti 2048.

• Docwriter: Bertanggungjawab untuk menulis dokumen keperluan terperinci dan spesifikasi reka bentuk. Pada peringkat awal pembangunan permainan, Docwriter berkomunikasi dengan pengguna dan ejen lain untuk memahami dengan mendalam dan merekod keperluan fungsian dan idea reka bentuk permainan, menyediakan pelan tindakan terperinci untuk langkah seterusnya.

• CodeWriter: Bertanggungjawab menulis kod sumber mengikut dokumen reka bentuk. CodeWriter menggunakan teknik dan algoritma pengaturcaraan lanjutan untuk mengubah keperluan yang disediakan oleh Docwriter kepada pelaksanaan kod tertentu. Mod "tindakan penaakulan" ReAct dalam Rangka Kerja Langit dengan berkesan meningkatkan kecekapan dan ketepatan pengaturcaraan CodeWriter.

• CodeTester: Selepas kod sumber ditulis pada mulanya, CodeTester akan menjana dan menjalankan satu siri kes ujian secara automatik untuk memastikan ketepatan dan kestabilan fungsi kod. CodeTester menggunakan pelbagai alatan yang ditakrifkan untuk membina kes ujian dan melaksanakan kes ujian yang sepadan untuk mencari dan memberikan maklum balas tentang masalah yang mungkin berlaku dalam kod untuk meningkatkan kualiti kod.

• CodeReviewer: Bertanggungjawab untuk menjalankan semakan komprehensif kod yang ditulis oleh CodeWriter untuk memastikan kod tersebut memenuhi amalan terbaik dan standard kualiti. CodeReviewer bukan sahaja akan menyemak pelaksanaan fungsi kod, tetapi juga memberi perhatian kepada kebolehbacaan dan kebolehselenggaraan kod dan membuat cadangan pengoptimuman.

Melalui reka bentuk modular Cangqiong dan penjadualan pintar berbilang ejen, masing-masing dapat bekerjasama dengan cekap dan cekap dengan ejen peranan yang lain. lelaran Optimumkan dan akhirnya selesaikan tugas pembangunan permainan. Khususnya, mekanisme rantai tugas (Rantai) menghubungkan pelbagai subtugas dengan berkesan, dan interaksi maklumat antara ejen disambungkan dengan lancar melalui penjadualan Perancang, meningkatkan kecekapan pembangunan dan kualiti kod.

Pada masa hadapan, pasukan Sekolah Perisian Universiti Beihang merancang untuk terus mengembangkan bidang aplikasi Qiongqiong dan menjalankan penyelidikan mendalam tentang potensi aplikasi sistem berbilang ejen dalam tugas kompleks lain.

Atas ialah kandungan terperinci Universiti Tianjin dan Universiti Beihang terlibat secara mendalam dalam projek 'Cangjie' Huawei dan melancarkan rangka kerja pengaturcaraan ejen AI pertama 'Cangqiong' berdasarkan bahasa pengaturcaraan domestik.. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!