1-11728-將自動化測試融入嵌入式CICD流程中符合功能安全的要求-0530.pdf

1、將自動化測試融入嵌入式CI/CD流程中符合功能安全的要求Jet Zhou 周杰演講大綱現代C/C+嵌入式開發的趨勢在 CI/CD中實現嵌入式的自動化測試自動化測試達成功能安全的目標Parasoft公司介紹現代C/C+嵌入式開發的趨勢 通過DevOps方法論指導的CI/CD落地應用 盡早進行不同級別的測試 不斷增長的標準合規要求 設置自動化質量閘門“基礎設施即代碼”可擴展性和可管理性 隨時迎接動態更改 降低人員和時間成本從傳統的瀑布式開發轉向DevOps的方法論實踐DevOps結合了敏捷實踐，專注于打破團隊隔閡，自動化手動任務，并通過持續反饋提高生產力。實施一套敏捷原則，這些原則要求開發和運營團

2、隊在整個軟件開發生命周期（SDLC）中進行協作。敏捷開發的規則/價值（敏捷宣言）1.個體的交互勝過流程和工具2.可以工作的軟件勝過面面俱到的文檔3.客戶合作勝過合同談判4.響應變化勝過遵循計劃持續集成(CI)和持續交付(CD)是實現DevOps的最佳實踐盡早進行不同級別的測試（“左移”缺陷檢測和修復）1x4x10 x40 x缺陷百分比85%編碼單元測試功能測試系統測試發布修復缺陷的成本發現的缺陷占比引入的缺陷占比自動化質量閘門和標準合規性 各種行業標準要求采用多種軟件測試實踐 功能安全和過程標準p IEC61508p ISO26262p IEC62304p EN50128,p DO178B/C

3、p MISRAC2012p MISRAC2023p AUTOSARC+14p CERTC/C+p CWEp DISAASDSTIGp JSFp OWASPp PCIDSSp UL2900 編碼標準（功能安全和信息安全）組織內部標準“合規性即代碼”定義合規性要求 自動強制執行 自動化質量閘門 編譯通過 靜態分析與編碼標準實施 單元測試、集成測試、系統級測試 代碼覆蓋率 配置不同的質量閘門 在功能分支中開發 集成到master中主干(master)分支(Branch)自動化質量閘門測試失敗或違規拒絕集成自動化質量閘門沒有失敗的測試或違規接受集成主干(Master):穩定、經過測試、符合要求的代碼沒

4、有失敗的測試或靜態違規嚴格的質量把關分支(Branch):活躍的開發可接受偏差和未通過的測試質量把關不那么嚴格自動化質量閘門和標準合規性基礎設施-工具和技術選型 開發操作系統:Linux(x86)版本管理（SCM）:Git,SVN 構建:CMake,Bazel IDE:輕量級且可自定義 容器化部署技術:容器(Docker-dockerfile)測試工具：ParasoftC/C+test CI/CD工作流:,GitHub,GitLab,Jenkins,AzureDevOps基礎設施即代碼：要求所用工具能支持腳本化（代碼形式）來定義和配置，并跟程序代碼同步版本控制管理。使得基礎設施的變更和維護變得

5、更加可控和可預測，實現環境搭建的可重復、自動化配置部署。為什么嵌入式開發團隊喜歡容器？集中管理和部署開發環境 編譯器,SDK,測試工具 每個團隊成員都有一個一致的開發環境 動態變化 升級到新版本（編譯器、庫）對安全漏洞的集中和即時反應 將開發環境恢復到特定狀態 容器環境版本控制 與受監管的安全關鍵環境相關 降低團隊成員的時間成本容器是一個標準的軟件單元，它封裝代碼及其所有依賴項，使應用程序能夠從一個計算環境快速可靠地運行到另一個環境在嵌入式中典型的容器化應用配置在開發本地計算機上構建和運行（無容器）Git服務器開發/桌面Pull代碼在嵌入式中典型的容器化應用配置Git服務器開發/桌面Pull代

6、碼運行在開發機上構建并在容器中運行在嵌入式中典型的容器化應用配置Git服務器開發/桌面Pull代碼構建和運行在容器中構建和運行，不占用開發人員桌面資源在嵌入式中典型的容器化應用配置構建運行Git服務器開發/桌面Pull代碼將構建和運行環境分別部署在不同的容器中以增強可維護性在嵌入式中典型的容器化應用配置構建運行Git服務器自動化服務器Pull代碼使用Jenkins調用實現CI/CD管道自動化在嵌入式中典型的容器化應用配置本地鏡像注冊中心Docker Hub倉庫自動化開發/桌面拉取鏡像Git 服務器Pull 代碼在團隊之間共享基礎架構，保障基礎架構環境的一致性演講大綱現代C/C+嵌入式開發的趨勢

