EMPLOYING GENERICITY AND CASE-BASED REASONING TO EFFECTIVELY REUSE CODE

Abstract

EFFECTIVE REUSE OF CODE REQUIRES A RICH COLLECTION OF DESIGNED-FOR-REUSE SOFTWARE COMPONENTS AND KNOWLEDGE ON HOW TO LOCATE THEM IN A REPOSITORY, ADAPT THEM IF NEEDED, AND EVEN CREATE NEW ONES BASED ON INFORMATION PROVIDED BY OTHER COMPONENTS EXPLOITING SIMILAR CHARACTERISTICS. THIS THESIS PRESENTS NOVEL METHOD WHICH USES GENERICITY (A TECHNIQUE THAT ALLOWS A MODULE TO BE DEFINED WITHPARAMETERIZED TYPES), AND EMPLOYS A SPECIAL FORM OF CASE-BASED REASONING (A METHOD OF SOLVING PROBLEMS BASED ON THE TRANSFER OF PAST EXPERIENCE TO NEW PROBLEM SITUATIONS). USING ESTABLISHED CORRESPONDENCES FROM PREVIOUS SITUATIONS, THE SYSTEM SEMI-AUTOMATICALLY FINDS A GOOD MATCH (E.G. A CLASS) IN THE REPOSITORY TO THE USER'S REQUIREMENTS, POSSIBLY ADAPTING IT TO SPECIFIC NEEDS. FINALLY, THE REPOSITORY IS ENRICHED WITH THE NEW COMPONENT(S) AND PROCESS KNOWLEDGE, FOLLOWED BY AN AUTOMATIC APPROPRIATE REORGANIZATION. THE METHOD PRESENTED INTHIS THESIS HAS BEEN EVALUATED THROUGH A PROTOTYPE IMPLEMENTATION, WHICH ADDRESSES THE REUSE OF C++ CODE. ADDITIONALLY, A USAGE EXPERIMENT PERFORMED IN ORDER TO GET AN INDICATION ON THE USAGE CHARACTERISTICS OF THE PROTOTYPE SYSTEM. THE RESULTS OF THIS EXPERIMENT ARE VERY ENCOURAGING, CONSIDERING THAT THE PARTICIPANTS HAD NO PREVIOUS SYSTEMATIC KNOWLEDGE OR USAGE EXPERIENCE OF THE SYSTEM.

