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

點擊看全文