亚洲精品一区二区国产精华液,亚洲欧美中文日韩v在线观看,亚洲综合人成网免费视频,亚洲精品色婷婷在线影院,一区二区三区在线 | 网站

9月27日，開源鴻蒙技術(shù)大會(huì)2025 AI軟件工程分論壇在湖南長(zhǎng)沙國(guó)際會(huì)議中心圓滿舉行。本次論壇圍繞開源鴻蒙智能化軟件工程技術(shù)，直擊開源鴻蒙開發(fā)者三大核心訴求：在“降本”維度，通過代碼模型小型化降低AI工具鏈?zhǔn)褂瞄T檻；在“增效”層面，構(gòu)建大模型評(píng)測(cè)體系提升開發(fā)效率；在“安全”領(lǐng)域，憑借AI驅(qū)動(dòng)的漏洞檢測(cè)方案降低生態(tài)風(fēng)險(xiǎn)。

此次論壇產(chǎn)學(xué)研陣容豪華，由北京大學(xué)、清華大學(xué)、武漢大學(xué)、北京航空航天大學(xué)、中山大學(xué)、重慶大學(xué)等院校院長(zhǎng)級(jí)專家領(lǐng)銜；華為、Thoughtworks、快手三大標(biāo)桿企業(yè)分享實(shí)戰(zhàn)經(jīng)驗(yàn)；中南大學(xué)等湖南本地高校師生深度參與技術(shù)交流聯(lián)動(dòng)。論壇由華為終端軟件工程與IT裝備部孫為國(guó)與開源鴻蒙AI軟件工程SIG副組長(zhǎng)王意明聯(lián)合出品。此次論壇的成功舉辦標(biāo)志著開源鴻蒙AI軟件工程從技術(shù)探索步入規(guī)模落地階段，預(yù)計(jì)2025年底將賦能10萬+開發(fā)者。

AI軟件工程分論壇成功舉辦

中山大學(xué)軟件工程學(xué)院院長(zhǎng)鄭子彬在分論壇上發(fā)表致辭。他表示，通過AI工具賦能開發(fā)，將AI代碼生成、漏洞檢測(cè)等能力深度集成至開源鴻蒙開發(fā)工具鏈，可以快速提升社區(qū)建設(shè)效率。隨著開源鴻蒙開發(fā)創(chuàng)新獎(jiǎng)勵(lì)計(jì)劃的正式啟動(dòng)，標(biāo)志著開發(fā)者可通過代碼貢獻(xiàn)、漏洞修復(fù)等任務(wù)獲取積分，積分可兌換現(xiàn)金獎(jiǎng)勵(lì)或高校學(xué)分，以雙軌機(jī)制推動(dòng)開源鴻蒙生態(tài)發(fā)展。期待開發(fā)者、高校及企業(yè)通過該平臺(tái)一起解決技術(shù)挑戰(zhàn)課題，期望各高校能夠直接在開源鴻蒙上做開拓性、前瞻性的AI軟件工程研究。

中山大學(xué)軟件工程學(xué)院院長(zhǎng)鄭子彬

北京大學(xué)計(jì)算機(jī)學(xué)院副院長(zhǎng)周明輝作為致辭嘉賓表示，開源鴻蒙生態(tài)繁榮向前的同時(shí)，AI技術(shù)也正經(jīng)歷一場(chǎng)“覺醒式”爆發(fā)。開源社區(qū)是產(chǎn)業(yè)創(chuàng)新的重要渠道，希望在本土的基礎(chǔ)軟件上有新的創(chuàng)新，也特別希望產(chǎn)學(xué)研融合，能夠讓本土的技術(shù)在全世界大放光芒。

北京大學(xué)計(jì)算機(jī)學(xué)院副院長(zhǎng)周明輝

華為終端BG軟件可信使能與IT裝備部部長(zhǎng)楊開封作為致辭嘉賓預(yù)祝此次論壇成功舉辦，他表示AI大模型正在重塑軟件工程的智能化進(jìn)程，基于開源鴻蒙PC的AI開發(fā)解決方案將為軟件工程的發(fā)展注入新的動(dòng)力。期待更多的高校、行業(yè)伙伴攜手共建開源鴻蒙生態(tài)，共同推動(dòng)開源鴻蒙軟件工程技術(shù)的創(chuàng)新，邁向更加開放、智能的未來。

華為終端BG軟件可信使能與IT裝備部部長(zhǎng)楊開封

為增進(jìn)合作伙伴信任，并更好地使用由開源鴻蒙提供的AI及軟件工程能力，加速開源鴻蒙組件開發(fā)效率，AI軟件工程能力SIG應(yīng)運(yùn)而生，并于活動(dòng)現(xiàn)場(chǎng)舉辦了成立儀式，由開源鴻蒙項(xiàng)目管理委員會(huì)(PMC)主席任革林頒發(fā)授牌。該SIG致力于以繁榮開源鴻蒙生態(tài)為始，匯聚群智、開源協(xié)作、共建共享，通過托管于開源鴻蒙AI工程能力平臺(tái)，服務(wù)千行百業(yè)。

