隨著應(yīng)用復(fù)雜度的提升，項(xiàng)目開(kāi)發(fā)需要在更大范圍內(nèi)協(xié)同，即從團(tuán)隊(duì)擴(kuò)展到企業(yè)。

以代碼驗(yàn)證為例，代碼驗(yàn)證的結(jié)果已經(jīng)不僅僅局限于開(kāi)發(fā)或者測(cè)試人員訪問(wèn)，其他角色也需要參與協(xié)同。如項(xiàng)目經(jīng)理需要了解質(zhì)量趨勢(shì)、問(wèn)題類(lèi)別等項(xiàng)目狀態(tài)；質(zhì)量人員需要了解是否達(dá)到交付標(biāo)準(zhǔn)，甚至參與到問(wèn)題的解決過(guò)程。

一個(gè)典型的協(xié)同流程如下：

開(kāi)發(fā)人員手寫(xiě)代碼或者從模型生成代碼并提交到代碼庫(kù)

持續(xù)集成工具檢查到代碼庫(kù)有更新后觸發(fā)代碼分析驗(yàn)證

代碼分析驗(yàn)證結(jié)束后將結(jié)果上傳到服務(wù)器并郵件通知相關(guān)人員

開(kāi)發(fā)主管初步審查歸類(lèi)代碼問(wèn)題并推送給代碼負(fù)責(zé)人解決

代碼負(fù)責(zé)人（開(kāi)發(fā)人員）修改代碼或進(jìn)行合理性聲明后再次提交

項(xiàng)目經(jīng)理查看各項(xiàng)目狀態(tài)以把握項(xiàng)目進(jìn)程及協(xié)調(diào)內(nèi)部資源

質(zhì)量人員監(jiān)控問(wèn)題解決過(guò)程，把關(guān)項(xiàng)目交付標(biāo)準(zhǔn)

圖1 協(xié)同代碼驗(yàn)證流程

以上協(xié)同流程對(duì)原有的桌面端分析驗(yàn)證+基于文檔報(bào)告的結(jié)果共享模式提出了挑戰(zhàn)：

桌面端分析驗(yàn)證難以較好地支持自動(dòng)化持續(xù)集成過(guò)程，使用成本隨著團(tuán)隊(duì)規(guī)模的擴(kuò)大也會(huì)大幅增加；基于文檔報(bào)告的結(jié)果共享隱藏了問(wèn)題細(xì)節(jié)，無(wú)法進(jìn)行跟蹤管理。

為了更好地支持企業(yè)級(jí)協(xié)同流程，Polyspace 在 2019a 進(jìn)行了改版——

在保留原有桌面端產(chǎn)品的同時(shí)，增加了對(duì)持續(xù)集成流程支持的產(chǎn)品系列：

Polysapce Server 系列可安裝于服務(wù)器端的代碼分析和驗(yàn)證引擎，可以通過(guò)持續(xù)集成工具觸發(fā)；

Polysapce Access 系列是基于網(wǎng)頁(yè)技術(shù)的輕量級(jí)代碼驗(yàn)證結(jié)果訪問(wèn)接口，用戶無(wú)需本地安裝即可通過(guò)瀏覽器訪問(wèn)與桌面端工具一樣的驗(yàn)證結(jié)果細(xì)節(jié)并加強(qiáng)了項(xiàng)目級(jí)信息展示，內(nèi)部集成 JIRA 的接口便于問(wèn)題跟蹤解決。

圖2 網(wǎng)頁(yè)端的驗(yàn)證結(jié)果概要（左）和問(wèn)題細(xì)節(jié)（右）

MathWorks 開(kāi)發(fā)了專(zhuān)門(mén)的 Jenkins 插件用于 Polyspace 代碼驗(yàn)證和結(jié)果服務(wù)，主要功能包括：?jiǎn)?dòng)代碼驗(yàn)證、上傳驗(yàn)證結(jié)果、驗(yàn)證結(jié)果過(guò)濾和郵件通知等。

圖3 Polyspace Jenkins插件

開(kāi)發(fā)工具與管理工具的集成是大勢(shì)所趨，其目的在于提升自動(dòng)化程度、降低信息共享門(mén)檻，最終能滿足企業(yè)對(duì)于高度協(xié)同化的需求。

圖4 工具支持下的協(xié)同流程

技術(shù)資源

《保障嵌入式軟件安全可靠的 7 個(gè)方法》

學(xué)習(xí)如何開(kāi)發(fā)安全可靠的關(guān)鍵性嵌入式應(yīng)用，如自動(dòng)駕駛，飛控，醫(yī)療設(shè)備。使用形式化方法的靜態(tài)分析，您可以證明在所有可能的控制流和數(shù)據(jù)流下，代碼都沒(méi)有運(yùn)行時(shí)錯(cuò)誤。