1、東南大學(xué)博士學(xué)位論文泛型程序重構(gòu)技術(shù)研究姓名：陳林申請(qǐng)學(xué)位級(jí)別：博士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：徐寶文20090901AbstractGenericprogrammingisallincreasinglypopularandimportantprogrammingparadigmforsoRwaredevelopmentItUSeSConcepttoexpresstheformalizationofanabstractionasas

2、etofrequirementsonatypeThegoalofgenericprogrammingistoexpressalgorithmsanddatastructuresinabroadlyadaptable，interoperableformviaConcepts。Ononehandthereusabilityandtypesafetyofnongenericlegacysoftwaremaybehigheriftheya托re

3、factoredtogenericones；ontheotherhandrefactoringsforgenericprogramscanimprovethequalityofthemandmakethemevolveb酣terandbetterThispaperfocusonsomekeyissuesofthefollowingtopics：refactoringmodelofgenericpmgrams，genericinstant

4、iationrefactoringgeneralizationforgenericprogramsandConceptorientedrefactoringsThemaincontributionsofthispaperarelist酞lasfollows(1)Proposingamodelofgenericprogramrefactoringtoanalysisbehaviorpreservationofrefactorings，an

5、danalyzessomec幻mmonrefactorings’objective，mainstepsandeffectBasedonthismodel，refactoring鋤beclassifiedintothreeparts：precx3nditionprogramtransformationandpostconditionPreconditionsandpostconditiousareusedtoanalyzebehavior

6、preservationpropertyAnalyzefuncfiomalegiventepresentpreconditiomandpostconditionsCommongeneticprogramrefactoringsareclassifiedtothreecategories：baserefactoring。conceptorientedrefactoringsanddesignpatternorientedrefactori

7、ngs(2)ProposingagenericvariabletypepropagationanalysistoimprovetheefficientnessofgenericinstantiationrefactoringBasedonthetraditionalvariablepropagationanalysismethodthispaperproposesagenerictypepropagationgraphtOdotypep

8、ropagationanalysisNewcons廿uctsareaddedtothegraphtoexpressgenerictypesandvariables，SOthegraphissuitableforgenericvariablefieldsensitivetypeanalysisThispaperalsoanalyzesthealiasproblemininstantiationrefactoringusinganunifi

9、cationbasedalgorithmtoeliminatealiasestoimproverefactoringprecision(3)ProposingatypeconstraintbasedgeneralizationrefactoringmethodforgenericclassesThecurrentapproachesforgeneralizationrefactoringdonotsolvetypeconstraints

10、ofparameterizedtypes，SOtypeeflOrSmaybeintroducedwhenapplyingtheserefactoringstogenericprogramsThispaperstudieshowtoapplygeneralizationrefactorings，includingExtractInterface，ExtractSuperClass，PullupMembers，togenericprogra

11、msSometypeconstraintrulesfortheserefactoringsareproposedtopreservetypecorrectnessAccordingtotypeconstraintsgeneratedbytherulesatypeconstraintgraphisconstructedandallowablerefactoredelementsCallbedetectedefficientlybytrav

12、ersingthegraphandrefactoringsforgenericclassesCanbeappliedbytransformationsofthegraph(4)ProposingaConceptorientedrefactoringapproachforCtemplatepmgramsbasedonstaticSOUI∞codeanalysisConceptwillbeanewlanguagecomtmctioninC卜

13、o)【，whichprovidessolidbasefordevelopingreusableandextendablegenericsoftwareItisnecessarytoidentifyConceptsinlegacyCprograms，andrefactorthemtoCOxprogramsThispaperanalyzestheusagesoftypeparametersinlegacyprogramstoexUaetva

14、lidexpressionconstraintsandassociatetypeconstraintsConceptscanbeinferredbytheseconstraintsThestudiesonCStandardTemplateLibrary(STL)toidentifypotentialConceptsconvincethatthemethodishelpfultoidentifyConceptsinlegacyCprogr