程序流程圖結(jié)構(gòu)化驗(yàn)證與實(shí)時檢測.pdf

1、隨著模型驅(qū)動開發(fā)技術(shù)的不斷發(fā)展，模型驅(qū)動在軟件開發(fā)過程中起著越來越關(guān)鍵的作用。基于模型驅(qū)動的開發(fā)技術(shù)，能夠使得開發(fā)者從整體邏輯框架上去設(shè)計(jì)軟件系統(tǒng)，而不需要關(guān)系具體的細(xì)節(jié)，這樣更有利于提高軟件的開發(fā)效率。另一方面，結(jié)構(gòu)化程序設(shè)計(jì)在軟件開發(fā)過程中所起的作用是巨大的，消除GOTO語句也是程序設(shè)計(jì)的關(guān)鍵。因此，在基于模型的開發(fā)中確保模型的結(jié)構(gòu)化也是非常必要的。本文主要針對模型驅(qū)動開發(fā)相關(guān)領(lǐng)域，研究了基于程序流程圖的結(jié)構(gòu)化驗(yàn)證與實(shí)時檢測算法。<

2、br>　　提出了一種針對標(biāo)準(zhǔn)程序流程圖的結(jié)構(gòu)化驗(yàn)證算法。該算法是在充分研究程序流程圖不同結(jié)構(gòu)特點(diǎn)的基礎(chǔ)上，利用圖論等相關(guān)知識設(shè)計(jì)而成的。該算法具有以下功能：對程序流程圖中的循環(huán)結(jié)構(gòu)進(jìn)行結(jié)構(gòu)化驗(yàn)證；識別程序流程圖中標(biāo)識CONTINUE、BREAK以及RETURN的流程線，并對其進(jìn)行結(jié)構(gòu)化驗(yàn)證；將循環(huán)結(jié)構(gòu)線性化，消除循環(huán)結(jié)構(gòu)對分支結(jié)構(gòu)的影響，同時運(yùn)用遞歸的方式確定程序流程圖中分支結(jié)構(gòu)的作用域，并對分支結(jié)構(gòu)進(jìn)行結(jié)構(gòu)化驗(yàn)證。本文通過大量實(shí)例，驗(yàn)