7、在 CI/CD中實現嵌入式的自動化測試自動化測試達成功能安全的目標Parasoft公司介紹持續集成(CI)和持續交付(CD)在嵌入式中的可行性 較小的代碼更改 解決故障隔離 更快的平均解決時間(MTTR)DevOps在嵌入式開發中的挑戰 更高的測試可靠性 更快的釋放速度 更小的積壓歷史原因在嵌入式開發方法相對傳統，不能貿然遷移到DevOps相較于互聯網開發成熟的生態，廠商生態相對封閉，需要廠商自身實現DevOps的解決方案嵌入式程序跟底層硬件緊密相關，無法跨平臺執行，程序執行和測試需要依賴硬件環境對于這些挑戰的應對措施 提高跨團隊的協作意識并付諸實踐 在接納CI/CD帶來的敏捷性的同時持續確保

8、安全性 分步驟分階段完善CI/CD的應用，加速工具集兼容性 通過模擬環境和容器解耦硬件依賴性 更高的客戶滿意度 提高團隊透明度和問責制 極大的降低成本 易于維護和更新持續集成(CI)和持續交付(CD)帶來的好處（十大好處）自動化測試是CI/CD的一個重要應用場景代碼分析:可靠性+安全性單元測試+集成測試API接口測試自動化UI測試（系統級端到端）人工探索性測試軟件測試的類型有很多，劃分的維度也多種多樣。其中可以作為CI/CD自動化的通常包括：1)靜態代碼分析(StaticCodeAnalysis)2)單元測試(Unittesting)3)集成測試(Integrationtests)4)回歸測試

9、(Regressiontests)5)接口API測試(APItesting)6)安全測試(Securitytests)7)性能測試(Performancetests)8)Commit+Build代碼分析單元測試模塊集成功能測試性能測試滲透測試發布+部署提交+構建開始自動化測試之前的思考1)確定哪些測試類型和測試用例可以自動化。并非所有測試都符合自動化條件。2)確定哪些自動化測試工具最適合您的需求。3)查找測試教程，為您提供需要自動化的測試類型的示例。4)創建測試自動化框架。5)制定每個人都可以遵循的執行計劃。6)開發您自己的測試腳本。7)制定測試執行策略，執行測試過程。8)查看測試數據，并注意

10、測試覆蓋率中的相關指標、錯誤或差距?，F代化測試工具鏈的要求是什么？要求點要求點Parasoft C/C+test支持自動化完全支持命令行模式靈活的許可授權能夠在容器中部署已經在Docker容器中驗證支持“dockerfiles”方式集成主流的CI/CD平臺可用的管道模板向Github、Gitlab和MSAzure報告結果支持標準合規支持廣泛的合規標準，MISRA,AUTOSARTUV認證提供鑒定工具包代碼庫和開發環境日益復雜，迫使開發團隊對其工具鏈和工作流程進行現代化改造支持容器化、CI/CD集成和自動化是現代開發工具的關鍵要求Parasoft產品有助于構建高效和自動化的工作流程Parasof

11、t C/C+test功能列表 靜態分析 語義和句法分析 度量和代碼重復查找器 錯誤檢測和預防 標準合規性 安全、汽車、航空航天、醫療 CERT,MISRA,AUTOSAR,JSF 單元測試 主機和目標板測試執行 打樁/模擬框架 覆蓋率分析 9種覆蓋率指標(行，語句，分支，MC/DC)支持單元測試和應用程序監控 需求雙向追溯統一的C/C+測試工具Parasoft C/C+test集成CI/CD工作流-以靜態分析為例對于龐大而復雜的代碼庫，團隊期望進行靜態分析:緊密的集成到CI/CD中 專注于日常工作 快速響應反饋而無長時間的延遲 啟用過濾掉預先存在的問題，僅顯示在功能分支中的新違規 啟用有效的抑

