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