算法框架在軟件復(fù)用中的應(yīng)用研究.pdf

1、可復(fù)用部件設(shè)計(jì)是提高軟件質(zhì)量和軟件生產(chǎn)力的關(guān)鍵。算法的形式化推導(dǎo)是提高軟件可靠性和正確性的重要途徑，是獲得可復(fù)用部件的重要手段，也是實(shí)現(xiàn)軟件自動化的基礎(chǔ)。高效算法的獲得，可以通過形式化推導(dǎo)產(chǎn)生。對一些基本和典型的算法進(jìn)行分類研究，通過對問題規(guī)范的形式化描述和規(guī)范變換，獲得求解問題的抽象算法。一般而言，不同的問題其抽象算法是不太一樣的。但是，一些算法經(jīng)過再次抽象，就可以發(fā)現(xiàn)它們是有共性的。通過對問題的進(jìn)一步探討，將形式化推導(dǎo)出的算法程序中

2、的有關(guān)算子進(jìn)行抽象，就能獲得求解問題的算法結(jié)構(gòu)即求解一類問題的算法框架。
　　 對一類數(shù)組問題和三色積木問題進(jìn)行了算法形式化推導(dǎo)、抽象表示，分別獲得了求解這兩類問題的算法框架。一類問題具有相同的算法框架實(shí)質(zhì)上是它們具有相同的代數(shù)結(jié)構(gòu)。使用面向?qū)ο蠹夹g(shù)和C++語言中的類、繼承和多態(tài)性等有關(guān)機(jī)制，可將算法框架設(shè)計(jì)成一個(gè)可復(fù)用部件，這些部件可以應(yīng)用于具體的軟件設(shè)計(jì)中。通過努力可以發(fā)現(xiàn)并設(shè)計(jì)出更多的基于算法框架的可復(fù)用部件。算法框架為軟