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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

圖3 Polyspace Jenkins插件

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

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

技術資源

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

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