層次化建模中代碼自動生成技術(shù)的研究及實現(xiàn).pdf

1、隨著模型驅(qū)動開發(fā)技術(shù)的逐漸成熟以及代碼自動生成技術(shù)的出現(xiàn)，基于模型驅(qū)動的開發(fā)方法在軟件開發(fā)領(lǐng)域被廣泛應(yīng)用。模型驅(qū)動開發(fā)使得開發(fā)人員可以更多地關(guān)注于系統(tǒng)邏輯設(shè)計，即在更加抽象的層次上進行開發(fā)而無需關(guān)注代碼框架的設(shè)計，從而提升了開發(fā)效率。
　　針對航天系統(tǒng)需要對高層功能行為建模的開發(fā)特性，本文提出了基于狀態(tài)圖和流程圖相結(jié)合的層次化建模方法，并且針對狀態(tài)圖模型到代碼的自動生成、流程圖模型到代碼的自動生成、以及層次化的模型到代碼的自動生成

2、三方面問題進行了分析和研究。針對狀態(tài)圖，研究并分析了最流行的嵌套switch語句的實現(xiàn)技術(shù)。針對流程圖的代碼自動生成，基于流程圖結(jié)構(gòu)分析與識別算法，對流程圖做了半結(jié)構(gòu)化到結(jié)構(gòu)化的轉(zhuǎn)換、循環(huán)的線性化以及各分支結(jié)構(gòu)域的確定等處理，使得流程圖由圖結(jié)構(gòu)轉(zhuǎn)化為與代碼對應(yīng)的線性結(jié)構(gòu)，從而實現(xiàn)流程圖到C代碼的自動生成工作。針對層次化建模，設(shè)計了自頂向下的層次化模型嵌套關(guān)系，同時加入了數(shù)據(jù)字典以控制對全局量的使用，并對流程圖模型進行擴展，加入了詳細的代