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

點(diǎn)擊看全文