開關(guān)磁阻電機(jī)控制系統(tǒng)的軟件可靠性測(cè)試與評(píng)估.pdf

1、開關(guān)磁阻電機(jī)由于具有結(jié)構(gòu)簡(jiǎn)單、過(guò)載能力強(qiáng)、調(diào)速性能好、無(wú)需稀土資源等獨(dú)特優(yōu)點(diǎn)，擁有廣闊的應(yīng)用前景。其控制系統(tǒng)在運(yùn)行時(shí)出現(xiàn)軟件故障不僅會(huì)造成系統(tǒng)的崩潰，還可能會(huì)造成功率器件和電機(jī)本體的損壞。因此研究其系統(tǒng)軟件的可靠性具有重要的意義。
　　開關(guān)磁阻電機(jī)控制系統(tǒng)軟件作為一種嵌入式實(shí)時(shí)軟件與普通軟件的可靠性測(cè)試相比面臨諸多問(wèn)題，包括:需要對(duì)軟件實(shí)時(shí)性驗(yàn)證;軟件必須運(yùn)行在特定硬件環(huán)境上等等。針對(duì)于這些問(wèn)題，本文基于測(cè)試模型的可靠性測(cè)試方法，

2、提出了以下的措施以實(shí)現(xiàn)開關(guān)磁阻電機(jī)控制系統(tǒng)軟件的可靠性測(cè)試。
　　(1)采用擴(kuò)展了實(shí)時(shí)性描述機(jī)制后的統(tǒng)一建模語(yǔ)言(Unified Modeling Language，UML)對(duì)開關(guān)磁阻電機(jī)控制系統(tǒng)軟件進(jìn)行建模。
　　(2)設(shè)計(jì)了由包含嵌套和并發(fā)結(jié)構(gòu)的UML狀態(tài)圖推導(dǎo)得出簡(jiǎn)單狀態(tài)圖作為測(cè)試模型的算法。
　　(3)基于生成的測(cè)試模型，采用等價(jià)類和邊界值等方式生成軟件可靠性測(cè)試用例。
　　(4)設(shè)計(jì)了一個(gè)由宿主機(jī)和目標(biāo)