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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

MathWorks 開發(fā)了專門的 Jenkins 插件用于 Polyspace 代碼驗證和結(jié)果服務(wù)，主要功能包括：啟動代碼驗證、上傳驗證結(jié)果、驗證結(jié)果過濾和郵件通知等。

圖3 Polyspace Jenkins插件

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

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

技術(shù)資源

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

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