AI軟件工程能力SIG授牌儀式

華為終端BG平板PC軟件首席架構(gòu)師楊彰做《模型生態(tài)：鴻蒙電腦AI開發(fā)和生態(tài)構(gòu)建》主題演講，介紹了鴻蒙電腦AI開放策略，通過構(gòu)建AI開放能力平臺(tái)，推動(dòng)應(yīng)用快速AI化，支撐PC辦公場(chǎng)景AI生產(chǎn)力。其中賦能伙伴完成重點(diǎn)場(chǎng)景本地化部署，代表企業(yè)有悟空?qǐng)D像、Coremail、新華妙筆等。最后通過介紹鴻蒙應(yīng)用AI能力接入流程，邀請(qǐng)廣大伙伴一起加入鴻蒙AI生態(tài)，推動(dòng)AI生態(tài)快速規(guī)模化，打造鴻蒙電腦AI生產(chǎn)力。

華為終端BG平板PC軟件首席架構(gòu)師楊彰

北京大學(xué)計(jì)算機(jī)學(xué)院博士張克馳帶來了《模型生產(chǎn)：面向邏輯推理的大語言模型能力突破》主題演講，他表示大語言模型(LLM)在輔助軟件開發(fā)方面已經(jīng)顯露出明顯的作用。然而，LLM在基于狀態(tài)的推理和泛化方面存在的問題也日益凸顯，這些基礎(chǔ)能力方面的固有缺陷，正逐步表現(xiàn)在許多程序生成、程序理解及其他軟件開發(fā)任務(wù)中。此外，站在邏輯推理能力的視角，對(duì)當(dāng)前LLM的一些基礎(chǔ)問題和潛在研究進(jìn)展進(jìn)行介紹，以期推動(dòng)LLM能力的進(jìn)一步提升，也推動(dòng)基于LLM的智能化軟件工程的進(jìn)步。

北京大學(xué)計(jì)算機(jī)學(xué)院博士張克馳

ThoughtWorks全球數(shù)字化專家肖然和首席嵌入式操作系統(tǒng)專家林立俊共同帶來了《軟件工程：AI時(shí)代的軟件工程理論及實(shí)踐》主題分享。肖然表示，AI正在重塑軟件工程的本質(zhì)，推動(dòng)行業(yè)從“代碼實(shí)現(xiàn)”轉(zhuǎn)向“知識(shí)決策”;并分享了如何利用大語言模型(LLM)重構(gòu)軟件開發(fā)全流程，將AI深度融入架構(gòu)設(shè)計(jì)、測(cè)試驅(qū)動(dòng)開發(fā)(TDD)與自動(dòng)化測(cè)試等關(guān)鍵環(huán)節(jié);結(jié)合真實(shí)場(chǎng)景，展示如何構(gòu)建高效、可靠的人機(jī)協(xié)同開發(fā)模式，助力開發(fā)者超越“編寫代碼”的層面，轉(zhuǎn)型為駕馭AI的“知識(shí)工程師”，掌握智能時(shí)代的核心競(jìng)爭(zhēng)力。

在企業(yè)實(shí)踐介紹環(huán)節(jié)，林立俊給大家提供了一種基于Agent的API優(yōu)選策略以及測(cè)試用例生成方法。通過使用AI輔助API優(yōu)選、測(cè)試用例生成、 harness生成、依賴關(guān)系識(shí)別等方法實(shí)踐，實(shí)現(xiàn)自動(dòng)化構(gòu)建Test Driver，解決了用例編寫難、漏洞及缺陷發(fā)現(xiàn)率低等痛點(diǎn)問題，提升了API優(yōu)選及測(cè)試的效率和質(zhì)量。

Thoughtworks全球數(shù)字化專家肖然

Thoughtworks首席嵌入式操作系統(tǒng)專家林立俊

中山大學(xué)軟件工程學(xué)院助理教授王焱林在《社區(qū)開發(fā)：代碼大模型的應(yīng)用、評(píng)測(cè)與優(yōu)化》主題演講中，介紹了代碼大模型在軟件開發(fā)與測(cè)試、軟件維護(hù)與保障等領(lǐng)域的應(yīng)用、測(cè)評(píng)與優(yōu)化，涵蓋了從數(shù)據(jù)構(gòu)建到智能體的整個(gè)能力層，并提出了多種解決方案和優(yōu)化方法。她表示AI軟件工程應(yīng)用場(chǎng)景正在由簡(jiǎn)單任務(wù)處理轉(zhuǎn)向到復(fù)雜產(chǎn)業(yè)落地，這就需要環(huán)境構(gòu)建、工具深度融合、軟工知識(shí)與經(jīng)驗(yàn)結(jié)合和可信保障等全方位提升研發(fā)效能。

中山大學(xué)軟件工程學(xué)院助理教授王焱林

