텐진대학교와 베이항대학교는 화웨이의 '창힐(Cangjie)' 프로젝트에 깊이 관여해 국내 프로그래밍 언어를 기반으로 한 최초의 AI 에이전트 프로그래밍 프레임워크 '창치옹(Cangqiong)'을 출시했다.
- WBOY원래의
- 2024-06-23 08:37:591076검색
6월 22일 이 사이트의 뉴스에 따르면, 화웨이는 어제 화웨이가 자체 개발한 프로그래밍 언어인 창힐(Cangjie)을 전 세계 개발자들에게 소개했습니다. 이는 Cangjie 프로그래밍 언어가 최초로 공개된 것입니다.
이 사이트에 대한 문의를 통해 천진대학교와 베이징 항공우주대학교가 화웨이의 'Cangjie' 연구 개발에 깊이 관여한 것으로 나타났습니다.
천진대학교: Cangjie 프로그래밍 언어 컴파일러
천진대학교 지능컴퓨팅학과의 소프트웨어 엔지니어링 팀은 Huawei Cangjie 팀과 협력하여 Cangjie 프로그래밍 언어 컴파일러의 품질 보증 연구에 깊이 참여했습니다.
보고서에 따르면 Cangjie 컴파일러는 Cangjie 프로그래밍 언어와 공존하는 기본 소프트웨어입니다. Cangjie 프로그래밍 언어의 준비 단계에서는 이에 맞는 고품질 컴파일러가 핵심 목표 중 하나가 되었습니다. Cangjie 프로그래밍 언어가 발전함에 따라 Cangjie 컴파일러는 지속적으로 업그레이드되고 개선되고 있습니다.
지난 5년 동안 천준지에 교수, 왕잔 교수, 천진대학교 지능컴퓨팅학과 소프트웨어 공학팀 장자준 연구원을 비롯해 10여 명의 대학원생이 참여했습니다. Zhao Yingquan, Fu Ruifeng, Guo Yile, Zheng Kai, Fan Xingyu 등 은 Cangjie 컴파일러 테스트 작업에 대해 심층적인 연구를 수행하고 프로그램 기반 테스트 프로그램 생성 기술을 다루는 데이터 기반 Cangjie 컴파일러 체계적인 테스트 프레임워크를 제안했습니다. 프로그램 변이를 기반으로 한 합성, 테스트 오라클 구축 기술, 코드 표현 가속 기술을 기반으로 한 테스트 프로세스 등 다양한 첨단 기술을 보유하고 있습니다. 그 결과는 ICSE, ISSTA 등 소프트웨어 공학 분야 최고 학회의 많은 학술 논문에 발표되었고, 창힐 컴파일러의 실제 테스트에 적용되어 창힐 컴파일러의 테스트 결과를 크게 향상시켰습니다.
프로그램 합성 기반 테스트 프로그램 생성 기술: 이 기술은 프로그램 코드를 다양한 언어 기능을 포함하는 세분화된 코드 조각으로 분해한 후 구문 및 의미 제약 조건에 따라 테스트를 구현합니다. 효율적인 프로그램 합성 . 이 기술은 과거 결함을 기본 데이터로 사용하고, 결함과 관련된 코드 조각을 추출하고, 이를 다양한 코드 컨텍스트에 통합하여 더 많은 결함을 유발하고 더 많은 코드 분기를 실행할 수 있다는 점에 주목할 가치가 있습니다.
프로그램 변이 기반 테스트 예측 구축 기술: 이 기술은 창힐 프로그래밍 언어의 구문과 의미에 대한 심층 분석 및 마이닝을 통해 일련의 등가 변이 연산자와 부등 변이 연산자를 설계합니다. 전자는 테스트 예측에 대한 보완을 제공하고 변형 테스트 아이디어를 통합하며 기술적 오류 감지 기능을 향상시키는 반면, 후자는 테스트 프로그램의 다양성을 더욱 강화하고 더 많은 Cangjie 언어 기능, 기본 라이브러리 호출 및 기타 정보를 도입하여 테스트에 대한 보다 완전한 이해를 얻습니다. Cangjie 컴파일러 테스트.
코드 표현 기반 테스트 프로세스 가속 기술: 이 기술은 컴파일러 테스트 효율성을 향상하여 더 짧은 시간에 더 많은 컴파일러 결함을 감지하는 것을 목표로 합니다. 이 기술은 테스트 프로그램 코드를 조각화하고 이를 언어 정의 공간에서 표현하기 위한 코드 표현 학습 전략을 도입합니다. 또한 이 기술은 코드 조각을 활용하고 다양성 관점에서 테스트 프로그램을 생성하며, 테스트 결과를 피드백으로 사용하여 후속 테스트 프로세스를 추가로 안내함으로써 전반적인 테스트 효율성을 향상시킵니다.
베이항 대학교: Cangqiong AI 에이전트 프로그래밍 프레임워크
베이징 항공 우주 소프트웨어 학교Li Li 선생님 팀Cangjie 프로그래밍 언어 기반의 AI 에이전트 프로그래밍 프레임워크인 CangChain 개발에 깊이 참여합니다. 국내 프로그래밍 언어를 기반으로 한 AI 에이전트 프로그래밍 프레임워크는 이번이 처음이다.
보도에 따르면 CangChain은 Cangjie 커뮤니티에서 탄생했으며 Cangjie 프로그래밍 언어 공식 팀으로부터 기술 지원을 받았습니다. 커뮤니티 오픈 소스 프로젝트인 Cangqiong은 모듈식 설계와 기능을 채택하여 소프트웨어 엔지니어에게 소프트웨어 통합 모델, 개인 데이터에 대한 안전한 액세스 및 데이터 상호 작용을 위한 안정적인 기능을 제공하는 것을 목표로 합니다.
모듈식 설계 개념을 기반으로 Cangqiong을 사용하면 개발자는 자신의 특정 요구 사항에 따라 다양한 모듈을 선택하고 결합할 수 있습니다. 작업을 실현하는 과정에서 Cangqiong은 작업을 여러 하위 작업으로 분해하고, 각 하위 작업에 적합한 에이전트를 선택 및 구축하고, 언어 모델이 외부 API와 상호 작용할 수 있도록 하고, 하위 작업의 목표를 충족하는 도구를 호출하고, 태스크 체인(Chain)은 각 하위 태스크를 직렬로 연결하여 최종적으로 태스크 솔루션을 얻는다.
Li Li 선생님의 팀은 주로 ReAct 프레임워크와 하늘의 다중 에이전트 플래너 스케줄링의 설계, 개발 및 구현에 참여하고 있습니다.
특정 애플리케이션에서 팀은 Docwriter, CodeWriter, CodeTester 및 CodeReviewer의 네 가지 주요 역할을 포함하는 다중 에이전트 시스템을 설계하고 구현했습니다. 이들 에이전트는 Cangqiong 플랫폼에서 긴밀하게 협력하여 2048과 같은 고전 게임의 개발 작업을 완료합니다.
Docwriter: 상세 요구 사항 문서 및 디자인 사양 작성을 담당합니다. 게임 개발 초기 단계에서 Docwriter는 사용자 및 다른 에이전트와 소통하여 게임의 기능적 요구 사항과 디자인 아이디어를 깊이 이해하고 기록하여 후속 단계에 대한 자세한 청사진을 제공합니다.
CodeWriter: 디자인 문서에 따라 소스 코드를 작성하는 역할을 담당합니다. CodeWriter는 고급 프로그래밍 기술과 알고리즘을 사용하여 Docwriter가 제공하는 요구 사항을 특정 코드 구현으로 변환합니다. Sky Framework의 ReAct의 "추론-행동" 모드는 CodeWriter의 프로그래밍 효율성과 정확성을 효과적으로 향상시킵니다.
CodeTester: 소스 코드가 처음 작성된 후 CodeTester는 코드 기능의 정확성과 안정성을 보장하기 위해 일련의 테스트 사례를 자동으로 생성하고 실행합니다. CodeTester는 정의된 다양한 도구를 사용하여 테스트 사례를 구성하고 해당 테스트 사례를 실행하여 코드 품질을 향상시키기 위해 코드의 잠재적인 문제를 찾아 피드백을 제공합니다.
CodeReviewer: CodeWriter가 작성한 코드를 포괄적으로 검토하여 코드가 모범 사례 및 품질 표준을 충족하는지 확인하는 일을 담당합니다. CodeReviewer는 코드의 기능 구현을 확인할 뿐만 아니라 코드의 가독성과 유지 관리 가능성에도 주의를 기울여 최적화 제안을 제공합니다.
Cangqiong의 모듈식 설계와 다중 에이전트 지능형 스케줄링을 통해 이러한 역할 에이전트는 효율적으로 작업을 분할하고 서로 협업하며 지속적으로 작업을 수행할 수 있습니다. 최적화를 반복하고 최종적으로 게임 개발 작업을 완료합니다. 구체적으로 태스크 체인(Chain) 메커니즘은 다양한 하위 태스크를 효과적으로 연결하고, 플래너 스케줄링을 통해 에이전트 간의 정보 상호 작용을 원활하게 연결하여 개발 효율성과 코드 품질을 향상시킵니다.
앞으로 베이항대학교 소프트웨어 스쿨 팀은 Qiong의 응용 분야를 계속 확장하고 다른 복잡한 작업에서 다중 에이전트 시스템의 응용 가능성에 대한 심층적인 연구를 수행할 계획입니다.
위 내용은 텐진대학교와 베이항대학교는 화웨이의 '창힐(Cangjie)' 프로젝트에 깊이 관여해 국내 프로그래밍 언어를 기반으로 한 최초의 AI 에이전트 프로그래밍 프레임워크 '창치옹(Cangqiong)'을 출시했다.의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!