關(guān)于協(xié)同代碼驗(yàn)證工作流程分析和介紹

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

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

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

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

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

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

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

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

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

質(zhì)量人員監(jiān)控問題解決過程，把關(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ù)集成過程，使用成本隨著團(tuán)隊(duì)規(guī)模的擴(kuò)大也會(huì)大幅增加；基于文檔報(bào)告的結(jié)果共享隱藏了問題細(xì)節(jié)，無法進(jìn)行跟蹤管理。

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

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

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

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

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

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

圖3 Polyspace Jenkins插件

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

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

技術(shù)資源

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

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