隨著應用復雜度的提升，項目開發需要在更大范圍內協同，即從團隊擴展到企業。

以代碼驗證為例，代碼驗證的結果已經不僅僅局限于開發或者測試人員訪問，其他角色也需要參與協同。如項目經理需要了解質量趨勢、問題類別等項目狀態；質量人員需要了解是否達到交付標準，甚至參與到問題的解決過程。

一個典型的協同流程如下：

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

持續集成工具檢查到代碼庫有更新后觸發代碼分析驗證

代碼分析驗證結束后將結果上傳到服務器并郵件通知相關人員

開發主管初步審查歸類代碼問題并推送給代碼負責人解決

代碼負責人（開發人員）修改代碼或進行合理性聲明后再次提交

項目經理查看各項目狀態以把握項目進程及協調內部資源

質量人員監控問題解決過程，把關項目交付標準

圖1 協同代碼驗證流程

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

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

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

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

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

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

圖2 網頁端的驗證結果概要（左）和問題細節（右）

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

圖3 Polyspace Jenkins插件

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

圖4 工具支持下的協同流程

技術資源

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

學習如何開發安全可靠的關鍵性嵌入式應用，如自動駕駛，飛控，醫療設備。使用形式化方法的靜態分析，您可以證明在所有可能的控制流和數據流下，代碼都沒有運行時錯誤。