作者：李佳師

今天，軟件已經(jīng)滲透到我們生活、工作的方方面面，從日常生活到復(fù)雜的制造業(yè)系統(tǒng)、從航空航天到醫(yī)療金融等各個領(lǐng)域，軟件的質(zhì)量與可靠性至關(guān)重要。眼下，人工智能正改變軟件開發(fā)編程范式，人機(jī)協(xié)同開發(fā)將成為未來軟件開發(fā)的重要模式，軟件質(zhì)量保證（QA）從體系架構(gòu)到流程、工具如何變化才能夠更好地適應(yīng)軟件開發(fā)的新需求，就成為越來越多用戶關(guān)注的焦點(diǎn)。最近幾年，Qt先后收購了自動化測試工具廠商froglogic和軟件架構(gòu)驗(yàn)證、靜態(tài)代碼分析廠商Axivion，產(chǎn)品線從開發(fā)平臺和工具向軟件質(zhì)量保證延伸，變成一家涵蓋軟件開發(fā)全周期的解決方案供應(yīng)商。在最近舉行的Qt全球峰會2023中國站上，關(guān)于Qt的QA，關(guān)于QA之變，有很多干貨信息。

收購，對象為何是它們 ？

當(dāng)Qt的用戶越來越多、Qt的開發(fā)者隊(duì)伍越來越龐大，從設(shè)計構(gòu)建工具、開發(fā)平臺向質(zhì)量保證和管理領(lǐng)域延伸，變成涵覆蓋軟件開發(fā)全周期的解決方案供應(yīng)商，很好理解。這既是軟件開發(fā)全流程所需，也是一個持續(xù)高速增長的市場，用Qt Group首席執(zhí)行官Juha Varelius的話說，這是一個保持兩位數(shù)增長的市場。

事實(shí)如此，即便是在當(dāng)下充滿挑戰(zhàn)經(jīng)濟(jì)下行壓力下，最新數(shù)據(jù)顯示，軟件開發(fā)和質(zhì)保技能仍然是企業(yè)在數(shù)字經(jīng)濟(jì)中蓬勃發(fā)展的重中之重。Qt Group產(chǎn)品管理高級副總裁JuhaPekka Niemi 表示，盡管經(jīng)濟(jì)市場存在不確定性，但企業(yè)仍在尋找并努力招聘開發(fā)人才，而利用跨平臺開發(fā)框架和質(zhì)量保證工具來完善設(shè)計和開發(fā)流程，提高效率，開發(fā)者就能在開發(fā)、測試和維護(hù)方面實(shí)現(xiàn)改進(jìn)，加快整體上市時間。

應(yīng)該說，市場上從事軟件自動化測試與靜態(tài)代碼分析的廠商不少，為何并購對象是froglogic和Axivion？對于這個問題，除了Qt Group的CEO， 這次出席Qt峰會的有關(guān)負(fù)責(zé)人都不會直接回應(yīng)，但峰會上關(guān)于Qt的QA相關(guān)信息分享，釋放出這樣的答案。

一個原因是這兩家廠商的工具和解決方案與Qt平臺高度貼合，這兩家公司在被收購之前，其工具已經(jīng)被大量Qt 用戶所采用。當(dāng)然這兩家廠商的工具除了對Qt非常友好外，也支持非Qt的測試場景。Qt Group中國工程師張帆與姜泓都談及了froglogic和Axivion技術(shù)與Qt的高度貼合性。

事實(shí)上，froglogic兩位創(chuàng)始人都曾在Trolltech（1995首次公開發(fā)布Qt）參與開發(fā)Qt。他們創(chuàng)建froglogic、發(fā)布Squish的初衷就是為Qt應(yīng)用程序提供GUI自動化測試解決方案。而“學(xué)院派”出生的德國Axivion支持C/C++、C#的下一代靜態(tài)代碼工具，其中針對Qt的靜態(tài)測試規(guī)則進(jìn)行了定制，能夠?qū)t開發(fā)的應(yīng)用進(jìn)行很好地靜態(tài)代碼掃描。

另外一個原因是這兩家公司在軟件質(zhì)量保證領(lǐng)域有很多“獨(dú)門秘籍”。

從軟件測試工具來看，眾多周知，基于Linux的自動化測試工具不多，在嵌入式領(lǐng)域就更少，作為跨平臺、支持多框架的自動化測試工具Squish既然支持基于對象的識別，也支持基于圖像、OCR進(jìn)行界面的自動化測試，針對跨平臺的GUI應(yīng)用只用一套測試腳本就可以在Windows、Linux、Android、Mac OS上跑，對于用戶來說非常方便，省時、省力。

Axivion作為在靜態(tài)代碼分析工具，誤報率低，準(zhǔn)確性高，代碼規(guī)則覆蓋全面，并擁有架構(gòu)驗(yàn)證功能，能夠?qū)⒓軜?gòu)設(shè)計與代碼實(shí)現(xiàn)進(jìn)行驗(yàn)證，這是Axivion獨(dú)有的，非常適合需要長時間運(yùn)行的項(xiàng)目，尤其適用于航空航天、汽車、鐵路、醫(yī)療、能源、測量與控制等安全關(guān)鍵性的產(chǎn)品。

編程越AI ， QA越重要？

收購froglogic和Axivion時，Qt首席執(zhí)行官Juha Varelius或許也沒有料想到這一波由ChatGPT引發(fā)的人工智能浪潮來得如此快，AI正深刻影響軟件開發(fā)。當(dāng)越來越多的代碼基于AI生成，而開發(fā)者越來越多地轉(zhuǎn)向軟件創(chuàng)意、策劃、構(gòu)架、規(guī)劃、分析等維度時，軟件測試與質(zhì)量保證的重要性更進(jìn)一步凸顯出來。

