智能家電嵌入式軟件的源碼構(gòu)件設(shè)計方法

通過對家電控制器常用MCU體系結(jié)構(gòu)、程序設(shè)計語言、家電功能及外設(shè)驅(qū)動源碼研究，提出了一種形式化的嵌入式軟件的源碼構(gòu)件和程序代碼的設(shè)計方法。介紹了源碼構(gòu)件層次體系和邏輯模式；定義了源碼構(gòu)件運算符；給出了構(gòu)件及應(yīng)用代碼的形式化生成；并以重用因子K為標(biāo)準(zhǔn)，輔助衡量源碼構(gòu)件的代碼片段劃分和設(shè)計的合理性。該方法具有很好的實用性、可擴展性和通用性。

點擊看全文