基于契約式設計方法的分析和實現(xiàn).pdf

1、上海交通大學碩士學位論文基于契約式設計方法的分析和實現(xiàn)姓名：程曠申請學位級別：碩士專業(yè)：軟件工程指導教師：張堯弼劉俊200406012AbstractAmajcomponentofqualityinsoftwareisreliability:asystemsabilitytoperfmitsjobaccdingtothespecification(crectness)tohleabnmalsituations(robustness).P

2、utmesimplyreliabilityistheabsenceofbugs.Reliabilityalthoughdesirableinsoftwareconstructionregardlessoftheapproachisparticularlyimptantintheobjectientedmethodbecauseofthespecialrolegivenbythemethodtoreusability:unlessweca

3、nobtainreusablesoftwarecomponentswhosecrectnesswecantrustmuchmethanwetrustthecrectnessofusualrunofthemillsoftwarereusabilityisalosingproposition.Tobesurethatourobjectientedsoftwarewillperfmproperlyweneedasystematicapproa

4、chtospecifyingimplementingobjectientedsoftwareelementstheirrelationsinasoftwaresystem.ThisarticleintroducessuchamethodknownasDesignbyContract.UndertheDesignbyContracttheyasoftwaresystemisviewedasasetofcommunicatingcompon

5、entswhoseinteractionisbasedonpreciselydefinedspecificationsofthemutualobligationscontracts.ThenotionofDesignbyContractiscentralinthesystematicapproachtoobjectientedsoftwareconstruction.Itsapplicationcanwalkthoughalltheso

6、ftwaredevelopingprocessincludinganalysisdesignwritingdocumenttestingeventheprojectmanagement.ButthereisonlyEiffelthatcansupptDesignbyContractdirectyotherslanguagesuchasJAVACdonotsupptitverywell.Inthispaperthefundamentalk

7、nowledgeofDesignbyContractisintroducedfirst.thentheauthanalysessomeprinciplesofthisconceptthemeritofthetheytheadvantagethedisadvantagewhenyouusingit.Nextthesystemdesignplancriticaltechnologyimplementmethodofaframeofdesig

8、ningbycontractinJAVAbaseonthefmanalyzingofthetheyofDesignbyContract(UsingXMLtobuildingageneralplatfm)areproposed.Intheendtheauthpointsoutthewkshouldbeimprovedinthefuture.[Keywd]:assertioncontractpreconditionpostcondition