面向程序理解的轉(zhuǎn)換系統(tǒng)研究.pdf

1、程序理解在軟件維護(hù)、遺留系統(tǒng)的現(xiàn)代化改造以及軟件逆向工程等領(lǐng)域的關(guān)鍵技術(shù)。它具有重大現(xiàn)實(shí)意義和經(jīng)濟(jì)價(jià)值，不但可以避免重復(fù)勞動(dòng)，提高軟件生產(chǎn)的效率和質(zhì)量，而且可以將大量的遺產(chǎn)系統(tǒng)轉(zhuǎn)化為易演化系統(tǒng)，從而充分有效地利用這些遺留系統(tǒng)。論文在軟件復(fù)用和轉(zhuǎn)換通用性基礎(chǔ)上提出了適用于多種程序范型理解的轉(zhuǎn)換系統(tǒng)模型并且實(shí)現(xiàn)之。目前，通用的轉(zhuǎn)換系統(tǒng)有如Microsoft公司IP，ReasoningSystems技術(shù)有限公司的Reasoning5和SciC

2、omp技術(shù)有限公司的SciNapse等。為此，轉(zhuǎn)換系統(tǒng)的研究對繁榮我國軟件產(chǎn)業(yè)和實(shí)現(xiàn)我國軟件產(chǎn)業(yè)可持續(xù)發(fā)展具有積極的意義。 論文通過深入的調(diào)研和在參閱國內(nèi)外大量文獻(xiàn)的基礎(chǔ)上，對轉(zhuǎn)換系統(tǒng)進(jìn)行了較為深入的研究，主要的內(nèi)容和技術(shù)創(chuàng)新包括： 1、描述了當(dāng)前程序理解中的技術(shù)現(xiàn)狀，同時(shí)對程序理解的意義和方法以及程序設(shè)計(jì)決策也進(jìn)行了詳細(xì)的闡述。 2、論文提出了多范型理解的轉(zhuǎn)換系統(tǒng)模型并且實(shí)現(xiàn)了該模型。范型理解是一種能夠用于多種