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

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

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