基于源碼構(gòu)件模型的嵌入式軟件生成技術(shù)的研究與實現(xiàn).pdf

1、隨著智能家電類產(chǎn)品嵌入式軟件功能和性能復(fù)雜度的不斷提高，如何高效開發(fā)已成為一個嚴(yán)峻的挑戰(zhàn)。智能家電類產(chǎn)品是典型的單片機控制程序應(yīng)用系統(tǒng)，其軟件開發(fā)已呈現(xiàn)出一些顯著的特點：其一是行業(yè)內(nèi)技術(shù)人員流動頻繁，行業(yè)內(nèi)缺少經(jīng)驗復(fù)用的技術(shù)手段；其二市場競爭激烈要求產(chǎn)品的成本更低以及研發(fā)周期加快。傳統(tǒng)的軟件開發(fā)方法雖然能可靠的設(shè)計和開發(fā)智能家電嵌入式軟件系統(tǒng)，但不能解決所呈現(xiàn)出來的新問題。因此，一些新的開發(fā)方法，如構(gòu)件化開發(fā)方法，開始引入單片機控制程序

2、應(yīng)用系統(tǒng)開發(fā)之中。 本論文通過對智能家電嵌入式軟件開發(fā)的可重用技術(shù)研究，提出了一種適用于無操作系統(tǒng)支持的嵌入式軟件開發(fā)的源碼構(gòu)件模型。基于此模型，研究了嵌入式軟件的構(gòu)件化技術(shù)以及與其形式化技術(shù)的結(jié)合，給出了源碼構(gòu)件的形式化描述，提出了源碼構(gòu)件以及基于構(gòu)件的嵌入式軟件的形式化生成方法。利用所研究成果，實現(xiàn)了一個實用嵌入式軟件構(gòu)件化開發(fā)平臺，提供了軟件構(gòu)件化輔助劃分、源碼構(gòu)件生成、應(yīng)用軟件組裝和構(gòu)件信息管理等工具，可以覆蓋智能家電類

3、產(chǎn)品嵌入式軟件開發(fā)的全過程，并實際應(yīng)用于空調(diào)類產(chǎn)品的控制程序開發(fā)過程中。本論文的特色和創(chuàng)新之處包括： 1)提出了一種適用于無操作系統(tǒng)領(lǐng)域嵌入式軟件開發(fā)的嵌入式源碼構(gòu)件模型，并分析該模型的層次結(jié)構(gòu)。 2)分析了智能家電類產(chǎn)品嵌入式軟件開發(fā)的共性，給出其軟件構(gòu)件化劃分策略、構(gòu)件的生成方法、以及基于構(gòu)件的嵌入式軟件組裝方式。 3)給出了源碼構(gòu)件的形式化描述，提出了基于該形式化模型的源碼構(gòu)件和應(yīng)用代碼生成方法，以及形式化