算法框架在軟件復用中的應用研究.pdf

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

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