課程描述：

本課程重點(diǎn)講述控制算法和模型的測(cè)試與驗(yàn)證。具體內(nèi)容包括所建模型與需求的鏈接，模型架構(gòu)設(shè)計(jì)和數(shù)據(jù)管理，及其對(duì)模型建模規(guī)范的檢查；通過(guò)模型測(cè)試驗(yàn)證的工具給出模型覆蓋度，自動(dòng)生成測(cè)試用例，并且對(duì)模型進(jìn)行屬性驗(yàn)證，當(dāng)驗(yàn)證失敗時(shí)會(huì)給出相應(yīng)的測(cè)試反例，相關(guān)的測(cè)試都能夠給出對(duì)應(yīng)的報(bào)告。講授過(guò)程中將借助客戶已有的相關(guān)軟件進(jìn)行演示。

1)需要對(duì)圖形化模型算法或模型做測(cè)試與驗(yàn)證的人員

2)做系統(tǒng)級(jí)仿真與測(cè)試的人員

1)利用測(cè)試工具對(duì)模型或算法進(jìn)行測(cè)試與驗(yàn)證

2)基于模型設(shè)計(jì)能夠進(jìn)行需求管理、模型架構(gòu)設(shè)計(jì)、數(shù)據(jù)管理、建模規(guī)范檢查等工作