资源描述:
《Bayesian graphical models for software testing》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、510IEEETRANSACTIONSONSOFTWAREENGINEERING,VOL.28,NO.5,MAY2002BayesianGraphicalModelsforSoftwareTestingDavidA.Wooff,MichaelGoldstein,andFrankP.A.CoolenAbstractÐThispaperdescribesanewapproachtotheproblemofsoftwaretesting.TheapproachisbasedonBayesiangraphicalmodelsandpresentsformalmechanis
2、msforthelogicalstructuringofthesoftwaretestingproblem,theprobabilisticandstatisticaltreatmentoftheuncertaintiestobeaddressed,thetestdesignandanalysisprocess,andtheincorporationandimplicationoftestresults.Onceconstructed,themodelsproducedaredynamicrepresentationsofthesoftwaretestingprob
3、lem.Theymaybeusedtodrivetestdesign,answerwhat-ifquestions,andprovidedecisionsupporttomanagersandtesters.Themodelscapturetheknowledgeofthesoftwaretesterforfurtheruse.Experiencesoftheapproachincasestudiesarebrieflydiscussed.IndexTermsÐBayesiangraphicalmodels,expertjudgment,knowledgecaptu
4、re,softwarereliability,softwaretesting,statisticalmethods,testdesign.æ1INTRODUCTIONINarecentarticle,Redmill[17]discussesanumberoflarge-scalesoftwaretestingproblemsforamajorUKdeficienciesofavailablesoftwaretestingapproaches.Forcompany.example,hestatesthatªtestingcanproveimperfectionbyIn
5、Section2,webrieflypresentthemathematicaltheoryfindingasinglefault,butitcannotproveperfectionºandunderpinningtheapproach.Ourpresentationthroughoutisªgiventhatwecanneverproveperfection,wewanttotargetedatthesoftwaretestingcommunitysothatwelimitavoidtestingbeyondthepointofsignificantlydimi
6、nishedstatisticaltechnicalitiesasfarasispracticable.InSection3,returnsÐwhilestillachievingthedesiredlevelofcon-wedescribepracticalaspectsoftheBGMapproach,fidence.ºHeemphasizesthattestingisariskmanagementincludingthestructuralmodelingandtheassessmentofactivitywhereªweneedtochoosetestcas
7、escarefully,totherelevantprobabilities.InSection4,wedescribetheuseachievethenecessarycoveragewhileavoidingreplication.ºoftheBGMfortestingandsensitivityanalyses.InSection5,AccordingtoRedmill,ªthereisnodefinitiveanswertothewesummarizetheapplicationofthemethodologytotwoquestionofwhatist