基于靜態(tài)語義分析的設(shè)計模式與用例識別.pdf

1、東南大學(xué)博士學(xué)位論文基于靜態(tài)語義分析的設(shè)計模式與用例識別姓名：周曉宇申請學(xué)位級別：博士專業(yè)：計算機(jī)科學(xué)與技術(shù)；計算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：徐寶文20100518AbstractAbstractInexistingsoftwaredevelopmentprocesses，duetolackofcorrespondingfacilitiesinexistingprogramminglanguagestoexpresshigllleveldesi

2、gnconceptsdirectlymanydesigninformationvanishesintolargequantitiesoftrivialcodesIfwecannotrecx)verthesedesignconceptsfromcodes，itmeansincapacityinsoftwareanalysisandcomprehension，andexistingdesignsinlegacyprogramsmaybede

3、stroyedinadvertentlyletalonebereusedinsoftwaremaintenanceExistingresearchesonreverseengineeringaregoodatrecoveryofsyntaxinformationfromcodes，butaleveryweakinrecoveringsemanticfeaturesofdesignconceptsfromcodesDesignpatter

4、nsaleclassicalresolutiontoclassicalproblems，whichhavebeenwidelyusedResearchesonrecoveryofdesignpatternsfromcodeshavegotincreasingattentioninrecentyearsExistingresearchesfocusonrecoveryofthesyntaxfeaturesResearchesondescr

5、iptionandrecoveryofsemanticfeaturesofdesignpatternsaleveryscarceUsecase，thedriverofsoftwarelifecycleinRationaleUnifiedPrecess，isalsoanimportantdesignconceptwhichhasbeenwidelyusedForlackoffacilityinproceduralorObjectOrien

6、tedprogramminglanguagestoexpressusecasedirectlyusecasestructurescannotbeholdincodesTherealeonlyafewresearchesonrecoveryofusecasesfromcodes，whichisfarfrommatureAlltheexistingresearchescannotrecoverbaseflowsandalternativef

7、lowsoftheuseoases，andcaDhardlyrecoverusecaserelationshipsResearchesofthedissertationaremainlymadeofthreeparts：(1)Descriptionandrecoveryofthesemanticfeaturesofdesignpatternsbycontrolflowanddataflowanalysis，focusingonident

8、ificationofthecentrallymanagedaggregationinseveraldesignpattemsbyshapeanalysis(2)Recoveryoftheinternalstructureofusecasesandrelationshipsbetweenusecasesbycontrolflowanalysisanddependencyanalysis0)Anapproachispresentedtos

9、eparatecalculationstanglingwithinaprogrambyprogramsliceAspeetJisexpandedwithstatementleveljointpointtoseparatelyencapsulatetanglingfmegrainedcalculationsTheseparationcanfacilitateprogramcomprehensionandmaintenance111emai

10、ncontributionsofthedissertationarelistedasfollowsAggregationsbetweenrolesofdesignpatternsarethemostobvioussemanticfeatures，butthereisneitherindepthdiscussiononthedefinitionoftheaggregationrelationship，noreffectiveapproac

11、htecovertherelationshipfromcodesTakingdesignpatternsastheconte)(t，wepresenttheconceptofcentrallymanagedaggregation，andpresentanapproachtorecovercentrallymanagedaggregationimplementedbyreferenceorpointerusingshapeanalysis

12、Aspredicatesinexistingshapeanalysistechniquescanonlydescriberelationsofindividualsofthesamethreevaluedlogicalstructure，wepresentinterstructurepredicatestodescribethereaehabilityandtraceabilityofindividualsbelongtodiffere

13、ntthreevaluedlogicalstructuresThenwedescribethesemanticfeaturesofthemanagementbehaviorsusingtheexpandedpredicatesBasedonthedescription，wepresentanapproachtoidentifythemanagementbehaviorsbycomparingthethreevaluedlogicalst

14、ructuresatdifferentprogrampointsThusaggregationrelationshipandpatternbehaviorsthatmanagetheaggregationrelationshipalerecoveredAstheidentificationofaggregationonlyconceFnspartoftheclassesinaprogram，itisnotnecessarytodosha

15、peanalysistothewholeprogramWepresentallapproachtogetthethreevaluedstructureattheentrynodeofeachrelevantmethodbyevaluatingthestablestatesofrelevantclasses，thustraditionalintraproceduralmadinterproceduralshapeanalysiscallw