Η ΑΠΟΤΕΛΕΣΜΑΤΙΚΗ ΑΝΑΧΡΗΣΙΜΟΠΟΙΗΣΗ ΚΩΔΙΚΑ ΑΠΑΙΤΕΙ ΤΗΝ ΥΠΑΡΞΗ ΕΝΟΣ ΠΛΟΥΣΙΟΥ ΣΥΝΟΛΟΥ ΣΥΝΙΣΤΩΣΩΝ ΛΟΓΙΣΜΙΚΟΥ ΚΑΙ ΓΝΩΣΗΣ ΠΟΥ ΣΧΕΤΙΖΕΤΑΙ ΜΕ ΤΟΝ ΕΝΤΟΠΙΣΜΟ ΤΟΥΣ ΣΕ ΕΝΑ ΤΑΜΙΕΥΤΗΡΑ, ΤΗΝ ΤΥΧΟΝ ΠΡΟΣΑΡΜΟΓΗ ΤΟΥΣ ΣΕ ΚΑΠΟΙΕΣ ΝΕΕΣ ΑΝΑΓΚΕΣ, ΚΑΘΩΣ ΚΑΙ ΤΗΔΗΜΙΟΥΡΓΙΑ ΝΕΩΝ ΣΥΝΙΣΤΩΣΩΝ ΜΕ ΒΑΣΗ ΤΗΝ ΠΛΗΡΟΦΟΡΙΑ ΠΟΥ ΕΜΠΕΡΙΕΧΕΤΑΙ ΣΕ ΚΑΠΟΙΕΣΑΛΛΕΣ ΠΑΡΟΜΟΙΕΣ ΣΥΝΙΣΤΩΣΕΣ. ΣΤΗ ΔΙΑΤΡΙΒΗ ΑΥΤΗ ΠΑΡΟΥΣΙΑΖΕΤΑΙ ΜΙΑ ΝΕΑ ΠΡΟΣΕΓΓΙΣΗ ΓΙΑ ΤΗΝ ΑΝΑΧΡΗΣΙΜΟΠΟΙΗΣΗ ΟΝΤΟΚΕΝΤΡΙΚΟΥ ΚΩΔΙΚΑ, ΣΤΗΝ ΟΠΟΙΑ ΧΡΗΣΙΜΟΠΟΙΟΥΝΤΑΙ ΠΕΡΙΠΤΩΣΙΟΛΟΓΙΚΟΙ ΣΥΛΛΟΓΙΣΜΟΙ (ΜΙΑ ΜΕΘΟΔΟΣ ΕΠΙΛΥΣΗΣ ΠΡΟΒΛΗΜΑΤΩΝ ΠΟΥ ΒΑΣΙΖΕΤΑΙΣΤΗ ΜΕΤΑΦΟΡΑ ΠΑΛΑΙΟΤΕΡΗΣ ΕΜΠΕΙΡΙΑΣ ΣΕ ΝΕΕΣ ΠΕΡΙΠΤΩΣΕΙΣ) ΣΕ ΣΥΝΔΥΑΣΜΟ ΜΕ ΤΗΝ ΤΕΧΝΙΚΗ ΤΗΣ ΓΕΝΙΚΕΥΣΗΣ (Η ΤΕΧΝΙΚΗ ΠΟΥ ΕΠΙΤΡΕΠΕΙ ΝΑ ΟΡΙΣΤΕΙ ΕΝΑ ΤΜΗΜΑ ΚΩΔΙΚΑ ΜΕΠΑΡΑΜΕΤΡΟΠΟΙΗΜΕΝΟΥΣ ΤΥΠΟΥΣ). ΜΕ ΑΥΤΟΝ ΤΟΝ ΤΡΟΠΟ ΠΑΡΕΧΕΤΑΙ ΣΤΟ ΧΡΗΣΤΗ ΤΟΥ ΤΑΜΙΕΥΤΗΡΑ Η ΔΥΝΑΤΟΤΗΤΑ ΝΑ ΕΝΤΟΠΙΣΕΙ ΤΟΝ ΚΑΤΑΛΛΗΛΟ ΟΝΤΟΚΕΝΤΡΙΚΟ ΚΩΔΙΚΑ ΜΕ ΕΝΑΝ ΗΜΙΑΥΤΟΜΑΤΟ ΤΡΟΠΟ, ΚΑΘΩΣ ΚΑΙ ΝΑ ΤΡΟΠΟΠΟΙΗΣΕΙ ΤΟΝ ΚΩΔΙΚΑ ΑΥΤΟ ΣΥΜΦΩΝΑ ΜΕ ΤΙΣ ΑΝΑΓΚΕΣ ΤΟΥ. ΠΑΡΑΛΛΗΛΑ, ΠΑΡΕΧΕΤΑΙ Η ΔΥΝΑΤΟΤΗΤΑ ΕΞΕΛΙΞΗΣ ΤΟΥ ΤΑΜΙΕΥΤΗΡΑ ΜΕ ΕΙΣΑΓΩΓΗ ΝΕΩΝ ΣΥΝΙΣΤΩΣΩΝ ΚΑΙ ΜΕ ΕΦΑΡΜΟΓΗ ΤΩΝ ΚΑΤΑΛΛΗΛΩΝ ΑΝΑΔΙΟΡΓΑΝΩΣΕΩΝ. Η ΠΡΟΤΕΙΝΟΜΕΝΗ ΜΕΘΟΔΟΣ ΕΧΕΙ ΑΞΙΟΛΟΓΗΘΕΙ ΜΕΣΩ ΜΙΑΣ ΠΡΟΤΥΠΗΣ ΥΛΟΠΟΙΗΣΗΣ ΓΙΑ ΤΗΝ ΑΝΑΧΡΗΣΙΜΟΠΟΙΗΣΗ ΚΩΔΙΚΑ ΓΡΑΜΜΕΝΟΥ ΣΤΗ ΓΛΩΣΣΑ C++. ΕΠΙΠΛΕΟΝ ΕΚΤΕΛΕΣΑΜΕ ΕΝΑ ΕΡΓΑΣΤΗΡΙΑΚΟ ΠΕΙΡΑΜΑ ΜΕ ΜΕΓΑΛΟ ΑΡΙΘΜΟ ΣΥΜΜΕΤΟΧΩΝ ΓΙΑ ΝΑ ΕΧΟΥΜΕ ΜΙΑ ΕΝΔΕΙΞΗ ΤΗΣ ΑΠΟΤΕΛΕΣΜΑΤΙΚΟΤΗΤΑΣ ΤΗΣ ΠΡΟΤΕΙΝΟΜΕΝΗΣ ΜΕΘΟΔΟΥ ΚΑΙ ΤΗΣ ΑΠΟΔΟΤΙΚΟΤΗΤΑΣ ΤΟΥ ΠΡΟΤΥΠΟΥ ΣΥΣΤΗΜΑΤΟΣ.ΤΑ ΑΠΟΤΕΛΕΣΜΑΤΑ ΑΥΤΟΥ ΤΟΥ ΠΕΙΡΑΜΑΤΟΣ ΕΙΝΑΙ ΙΔΙΑΙΤΕΡΑ ΕΝΘΑΡΡΥΝΤΙΚΑ ΠΑΡΟΛΟ ΠΟΥ ΤΑ ΜΕΛΗ ΤΗΣ ΠΕΙΡΑΜΑΤΙΚΗΣ ΟΜΑΔΑΣ ΔΕΝ ΕΙΧΑΝ ΣΥΣΤΗΜΑΤΙΚΗ ΓΝΩΣΗ Η ΕΜΠΕΙΡΙΑ ΧΡΗΣΗΣΤΟΥ ΣΥΣΤΗΜΑΤΟΣ.