中國(guó)科學(xué)院大學(xué)副研究員賈相堃?guī)砹恕渡鐓^(qū)測(cè)試：模糊測(cè)試驅(qū)動(dòng)生成——從自動(dòng)化到智能化》主題演講，他表示編寫模糊測(cè)試驅(qū)動(dòng)進(jìn)行測(cè)試是當(dāng)前函數(shù)庫(kù)測(cè)試的最有效方案之一，如何編寫更有效的驅(qū)動(dòng)是亟需解決的問題。團(tuán)隊(duì)提出了自動(dòng)化方案AFGen，重點(diǎn)解決了驅(qū)動(dòng)自動(dòng)生成中的數(shù)據(jù)依賴、數(shù)值初始化來源和漏洞觸發(fā)路徑約束等難題，研究智能化方案PromeFuzz，引入大模型提高驅(qū)動(dòng)生成能力，通過知識(shí)的系統(tǒng)性提取、利用和反饋，解決了語義知識(shí)缺乏、誤報(bào)率高、支持語言有限等問題，能力優(yōu)于Google OSS-Fuzz-Gen等AI方案。相關(guān)成果形成論文發(fā)表于IEEE S&P 2024、ACM CCS 2025.并應(yīng)用于開源鴻蒙基礎(chǔ)函數(shù)庫(kù)測(cè)試。

中國(guó)科學(xué)院大學(xué)副研究員賈相堃

快手AI軟件工程專家華劍侃作《社區(qū)實(shí)踐：從工具到伙伴，AI 浪潮下的快手研發(fā)工具再定義》主題演講，介紹了Kwaipilot AI研發(fā)工具產(chǎn)品如何圍繞快手研發(fā)全生命周期場(chǎng)景進(jìn)行探索、落地實(shí)踐及對(duì)應(yīng)結(jié)果。Kwaipilot應(yīng)用快手自研的代碼大模型，將大模型能力貫穿研發(fā)全生命周期，提供智能編碼助手、智能問答引擎和智能體開發(fā)平臺(tái)三大AI研發(fā)產(chǎn)品。通過構(gòu)建程序語言的形式化表征和邏輯推理鏈，并將MoE架構(gòu)成功應(yīng)用于預(yù)訓(xùn)練代碼大模型，取得了顯著的線上收益。同時(shí)，從代碼續(xù)寫模型逐步豐富到 Code Embedding、Code Agent、Code/Math Instruct 等模型矩陣，在HumanEval、CoSQA、SWE-bench上取得SOTA表現(xiàn)。

快手AI軟件工程專家華劍侃

活動(dòng)現(xiàn)場(chǎng)還舉辦了題為《開源鴻蒙智能化軟件工程未來技術(shù)展望及人才培養(yǎng)》的圓桌論壇。本次圓桌論壇由華為智能化軟件研發(fā)首席專家王千祥主持，并有幸邀請(qǐng)到武漢大學(xué)特色化示范性軟件學(xué)院院長(zhǎng)金芝、北京航空航天大學(xué)軟件學(xué)院院長(zhǎng)胡春明、中山大學(xué)軟件工程學(xué)院院長(zhǎng)鄭子彬、重慶大學(xué)大數(shù)據(jù)與軟件學(xué)院院長(zhǎng)張洪宇、北京大學(xué)計(jì)算機(jī)學(xué)院副院長(zhǎng)周明輝和清華大學(xué)深圳國(guó)際研究生院計(jì)算機(jī)科學(xué)與技術(shù)研究所所長(zhǎng)夏樹濤。圓桌論壇聚焦開源鴻蒙社區(qū)軟件開發(fā)，就開發(fā)潛在創(chuàng)新點(diǎn)、與AI結(jié)合點(diǎn)，以及如何通過開源鴻蒙社區(qū)開發(fā)創(chuàng)新獎(jiǎng)勵(lì)計(jì)劃與高校人才培養(yǎng)相結(jié)合等問題進(jìn)行現(xiàn)場(chǎng)交流討論。各位專家發(fā)表了諸多具有建設(shè)性的觀點(diǎn)，共同呼吁產(chǎn)學(xué)研各界要把握AI軟件工程發(fā)展帶來的機(jī)遇，打造基礎(chǔ)設(shè)施底座，培養(yǎng)開源鴻蒙開發(fā)人才，共繪開源鴻蒙新藍(lán)圖。

圓桌交流現(xiàn)場(chǎng)

當(dāng)AI遇上開源鴻蒙，不僅是對(duì)開發(fā)流程的優(yōu)化，更在于重新定義智能終端軟件的生產(chǎn)方式。AI軟件工程不僅是技術(shù)升級(jí)，更是開源鴻蒙構(gòu)建差異化生態(tài)的關(guān)鍵抓手。開源鴻蒙將通過AI軟件工程實(shí)現(xiàn)差異化競(jìng)爭(zhēng)力構(gòu)建與生態(tài)系統(tǒng)賦能，提高開發(fā)者的效率，提升開源鴻蒙操作系統(tǒng)的安全性與智能性，為萬物智聯(lián)時(shí)代注入不竭的動(dòng)能。