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