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

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

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