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

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

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

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