程序流程圖結(jié)構(gòu)分析與識別技術(shù)的研究與實現(xiàn).pdf

1、隨著嵌入式領(lǐng)域中模型驅(qū)動開發(fā)技術(shù)的日益成熟和廣泛應(yīng)用，工程的開發(fā)效率及自動化程度被高度重視。其中代碼自動生成技術(shù)將開發(fā)人員從繁瑣的代碼實現(xiàn)中解放出來使其最大程度的關(guān)注系統(tǒng)邏輯的設(shè)計，從而保證了系統(tǒng)設(shè)計的合理性、高效性和魯棒性。
　　針對程序流程圖模型的代碼自動生成技術(shù)，其難點在于流程圖的結(jié)構(gòu)分析與識別。本文基于結(jié)構(gòu)化程序設(shè)計思想的原則，充分考慮流程圖中半結(jié)構(gòu)化和非結(jié)構(gòu)化元素的特征，設(shè)計并實現(xiàn)了標(biāo)準(zhǔn)程序流程圖的結(jié)構(gòu)分析與識別算法。結(jié)

2、構(gòu)化流程圖中基本控制結(jié)構(gòu)之間形成了復(fù)雜的組合與嵌套關(guān)系。結(jié)合上下文結(jié)構(gòu)信息，算法運用圖論知識準(zhǔn)確識別各個循環(huán)結(jié)構(gòu)及分支結(jié)構(gòu)，同時在條件判斷結(jié)點識別算法中判斷循環(huán)結(jié)構(gòu)的類型。通過遍歷循環(huán)結(jié)構(gòu)尋找控制流的改變，算法識別出流程圖中有continue、break和return含義的半結(jié)構(gòu)化元素。針對非結(jié)構(gòu)化流程圖，本文提出了結(jié)構(gòu)化驗證規(guī)則，驗證算法依此辨別出流程圖中有GOTO含義的非結(jié)構(gòu)化元素。
　　本文參與實現(xiàn)的流程圖代碼自動生成工具經(jīng)