電子技術論壇_中國專業的電子工程師學習交流社區-中電網技術論壇's Archiver

Hirain123 發表于 2020-5-21 13:15

符合ISO 26262標準的模型驗證技術

[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px][img=400,253]http://www.hirain.com/attached/ckfinder/userfiles/images/1(351).jpg[/img][/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]軟件驗證“口罩防護”,功能安全“綠碼通行”[/size][/font][/color][/align]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px][b]ISO 26262 軟件驗證要求[/b][/size][/font][/color]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]軟件開發啟動階段建模指南要求[/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px][img=400,164]http://www.hirain.com/attached/ckfinder/userfiles/images/2(289).jpg[/img][/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]——摘自ISO 26262-6:2018,Table1[/size][/font][/color][/align]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px][color=#ff8c0]•  [/color]1a執行低復雜性:通過多個度量指標,來度量模型的復雜性,比如:[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of subsystems(子系統個數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of blocks(模塊個數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of linked library(鏈接庫的個數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of charts(Chart個數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of all objects in the chart(Chart中對象個數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of states(狀態個數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of transitions(轉移個數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of MATLAB function(ML函數個數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Number of stateflow code lines(SF代碼行數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Effective lines of MATLAB function code metric(ML代碼有效行數)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Subsystem depth(子系統深度)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Data and structure layer separation(數據和結構分層)[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  Cyclomatic Complexity (Local, Global)(圈復雜度)[/size][/font][/color]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]        其中,圈復雜度是備受企業關注的模型度量指標,它表征著模型中獨立路徑的個數。該指標的閾值約束,能夠指導模型優化,有利于降低模型的負載率。[/size][/font][/color]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px][color=#ff8c0]•  [/color]1b使用語言子集、1c使用強數據類型、并發(2018版新增)等其他要求[/size][/font][/color]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px][b]ISO 26262 軟件驗證流程[/b][/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]        軟件驗證分為靜態驗證、動態驗證2個方面,我們重點來看看如何對模型進行靜態驗證、動態驗證。[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px][color=#ff8c0]•  [/color][b]模型靜態驗證,[/b]概要理解為模型規范檢查。[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  模型靜態驗證要求:[/size][/font][/color]

[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]靜態驗證方法[/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px][img=302,105]http://www.hirain.com/attached/ckfinder/userfiles/images/%E7%AC%A6%E5%90%88ISO-3.jpg[/img][/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]——摘自ISO 26262-6:2018,Table7[/size][/font][/color][/align]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]        1b結對編程(2018版新增),可以通過2人組合方式火花碰撞解決潛在問題。[/size][/font][/color]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]        1d半形式驗證,通過語法分析,借助自動化工具,快速進行模型規范檢查,修改[/size][/font][/color]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  模型靜態驗證工作流程:[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]Step1:定建模規范集合,借助企業經驗/行業標準規范/第三方推薦,定制出符合項目/產品要求的建模規范。行業標準規范,比如MAAB/HIS/MISAR_AC_SLSF等。[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]Step2:搭建建模規范自動化工具,把Step1中定義的建模規范集合,通過靜態的模型語法分析進行自動化分析。規范檢查工具,比如用戶自定義開發腳本/第三方專業工具如MI等。[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]Step3:發布及應用,導出模型規范檢查報告。[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]Step4:根據報告追溯模型不符合規范之處,變更模型。[/size][/font][/color]
[color=#222222][font=Arial, Verdana, sans-serif][size=12px]Step5:重復Step2,最終按Step3終版報告。[/size][/font][/color]

[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px][img=400,228]http://www.hirain.com/attached/ckfinder/userfiles/images/image008(17).png[/img][/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]模型靜態驗證—工作流[/size][/font][/color][/align]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px][color=#ff8c0]•  [/color][b]動態驗證方面,[/b]即我們經常會做的一項活動,動態測試。[/size][/font][/color]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]    ♦  模型動態驗證要求:以模型為測試對象,通過測試要求、測試方法、測試用例、覆蓋率要求進行一些約束。以單元驗證為例,需要滿足以下要求。[/size][/font][/color]

[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]動態驗證方法[/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px][img=400,119]http://www.hirain.com/attached/ckfinder/userfiles/images/%E5%8A%A8%E6%80%81%E9%AA%8C%E8%AF%81%E6%96%B9%E6%B3%95.jpg[/img][/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]——摘自ISO 26262-6:2018,Table7[/size][/font][/color][/align]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]        1n模型代碼間的背靠背測試,模型作為一個“背”,模型自動生成的代碼作為一個“背”,給與兩個同樣的激勵,來對比輸出結果。[/size][/font][/color]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]        其他方面,1j基于需求測試、1k接口測試、1l故障注入測試 等,[/size][/font][/color]

[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]動態驗證生成測試用例方法[/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px][img=450,88]http://www.hirain.com/attached/ckfinder/userfiles/images/image010(12).png[/img][/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]——摘自ISO 26262-6:2018,Table8[/size][/font][/color][/align]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]        模型動態驗證,需要通過一定的方法,來分析test case。比如1c邊界值法,可以根據需求的邊界,比如有上邊界a、下邊界b,一般可以取:下邊界略小、下邊界、下邊界略大、邊界間普通值、上邊界略小、上邊界、上邊界略大值,生成test case。[/size][/font][/color]

[color=#222222][font=Arial, Verdana, sans-serif][size=12px]        其他方面,1a基于需求分析、1b等價類生成與分析等,[/size][/font][/color]

[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]結構覆蓋率要求[/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px][img=450,75]http://www.hirain.com/attached/ckfinder/userfiles/images/image011(13).png[/img][/size][/font][/color][/align]
[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]——摘自ISO 26262-6:2018,Table9[/size][/font][/color][/align]

[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px][img]http://blog.eccn.com/attachment/201703/22/1064719_1490156572eUC8.jpg[/img][/size][/font][/color][/align]




[align=center][color=#222222][font=Arial, Verdana, sans-serif][size=12px]
[/size][/font][/color][/align]

頁: [1]

Powered by eccn 7.0.0  © 2001-2009 Eccn Inc.

成茄子视频人app污下载-茄子视频ios下载安装-茄子视频懂你更多qz8app懂你更多