12、制/豁免管理“干凈代碼”額外的違規(合并前)關注在功能分支的掃描CI/CD完整掃描CI/CDCI/CDCI/CD靜態分析專注于修改后的文件當前開發分支父級分支*修改的文件其他文件使用 C/C+test 進行靜態分析縮小的范圍在功能分支工作的開發人員主要對于修改后的文件相關的反饋感興趣更短的靜態分析反饋循環提高了開發人員的生產力C/C+testGit集成以自動化的方式實現參考結果參考結果當前結果當前結果 在動態開發環境中工作的用戶經常處理不符合任何編碼標準的代碼庫 他們主要擔心的是，“我引入了一個新問題嗎？還是已經存在的問題？”結果基線化通過讓開發人員只關注新問題來提高他們的生產力?！拔业奈业摹?/p>

13、新結果新結果靜態分析專注于新違規（結果基線化）完整掃描靜態分析結果提交請求結果 VisualStudioCode集成ParasoftDTP 具有對CI/CD結果本地訪問的完整工作流程 將完整的CI/CD結果直接下載到VisualStudioCode 在不離開首選開發環境的情況下審查和修復CI/CD靜態分析結果靜態分析結果直接從Visual Studio Code中訪問Parasoft DTP中的CI/CD結果CI/CDCI/CDCI/CD集成Parasoft C/C+test的嵌入式開發CI/CD工作流構建+測試環境CI/CDgit拉取(分支)推送(分支)構建和測試（本地）構建和測試（管道）生

14、成測試報告下載結果管道觸發器接受/集成離線報告在線審計演講大綱現代C/C+嵌入式開發的趨勢在 CI/CD中實現嵌入式的自動化測試自動化測試達成功能安全的目標Parasoft公司介紹在安全關鍵型嵌入式系統中確保功能安全功能安全對軟件測試（驗證&確認）的要求以汽車領域ISO26262為例6-5軟件產品開發總則6-8軟件單元設計和實現6-9軟件單元驗證6-10軟件集成和驗證6-11嵌入式軟件的測試Part6：產品開發：軟件級功能安全標準ISO26262中具體的測試驗證要求功能安全要求需要使用不同的測試方法測試要求測試方法測試手段（人工/工具）Parasaoft C/C+test工具是否滿足實施低復雜

15、度靜態分析工具滿足使用語言子集靜態分析工具滿足實施強類型靜態分析工具滿足使用防御實施技術靜態分析工具滿足使用可靠的設計原則靜態分析工具滿足使用明確的圖形表示法靜態分析工具滿足使用樣式指南靜態分析工具滿足使用命名約定靜態分析工具滿足并發方面靜態分析工具滿足子程序和函數采用一個入口和一個出口靜態分析工具滿足無動態對象或變量，否則需要在其產生過程中進行在線測試靜態分析工具滿足變量初始化靜態分析工具滿足不能重復使用變量名稱靜態分析工具滿足避免全局變量，否則需要證明使用合理性靜態分析工具滿足限制使用指針靜態分析工具滿足無隱式類型轉換靜態分析工具滿足無隱藏數據流或控制流靜態分析工具滿足功能安全要求需要使用

16、不同的測試方法測試要求測試方法測試手段（人工/工具）Parasaoft C/C+test工具是否滿足沒有無條件跳轉靜態分析工具滿足無遞歸靜態分析工具滿足走查代碼審查工具，人工不滿足結對編程代碼審查工具、人工不滿足檢查代碼審查工具、人工不滿足半形式驗證模型驗證工具、人工不滿足形式驗證模型驗證工具、人工不滿足控制流分析靜態分析工具滿足數據流分析靜態分析工具滿足靜態代碼分析靜態分析工具滿足基于抽象解釋的靜態分析靜態分析工具滿足基于需求的測試需求雙向可追溯性需求測試覆蓋率工具滿足接口測試單元測試集成測試工具滿足故障注入測試單元測試集成測試工具、人工滿足資源使用評估單元測試集成測試（目標環境）工具、人工

17、滿足功能安全要求需要使用不同的測試方法測試要求測試方法測試手段（人工/工具）Parasaoft C/C+test工具是否滿足模型和代碼之間的背靠背對比測試（如適用）模型驗證工具、人工滿足需求分析（測試用例生成）需求雙向可追溯性工具滿足等價類的生成與分析單元測試集成測試工具、人工滿足邊界值分析單元測試集成測試工具滿足基于知識或經驗的錯誤猜測單元測試集成測試工具、人工不滿足語句覆蓋率單元測試工具滿足分支覆蓋率單元測試工具滿足MC/DC（修正條件/判定覆蓋率）單元測試工具滿足控制流和數據流的驗證集成測試工具滿足函數覆蓋率集成測試工具滿足調用覆蓋率集成測試工具滿足硬件在環系統測試工具、人工部分滿足電子

