University advisor(s)

MasterThesisSoftwareEngineeringThesisno:MSE-2004-05June2004SchoolofEngineeringBlekingeInstituteofTechnologyBox520SE–37225RonnebySwedenVerificationandValidationofObjectOrientedSoftwareDesignGuidelinesonhowtoChoosetheBestMethodChristianThurniiThisthesisissubmittedtotheSchoolofEngineeringatBlekingeInstituteofTechnologyinpartialfulfillmentoftherequirementsforthedegreeofMasterofScienceinSoftwareEngineering.Thethesisisequivalentto20weeksoffulltimestudies.ContactInformation:Author(s):ChristianThurnAddress:Lindblomsv8637233RonnebyE-mail:[e-mail](s):MiroslawStaronDepartmentofSoftwareEngineeringandComputerScienceSchoolofEngineeringBlekingeInstituteofTechnologyBox520SE–37225RonnebySwedenInternet::[phone]Fax:[phone]ABSTRACT[Theearlierinthedevelopmentprocessafaultisfound,thecheaperitistocorrectthefault.Thereforeareverificationandvalidationmethodsimportanttools.Theproblemwiththisisthattherearemanymethodstochoosebetween.Thisthesisshedslightonhowtochoosebetweenfourcommonverificationandvalidationmethods.Theverificationandvalidationmethodspresentedinthisthesisarereviews,inspectionsandFaultTreeAnalysis.Reviewandinspectionmethodsareevaluatedinanempiricalstudy.Theresultofthestudyshowsthattherearedifferencesintermsofdefectdetection.Basedonthisstudyandliteraturestudy,guidelinesonhowtochoosethebestmethodinagivencontextaregiven.]Keywords:Review;inspection;experiment;VerificationandValidation;UnifiedModelingLanguage.iiCONTENTSABSTRACT..........................................................................................................................................ICONTENTS.........................................................................................................................................II1INTRODUCTION.......................................................................................................................12VERIFICATIONMETHODS....................................................................................................22.1REVIEW......................................................................................................................................22.1.1Managementreview..........................................................................................................22.1.2Technicalreview...............................................................................................................22.1.2.1Responsibilities......................................................................................................................22.1.2.2Input.......................................................................................................................................32.1.2.3Entrycriteria..........................................................................................................................32.1.2.4Procedures..............................................................................................................................32.1.2.5Exitcriteria.............................................................................................................................52.1.2.6Output....................................................................................................................................52.1.3Walk-through....................................................................................................................52.1.4Audit..................................................................................................................................52.2INSPECTION................................................................................................................................62.2.1Fagan’sinspectionprocess..............................................................................................62.2.2Inspectionprocess............................................................................................................72.2.2.1Roles......................................................................................................................................72.2.2.2Inputtotheinspection............................................................................................................72.2.2.3Entrycriteria..........................................................................................................................82.2.2.4Inspectionmeeting.................................................................................................................82.2.2.5Rework/follow-up..................................................................................................................92.2.2.6Exitcriteria.............................................................................................................................92.2.2.7Output....................................................................................................................................92.2.2.8Documenttype......