AI生成的代碼越多，需要的測試驗(yàn)證的代碼也就越多。2023年6月，GitHub對500位美國企業(yè)開發(fā)者調(diào)研中，92%受訪者表示正在工作內(nèi)外使用AI編碼工具，這意味著在軟件開發(fā)上需要做的代碼驗(yàn)證、架構(gòu)驗(yàn)證、安全驗(yàn)證也將越來越多，使得質(zhì)量保證工具和解決方案有了更多、更大的用武之地。

之所以說Qt的QA在AI時代大有用武之地，而且優(yōu)勢進(jìn)一步凸顯出來，是因?yàn)槠銺A方案能夠很好地解決人機(jī)協(xié)同軟件開發(fā)所帶來的諸多挑戰(zhàn)。

一方面是“全方位”、“無死角”。目前，Qt構(gòu)建了包括Squish、Coco、Test Center、Axivion Suite等全套“QA全家桶”來保證軟件的質(zhì)量。其中，Squish側(cè)重桌面、移動、嵌入式、Web應(yīng)用的跨平臺GUI自動化測試；Coco是一款跨平臺、跨編譯器的代碼覆蓋率分析工具；Test Center提供測試結(jié)果集中管理平臺；Axivion Suite對架構(gòu)與代碼實(shí)現(xiàn)進(jìn)行驗(yàn)證并通過靜態(tài)代碼分析檢查代碼是否違規(guī)。這樣的QA工具組合能夠?qū)I與人協(xié)作開發(fā)軟過程中有可能出現(xiàn)的問題，進(jìn)行“無死角”的“圍追堵截”、全面消除。

二是高度自動化、智能化，大大提升了測試與驗(yàn)證的效率。以測試代碼覆蓋率為例，測試代碼通常要比生產(chǎn)代碼多很多。即便只有一小段源代碼，測試工程師也常常需要編寫大量單元測試才能實(shí)現(xiàn)100%的覆蓋率。“如果代碼覆蓋率從50%到51%需要幾分鐘，提升到90%可能需要一個小時，但達(dá)到100%時，測試時間會呈指數(shù)級上升。對于某些產(chǎn)品來說，要達(dá)到100%的代碼覆蓋率可能需要幾個月，”Coco高級開發(fā)工程師Sebastian Fricker在近期一篇名為《代碼覆蓋率分析的新時代》博文中表示，Coco能夠自動生成軟件測試數(shù)據(jù)，以提高測試質(zhì)量并幫助覆蓋各種邊緣或錯誤情況，而無需大量的人工測試，這意味著企業(yè)能夠用更少的時間、更少的人力測試更多代碼。

Qt的QA工具高效，還體現(xiàn)在合規(guī)與標(biāo)準(zhǔn)的快速適配上，很多時候，業(yè)界的相關(guān)編碼標(biāo)準(zhǔn)剛出臺，立刻實(shí)現(xiàn)與之同步支持。比如2023年12月，Qt發(fā)布Axivion Suite 7.7，該版本的MISRA檢查器提供了對MISRA C:2012和MISRA C:2023標(biāo)準(zhǔn)的全面支持。MISRA C:2012和MISRA C:2023是MISRA（汽車行業(yè)軟件可靠性協(xié)會）提供的編碼標(biāo)準(zhǔn)，有助于確保軟件的安全性和可靠性，雖然它的重點(diǎn)行業(yè)是汽車，但它的原則同樣應(yīng)用于其他安全關(guān)鍵型行業(yè)。事實(shí)上，MISRA C:2023標(biāo)準(zhǔn)剛剛發(fā)布不久， Axivion Suite7.7已支持了該標(biāo)準(zhǔn)的大部分規(guī)則檢查，并不斷補(bǔ)充完善，以實(shí)現(xiàn)對所有自動可測試規(guī)則的完全覆蓋。

三是以測試左移的思路持續(xù)推動其QA方案的演進(jìn)。傳統(tǒng)的測試方式是軟件開發(fā)完成，才會啟動相關(guān)的測試驗(yàn)證工作，而將測試左移將測試工作提前到開發(fā)早期并貫穿在整個開發(fā)過程，就能提前發(fā)現(xiàn)問題，減少返工，提升效率節(jié)約成本。Qt的QA在誕生之時就具備了測試左移的特征，比如將靜態(tài)代碼測試擠進(jìn)更小的迭代中，避免最后測試帶來的大返工?，F(xiàn)在Qt進(jìn)一步將左移測試貫穿在下一代QA方案的持續(xù)演進(jìn)上。

據(jù)悉，即將發(fā)布的Squish 8.0將提供基于模型的測試。對于能夠在抽象建模級別工作的復(fù)雜軟件系統(tǒng)和團(tuán)隊(duì)來說，基于模型的測試可以幫助團(tuán)隊(duì)避免迷失在細(xì)節(jié)中，專注于重要的事情，通過可視化模型編輯界面，支持可視化編輯、執(zhí)行測試和測試結(jié)果展示讓團(tuán)隊(duì)間的溝通更輕松；最重要的可以進(jìn)一步實(shí)現(xiàn)左移測試在項(xiàng)目實(shí)施之前與利益相關(guān)者共享模型，以驗(yàn)證需求并找出需求中的差距。

此前，Qt Group產(chǎn)品總監(jiān)羅淼曾表示，AI與開發(fā)工具結(jié)合將帶來一些顛覆性的機(jī)會。作為軟件開發(fā)全生命周期生產(chǎn)力工具的重要組成部分，軟件質(zhì)量保證工具與AI的結(jié)合正在改變QA。讓軟件測試與質(zhì)量保證工作變得更輕松、高效，Qt會持續(xù)在路上。