Stateflow模型測試典型問題分享——不可達的分支
問題描述：
- Stateflow條件存在互斥情況，導致部分工況不可達。
造成的影響：
較多的互斥結構將無法滿足ASIL C/D等級覆蓋度要求，并存在安全隱患。
優(yōu)化建議：
優(yōu)化Stateflow條件，消除互斥影響，使用靜態(tài)工具檢測。如MXAMmes_slsf_1302規(guī)范，其要求同一源狀態(tài)或結點的轉(zhuǎn)換不應包含冗余的AND轉(zhuǎn)換條件。
例如：
模型中的A條件存在互斥情況，MXAM運行后報告了此問題。
圖1模型結構
圖2報告的問題
聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉(zhuǎn)載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用，如有內(nèi)容侵權或者其他違規(guī)問題，請聯(lián)系本站處理。
舉報投訴
-
測試
+關注
關注
9文章
6201瀏覽量
131347 -
模型
+關注
關注
1文章
3751瀏覽量
52099 -
Stateflow
+關注
關注
1文章
9瀏覽量
9473
發(fā)布評論請先 登錄
相關推薦
熱點推薦
Matlab/Simulink/Stateflow建模開發(fā)及仿真測試
matlab 模擬仿真
熟悉Matlab/Simulink/Stateflow建模開發(fā)及仿真測試，熟悉V模型開發(fā)流程。 熟悉自動代碼生成，能夠編寫或者配置自動代碼生成腳本。
發(fā)表于 10-24 17:23
基于TPT高效測試Stateflow模型#TPT #Stateflow模型 #自動化測試
TPTStateflow
北匯信息POLELINK
發(fā)布于 :2023年01月17日 09:38:36
matlab simulink stateflow
近期在學習simulink里面的stateflow，可是我按著書上的例子搭建的模型，運行就是有錯誤，不曉得是什么錯誤，找不出來，哪位大俠幫我看看，指導下啊
發(fā)表于 06-24 17:39
MatLab/Stateflow定時
利用stateflow實現(xiàn)實時定時功能：stateflow接收一個輸入Timer,我的單片機底層定時器里會每個5ms把Timer加1，加到65535時，下一個會清零（單片機自動清零，重新計數(shù)）。現(xiàn)在
發(fā)表于 05-04 09:18
怎樣去設計基于Simulink的混合動力電動汽車模型
配置用于系統(tǒng)級測試或電能質(zhì)量分析。可以使用不同的子系統(tǒng)來構建電氣、電池和車輛動力學系統(tǒng)的模型變體。將Simscape語言創(chuàng)建的電池模型引入到設計中。監(jiān)控邏輯是采用Stateflow實現(xiàn)
發(fā)表于 08-26 11:35
典型環(huán)節(jié)的模擬及參數(shù)測試
典型環(huán)節(jié)的模擬及參數(shù)測試
根據(jù)數(shù)學模型的相似原理，我們應用電子元件模擬工程系統(tǒng)中的典型環(huán)節(jié)，然后加入典型
發(fā)表于 07-25 10:55
?5040次閱讀
匯編源程序不可達指令的判定算法
本文討論了一種判定匯編語言程序不可達指令的算法，并通過一個示例程序說明了算法的實現(xiàn)并驗證了其正確性。本文的工作為覆蓋測試更全面、更有效的進行做了必要的補充，下一步
發(fā)表于 06-15 10:50
?1453次閱讀
基于分支覆蓋的回歸測試路徑選擇
的測試數(shù)據(jù)。從而降低了回歸測試的效率．研究了回歸測試的分支覆蓋問題，通過利用已有測試數(shù)據(jù)的路徑覆蓋信息，并選擇一定個數(shù)的路徑，以覆蓋所有的目
發(fā)表于 01-15 11:08
?0次下載
用simulink的stateflow建模規(guī)范
本建模規(guī)范適用于電動車整車控制策略開發(fā)階段，快速原型模型的開 發(fā)和維護。 預期讀者對象為：熟悉整車結構，具有較強的 Simulink/Stateflow 建 模能力，并熟悉整車控制思想的相關專業(yè)人員。
發(fā)表于 08-31 14:53
?5次下載
使用TPT完成Stateflow動態(tài)測試
本文總結了一套使用TPT針對Stateflow的具有普適性的測試方法。以Fan Management單元模塊的動態(tài)測試為例進行介紹。
Siumulink模型測試典型問題分享——模型層級設計不合理
典型測試問題分享-模型層級設計不合理
問題描述：
?重點功能與非重點功能混合，導致測試層級選擇困難。
?模型未體現(xiàn)層級劃分，結構平鋪導致層級
Simulink模型測試典型問題分享——模型庫管理問題
典型測試問題分享-模型庫管理問題
問題描述：
?相同信號名稱模型不同位置重復出現(xiàn)，導致編譯異常報錯（模型運行正常）。
?名稱存在邏輯沖突，例
工商網(wǎng)監(jiān)
評論