基于MDA面向嵌入式軟件建模及驗(yàn)證系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、近年來(lái)，信息電器、汽車(chē)、航空、航天、國(guó)防、機(jī)器人、通信、醫(yī)療等行業(yè)中，智能化裝備的需求逐步增大，隨之嵌入式技術(shù)的發(fā)展也快速前進(jìn)。嵌入式技術(shù)的快速發(fā)展，嵌入式所應(yīng)用的硬件技術(shù)也在不斷提升，而其硬件平臺(tái)的處理能力也隨之增強(qiáng)。當(dāng)前嵌入式的發(fā)展制約來(lái)源于嵌入式軟件，嵌入式軟件技術(shù)的提升，成為了相關(guān)領(lǐng)域嵌入式產(chǎn)品數(shù)字化改造的關(guān)鍵。當(dāng)前，我國(guó)針對(duì)嵌入式軟件的研發(fā)、測(cè)試和過(guò)程管理依然以傳統(tǒng)方式為主，設(shè)計(jì)、開(kāi)發(fā)、測(cè)試等全生命周期活動(dòng)一直采用文檔驅(qū)動(dòng)的軟

2、件開(kāi)發(fā)方法進(jìn)行，遵循典型的V模型開(kāi)發(fā)流程。每個(gè)階段產(chǎn)生相應(yīng)的文檔，各個(gè)階段通過(guò)文檔進(jìn)行銜接，前一階段產(chǎn)生的文檔作為下一階段工作的輸入條件和評(píng)判依據(jù)。但是由于自然語(yǔ)言的不精確性和人力工作難以避免疏漏的缺點(diǎn)，使得這種以文檔為媒介、人工進(jìn)行評(píng)審的軟件質(zhì)量保證工作很難取得滿意的效果。基于以上原因，以大量人力工作為基礎(chǔ)的、非自動(dòng)化的文檔驅(qū)動(dòng)軟件開(kāi)發(fā)方法存在開(kāi)發(fā)效率低下、成本高、周期長(zhǎng)、質(zhì)量保證困難的弱點(diǎn)，難以滿足當(dāng)前快速變化的市場(chǎng)對(duì)產(chǎn)品研發(fā)周期和

3、產(chǎn)品質(zhì)量的要求。
　　圖形作為一種能夠同時(shí)被人和計(jì)算機(jī)所識(shí)別的直觀描述形式，具有可以簡(jiǎn)練、精確表示軟件需求與設(shè)計(jì)、避免理解偏差和被自動(dòng)化理解與處理的優(yōu)點(diǎn)。本文所述項(xiàng)目通過(guò)對(duì)模型驅(qū)動(dòng)架構(gòu)、圖形建模、圖形校驗(yàn)、可靠性校驗(yàn)、一致性校驗(yàn)、構(gòu)件管理、圖形嵌套、結(jié)構(gòu)化層次識(shí)別等關(guān)鍵技術(shù)進(jìn)行研究，采用EMF、GEF、SWT、JFace等Eclipse圖形化開(kāi)發(fā)與插件開(kāi)發(fā)技術(shù)，基于Eclipse平臺(tái)，進(jìn)行插件開(kāi)發(fā)，設(shè)計(jì)出具備完善的圖元語(yǔ)義、支持系