導(dǎo)語(yǔ)： 十四年前，馬克·安德森那句“軟件正在吞噬世界”振聾發(fā)聵。十四年后的今天，“軟件定義一切”已從預(yù)言變?yōu)楝F(xiàn)實(shí)。然而，當(dāng)生成式AI的大潮以雷霆萬(wàn)鈞之勢(shì)涌來(lái)，軟件自身的創(chuàng)造過(guò)程正被徹底改寫。一時(shí)間，“99%的程序員將失業(yè)”的焦慮與“AI Coding市場(chǎng)將突破200億美元”的狂熱交織，科技巨頭的裁員浪潮更是為這場(chǎng)變革增添了幾分寒意。站在新舊范式交替的奇點(diǎn)之上，決定未來(lái)世界形態(tài)的軟件工程，將走向何方？開(kāi)發(fā)者又將何去何從？我們與國(guó)內(nèi)軟件工程專家、《軟件工程3.0》一書的作者朱少民先生進(jìn)行了一場(chǎng)深度對(duì)話，試圖撥開(kāi)迷霧，探尋這場(chǎng)革命背后的核心邏輯。
國(guó)內(nèi)軟件工程專家、《軟件工程3.0》一書的作者朱少民先生
軟件工程3.0：一場(chǎng)AI驅(qū)動(dòng)的“范式革命”
“所謂軟件工程3.0，其核心就是以人工智能為引擎，推動(dòng)一場(chǎng)深刻的研發(fā)范式革命，”朱少民開(kāi)門見(jiàn)山地指出。在這場(chǎng)革命中，AI不再是零敲碎打的輔助工具，而是作為一種全新的生產(chǎn)要素，深度滲透到需求分析、設(shè)計(jì)、編碼、測(cè)試等各個(gè)環(huán)節(jié)，其決定性特征體現(xiàn)為數(shù)字化、AIGC（人工智能生成內(nèi)容）與極致的持續(xù)交付。
談及變革最劇烈的測(cè)試領(lǐng)域，朱少民認(rèn)為AI帶來(lái)了三個(gè)層面的顛覆：
1. 從“自動(dòng)化”到“智能化”的飛躍：“過(guò)去，我們談的自動(dòng)化測(cè)試，本質(zhì)是‘錄放機(jī)’，腳本需要人工編寫。現(xiàn)在，大模型有能力自主生成測(cè)試腳本。更關(guān)鍵的是測(cè)試分析，以前我們像購(gòu)物前拉清單一樣，小心翼翼地整理測(cè)試點(diǎn)以防遺漏。如今，大模型基于其龐大的知識(shí)庫(kù)，有能力生成比人類思考更全面的測(cè)試‘清單’。”
2. “測(cè)試左移”從理念到現(xiàn)實(shí)的落地：“‘第一次就把事情做對(duì)成本最低’——這是軟件工程的樸素真理。因此，我們一直提倡‘全程軟件測(cè)試’，將測(cè)試活動(dòng)前置到開(kāi)發(fā)之前。但過(guò)去這很難實(shí)現(xiàn)，因?yàn)樗蠊こ處熂榷枨笥侄O(shè)計(jì)還懂代碼，門檻極高。”朱少民解釋道，“現(xiàn)在，這個(gè)障礙正在被AI移除。測(cè)試人員即使不懂代碼，大模型也可以幫他們解釋、分析，從而真正參與到TDD（測(cè)試驅(qū)動(dòng)開(kāi)發(fā)）的流程中。”
3. 開(kāi)發(fā)能力的“普惠式”增強(qiáng)：“當(dāng)大模型成為每一位研發(fā)人員的‘外腦’，個(gè)人能力得到極大增強(qiáng)，測(cè)試驅(qū)動(dòng)開(kāi)發(fā)得以實(shí)現(xiàn)，測(cè)試用例由AI自動(dòng)生成，測(cè)試覆蓋率也隨之飆升。綜合這幾點(diǎn)，我們就不難理解，軟件工程3.0絕非改良，而是一場(chǎng)顛覆性的革命。”
人機(jī)關(guān)系重塑：從“依賴”與“恐懼”到“高效協(xié)同”
面對(duì)洶涌而來(lái)的AI，行業(yè)內(nèi)彌漫著兩種極端情緒：一種是認(rèn)為AI無(wú)所不能的盲目“依賴”，另一種則是擔(dān)心被徹底取代的“恐懼”。
“這兩種態(tài)度都失之偏頗，”朱少民一針見(jiàn)血地指出，“完全依賴是行不通的。AI并非萬(wàn)能，尤其在需要深厚領(lǐng)域知識(shí)的場(chǎng)景。比如軍工、航天等領(lǐng)域，其標(biāo)準(zhǔn)和數(shù)據(jù)高度保密，互聯(lián)網(wǎng)上的AI大模型根本沒(méi)有受過(guò)相關(guān)訓(xùn)練，自然無(wú)法勝任。”
他進(jìn)一步從人與模型的根本差異上剖析：“人類專家在某個(gè)領(lǐng)域深耕數(shù)十年，對(duì)項(xiàng)目的歷史脈絡(luò)、設(shè)計(jì)取舍‘知其然，更知其所以然’。而大模型處理遺留代碼時(shí)，或許能看懂代碼的執(zhí)行結(jié)果（知其然），卻無(wú)法理解當(dāng)初工程師為何如此設(shè)計(jì)的深層考量（不知所以然）。這種差距在短期內(nèi)難以逾越。”
因此，朱少民認(rèn)為，現(xiàn)階段最理想的模式是**“人機(jī)協(xié)同”**，而非“人機(jī)替代”。“讓大模型打好草稿，人類專家在其上進(jìn)行修正、深化，這才是效率最大化的方式。AI不是要取代你，而是要成為你的得力助手。”
這種“人機(jī)關(guān)系”是動(dòng)態(tài)變化的，它會(huì)隨著人的水平而演進(jìn)：
• 對(duì)于初級(jí)工程師，大模型是“導(dǎo)師”，能答疑解惑，快速提升其能力。
• 對(duì)于中級(jí)工程師，大模型是“伙伴”，能并肩作戰(zhàn)，分擔(dān)大量重復(fù)性工作。
• 對(duì)于資深專家，大模型則能形成一種奇妙的“結(jié)對(duì)測(cè)試”關(guān)系。
“這是一種高級(jí)的‘人機(jī)共生’，”朱少民解釋道，“人類專家與AI交叉檢驗(yàn)對(duì)方生成的內(nèi)容，形成雙重保障。要實(shí)現(xiàn)這一點(diǎn)，工程的嚴(yán)謹(jǐn)性至關(guān)重要——我們需要為AI精心準(zhǔn)備高質(zhì)量的提示詞與上下文，并建立一套驗(yàn)證機(jī)制來(lái)核查AI的產(chǎn)出。而‘結(jié)對(duì)測(cè)試’，正是目前最佳的驗(yàn)證機(jī)制之一。”
落地為王：如何在實(shí)踐中引爆AI的“測(cè)試勢(shì)能”
跨越了算力與人才的門檻，如何找到高價(jià)值的應(yīng)用場(chǎng)景，成為AI能否在軟件工程中成功的關(guān)鍵。在朱少民看來(lái)，測(cè)試環(huán)節(jié)存在幾個(gè)極具潛力的“引爆點(diǎn)”。
“首先，測(cè)試腳本（測(cè)試代碼）的生成，這無(wú)疑是最高價(jià)值的場(chǎng)景之一，因?yàn)樗苤苯訌?fù)用開(kāi)發(fā)代碼生成的成熟能力。”
“但更具變革性的，”他話鋒一轉(zhuǎn)，“是在引入大模型后，堅(jiān)定地執(zhí)行‘測(cè)試先行’的策略。即先讓大模型分析需求，生成測(cè)試代碼，在保證測(cè)試代碼本身簡(jiǎn)單、清晰、無(wú)誤的前提下，再用它去生成產(chǎn)品代碼。這從源頭上保證了產(chǎn)品代碼的高質(zhì)量。”
此外，朱少民還分享了一個(gè)頗具創(chuàng)意的“進(jìn)階玩法”：
“軟件開(kāi)發(fā)中有個(gè)積弊——工程師因項(xiàng)目進(jìn)度緊張而不愿寫、沒(méi)時(shí)間寫規(guī)范的文檔。大模型可以完美解決這個(gè)問(wèn)題。更有趣的是，我們可以引入‘對(duì)抗機(jī)制’——用一個(gè)大模型生成產(chǎn)品代碼，同時(shí)用另一個(gè)大模型為其生成測(cè)試代碼，然后讓它們相互博弈、尋找對(duì)方的漏洞。”他以AlphaZero舉例，“AlphaGo研究人類棋譜，進(jìn)步緩慢；而AlphaZero通過(guò)自我博弈，3天就超越了前者。這種模式的價(jià)值潛力巨大。”
未來(lái)展望：融合，而非顛覆
軟件工程3.0帶來(lái)的革命，是否意味著過(guò)去幾十年的積累都將被推倒重來(lái)？
“恰恰相反，”朱少民對(duì)此給出了明確的否定，“這是一場(chǎng)**‘融合升級(jí)’**，而非‘推倒重來(lái)’。我們過(guò)去幾十年積累的工程能力、自動(dòng)化測(cè)試框架和工具，是完全可以與大模型完美結(jié)合的。”
他最后用了一個(gè)生動(dòng)的比喻總結(jié)道：
“大模型相當(dāng)于智慧的‘大腦’，但它本身沒(méi)有手腳去執(zhí)行復(fù)雜的物理世界任務(wù)。而我們已有的自動(dòng)化工具框架，就是連接現(xiàn)實(shí)世界的‘五官’和‘四肢’。只有當(dāng)這個(gè)智慧的‘大腦’與強(qiáng)健的‘軀體’相結(jié)合，才能組成一個(gè)真正強(qiáng)大的行動(dòng)體，去完成過(guò)去無(wú)法想象的復(fù)雜任務(wù)。這，就是軟件工程3.0的未來(lái)圖景。”
搶沙發(fā)
