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