5
（7942人評(píng)價(jià)）
筆記：(65387)
學(xué)員：(97562)
瀏覽：(237018)
曙海教學(xué)優(yōu)勢(shì)
本課程，秉承二十一年積累的教學(xué)品質(zhì)，以項(xiàng)目實(shí)現(xiàn)為導(dǎo)向,面向企事業(yè)項(xiàng)目實(shí)際需要,老師將會(huì)與您分享設(shè)計(jì)的全流程以及工具的綜合使用經(jīng)驗(yàn)、技巧。課程可定制,線上/線下/上門皆可,熱線:4008699035。
曙海培訓(xùn)的課程培養(yǎng)了大批受企業(yè)歡迎的工程師。大批企業(yè)和曙海
建立了良好的合作關(guān)系,合作企業(yè)30萬(wàn)+。曙海培訓(xùn)的課程在業(yè)內(nèi)有著響亮的知名度。
?本課程要關(guān)注使用Simulink Design Verifier??來(lái)確認(rèn)設(shè)計(jì)不存在潛在錯(cuò)誤，是經(jīng)過(guò)充分測(cè)試的并滿足必要的設(shè)計(jì)需求。主要內(nèi)容包括：
|
Understanding the Verification Workflow |
目標(biāo)：熟悉驗(yàn)證流程，學(xué)會(huì)使用Simulink Design Verifier準(zhǔn)備模型并進(jìn)行簡(jiǎn)單分析。 ·?形式化驗(yàn)證方法的介紹 ·?介紹Simulink Design Verifier的工作流程 ·?準(zhǔn)備模型并確保兼容性 ·?配置分析選項(xiàng) ·?生成結(jié)果 |
|
設(shè)計(jì)錯(cuò)誤檢測(cè) |
目標(biāo)：學(xué)習(xí)如何使用設(shè)計(jì)錯(cuò)誤檢測(cè)來(lái)驗(yàn)證模型。 ·?設(shè)計(jì)錯(cuò)誤類型介紹 ·?設(shè)計(jì)錯(cuò)誤檢測(cè) ·?解釋結(jié)果和報(bào)告 ·?修復(fù)設(shè)計(jì)錯(cuò)誤 ·?使用參數(shù)表 |
|
自動(dòng)生成測(cè)試 |
目標(biāo)：回顧覆蓋率類型，并學(xué)習(xí)如何使用自動(dòng)測(cè)試用例生成來(lái)完成缺失部分的覆蓋。 ·?了解覆蓋率的類型 ·?計(jì)算模型覆蓋率 ·?使用自動(dòng)測(cè)試用例生成來(lái)增加覆蓋率 ·?解釋結(jié)果與報(bào)告 ·?應(yīng)用自定義條件與目標(biāo) |
|
屬性證明 |
目標(biāo)：將需求形式化為屬性，并學(xué)習(xí)使用屬性證明來(lái)驗(yàn)證設(shè)計(jì)是否滿足其需求。 ·?將需求形式化 ·?屬性證明 ·?調(diào)試修改后的屬性 ·?使用時(shí)序操作 |
|
管理模型復(fù)雜度? |
目標(biāo)：識(shí)別模型復(fù)雜度的來(lái)源，并學(xué)習(xí)提高分析性能的技術(shù)。 ·?識(shí)別模型復(fù)雜度的來(lái)源 ·?實(shí)現(xiàn)模塊替換 ·?處理非線性 ·?管理插值表的復(fù)雜度 ·?使用計(jì)數(shù)器和計(jì)時(shí)器 |