18、控制單元網絡環境系統測試工具、人工不滿足整車測試系統測試工具、人工不滿足需求的雙向可追溯性對功能安全的價值RMS/ALMcodeBeamerPolarionDTPC/C+testDTP1.獲得需求、源代碼、單元測試和代碼覆蓋率結果之間的完全可追溯性2.使用需求視圖能夠 直接在IDE中審查需求和測試規范 識別未經測試的需求 將單元測試用例與需求關聯起來需求可追溯性 驗證(Verification)和確認(Validation)確保構建正確的產品 確保正確地構建產品你能容忍有缺陷的軟件被拒之門外嗎？持續集成(CI)和持續交付(CD)加速功能安全合規演講大綱現代C/C+嵌入式開發的趨勢在 CI/CD

19、中實現嵌入式的自動化測試自動化測試達成功能安全的目標Parasoft公司介紹連續五次在 Forrester Waves 中被評為功能測試自動化領域的領導者(2015,2016,2018,2020,2022)IDC MarketScape 2022 全球云測試領導者2022、2023年G2 靜態分析高性能軟件2022年軟件測試人工智能VDC嵌入式獎連續5年榮登SD 時報 測試100強（2018,2019,2020,2021,2022）企業文化和使命企業文化和使命客戶客戶PARASOFT 公司概況服務超過2,0000 家的客戶財富100強占比率 60%財富500強公司中85%客戶續簽率 90%+專

20、注客戶價值，幫助企業成功!引領自動化軟件測試領域的創新和發展。超過30年的行業經驗。全球化的服務能力。獨立自主的企業，不受風險投資影響。經驗豐富的專家提供技術實施和支持。分支機構與合作伙伴遍布全球。榮譽榮譽合作伙伴合作伙伴具有戰略合作關系的伙伴包括 Infosys,Tata,Cognizant強大的聯盟計劃技術合作伙伴有Microsoft,CollabNet VersionOne,Compuware,Delphix,Ranorex,TI,WindRiver,ARM,IARPARASOFT 專注質量，服務全球 公司成立于1987年，總部設在美國加利福尼亞州的洛杉磯。AEP（自動錯誤預防）理論的創

21、始者，擁有自主知識產權的產品引領行業創新。完整的持續質量套件:代碼分析,單元測試,SeleniumWebUI,接口API測試自動化+服務虛擬化。全球領先的軟件測試及軟件生命周期管理解決方案的專業開發供應商 全球分支機構與合作伙伴網絡：9個國家，27個地區 研發中心：美國/波蘭/俄羅斯/中國 Parasoft中國：上海/北京/成都/鄭州/深圳Parasoft 公司作為持續質量領域領導者超過30年幫助企業在不犧牲安全性或質量的情況下實現他們的業務交付目標幫助企業在不犧牲安全性或質量的情況下實現他們的業務交付目標客戶20000+專利3694+%85%財富世界500強9+國家歷史34+續約率60%財富

22、世界100強通信通信/能源能源航空航空/航天航天IT/互聯網互聯網政府政府/監管監管醫療醫療/教育教育金融金融/服務服務汽車汽車/軌交軌交國防國防/公安公安典型客戶-Parasoft 服務的部分全球客戶囊括殊榮parasoftcorpparasoftparasoftcorporationparasoftFollow Parasoft to keep up with the latest!Parasoft 榮譽一覽 一整套持續質量平臺:代碼靜態分析,單元測試,SeleniumWebUI,andAPI測試自動化+服務虛擬化 以“構建”而非“收購”的產品和創新引領行業發展 囊括榮譽:連續五次在 Fo

23、rrester Waves 中被評為功能測試自動化領域的領導者(2015,2016,2018,2020,2022)IDC MarketScape2022全球云測試領導者 2022、2023年G2 靜態分析高性能軟件 2022年軟件測試人工智能VDC嵌入式獎 連續5年榮登SD 時報測試100強（2018,2019,2020,2021,2022）2018、2019年 Gartner 軟件自動化測試遠見獎2019、2022年 GartnerPeerInsights最佳客戶選擇獎在持續質量和自動化軟件測試領域引領行業35+年IDC MarketScapeLeader 2022Worldwide Cloud Testing謝謝您的觀看指導!Wehelpourcustomersmitigaterisk,drivehighersoftwarequality,andachievetheircorporateobjectives.PerfectingsoftwarePARASOFT